mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
a little cleanup of "Duplicated delimiters in java.util.StringTokenizer" inspection
GitOrigin-RevId: c583d5d4a816e861c399e2e2abb8b20e08dce4e1
This commit is contained in:
committed by
intellij-monorepo-bot
parent
1c31987860
commit
17688de424
@@ -1,4 +1,4 @@
|
||||
// Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
|
||||
// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
|
||||
package com.intellij.codeInspection;
|
||||
|
||||
import com.intellij.openapi.project.Project;
|
||||
@@ -55,7 +55,8 @@ public class StringTokenizerDelimiterInspection extends AbstractBaseJavaLocalIns
|
||||
final Set<Character> chars = new THashSet<>();
|
||||
for (char c : delimiters.toCharArray()) {
|
||||
if (!chars.add(c)) {
|
||||
holder.registerProblem(delimiterArgument, "Delimiters argument contains duplicated characters", new ReplaceDelimitersWithUnique(delimiterArgument));
|
||||
holder.registerProblem(delimiterArgument, "Delimiters argument contains duplicated characters",
|
||||
new ReplaceDelimitersWithUnique(delimiterArgument));
|
||||
return;
|
||||
}
|
||||
}
|
||||
@@ -91,8 +92,7 @@ public class StringTokenizerDelimiterInspection extends AbstractBaseJavaLocalIns
|
||||
}
|
||||
final String newDelimiters = StringUtil.join(uniqueChars, "");
|
||||
final PsiElementFactory elementFactory = JavaPsiFacade.getElementFactory(project);
|
||||
delimiterArgument.replace(elementFactory.createExpressionFromText(StringUtil.wrapWithDoubleQuote(StringUtil.escaper(true, "\"").fun(
|
||||
newDelimiters)), null));
|
||||
delimiterArgument.replace(elementFactory.createExpressionFromText('"' + StringUtil.escapeStringCharacters(newDelimiters) + '"', null));
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -1,5 +1,5 @@
|
||||
<html>
|
||||
<body>
|
||||
Inspection reports StringTokenizer's delimiters which contain duplicated characters.
|
||||
Reports StringTokenizer delimiter arguments which contain duplicated characters.
|
||||
</body>
|
||||
</html>
|
||||
Reference in New Issue
Block a user