void (@NotNull JsonPathStringLiteral element, @NotNull TokenConsumer consumer) { PlainTextSplitter textSplitter = PlainTextSplitter.getInstance(); if (element.textContains('\\')) { List<Pair<TextRange, String>> fragments = element.getTextFragments(); for (Pair<TextRange, String> fragment : fragments) { TextRange fragmentRange = fragment.getFirst(); String escaped = fragment.getSecond(); // Fragment without escaping, also not a broken escape sequence or a unicode code point if (escaped.length() == fragmentRange.getLength() && !escaped.startsWith("\\")) { consumer.consumeToken(element, escaped, false, fragmentRange.getStartOffset(), TextRange.allOf(escaped), textSplitter); } } } else { consumer.consumeToken(element, textSplitter); } }