MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-14 09:12:22 +07:00
Code Issues Packages Projects Releases Wiki Activity

QD-4986 Id of group is same as name but with "/" replaced by "_"

Browse Source 
GitOrigin-RevId: 1263c2846bf1ee46dbcdb42db61c2ac74a1d01af
This commit is contained in:
alexey.afanasiev
2023-10-20 10:19:14 +02:00
committed by intellij-monorepo-bot
parent b1b266d0de
commit 1edf614aff
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
platform/inspect/src/com/intellij/codeInspection/inspectionProfile/InspectionCategoryGroupProvider.kt
View File

@@ -16,7 +16,7 @@ class InspectionCategoryGroupProvider : InspectionGroupProvider {
override fun includesInspection(tool: InspectionToolWrapper<*, *>): Boolean {
return try {
tool.groupPath.escapeToolGroupPath().joinToString("/").startsWith(category)
tool.groupPath.makeCategoryId().startsWith(category)
}
catch (e: AssertionError) {
false
@@ -26,12 +26,11 @@ class InspectionCategoryGroupProvider : InspectionGroupProvider {
}
}
fun Array<String>.escapeToolGroupPath(): List<String> {
return map { escapeToolGroupPathElement(it) }
fun Array<String>.makeCategoryId(): String {
return map { escapeToolGroupPathElement(it) }.joinToString("/")
}
private fun escapeToolGroupPathElement(path: String): String {
fun escapeToolGroupPathElement(path: String): String {
return path
.replace("""\""", """\\""")
.replace("""/""", """\/""")
.replace("/", "_")
}