MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Textmate: reimplement replacing groups without regex

Browse Source 
GitOrigin-RevId: 72b13b178878fc6d3ebd1a2af656ee83c463d6c4
This commit is contained in:
Alexander Zolotov
2019-07-31 18:02:13 +03:00
committed by intellij-monorepo-bot
parent fe50b23c86
commit 67356ac3a4
1 changed files with 25 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/textmate/src/org/jetbrains/plugins/textmate/language/syntax/lexer/SyntaxMatchUtils.java
+25 -16
View File
@@ -27,13 +27,10 @@ import java.util.ArrayList;
import java.util.List;
import java.util.Objects;
import java.util.concurrent.ExecutionException;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
import static org.jetbrains.plugins.textmate.regex.RegexFacade.regex;
public final class SyntaxMatchUtils {
private static final Pattern DIGIT_GROUP_REGEX = Pattern.compile("\\\\([0-9]+)");
private static final LoadingCache<MatchKey, TextMateLexerState> CACHE = CacheBuilder.newBuilder().maximumSize(32768).weakValues()
.build(CacheLoader.from(
key -> matchFirstUncached(Objects.requireNonNull(key).descriptor, key.string, key.byteOffset, key.priority, key.currentScope)));
@@ -179,21 +176,33 @@ public final class SyntaxMatchUtils {
if (string == null || !matchData.matched()) {
return patternString.toString();
}
Matcher matcher = DIGIT_GROUP_REGEX.matcher(patternString);
StringBuilder result = new StringBuilder();
int lastPosition = 0;
while (matcher.find()) {
int groupIndex = StringUtil.parseInt(matcher.group(1), -1);
if (groupIndex >= 0 && matchData.count() > groupIndex) {
result.append(patternString, lastPosition, matcher.start());
TextRange range = matchData.byteOffset(groupIndex);
String text = new String(string.bytes, range.getStartOffset(), range.getLength(), StandardCharsets.UTF_8);
StringUtil.escapeToRegexp(text, result);
lastPosition = matcher.end();
int charIndex = 0;
int length = patternString.length();
while (charIndex < length) {
char c = patternString.charAt(charIndex);
if (c == '\\') {
boolean hasGroupIndex = false;
int groupIndex = 0;
int digitIndex = charIndex + 1;
while (digitIndex < length) {
int digit = Character.digit(patternString.charAt(digitIndex), 10);
if (digit == -1) {
break;
}
hasGroupIndex = true;
groupIndex = groupIndex * 10 + digit;
digitIndex++;
}
if (hasGroupIndex && matchData.count() > groupIndex) {
TextRange range = matchData.byteOffset(groupIndex);
StringUtil.escapeToRegexp(new String(string.bytes, range.getStartOffset(), range.getLength(), StandardCharsets.UTF_8), result);
charIndex = digitIndex;
continue;
}
}
}
if (lastPosition < patternString.length()) {
result.append(patternString.subSequence(lastPosition, patternString.length()));
result.append(c);
charIndex++;
}
return result.toString();
}