void (int startOffset, int endOffset) { myBuffer.append("\n"); for (int i = startOffset; i < endOffset; i++) { char c = myRawText.charAt(i); if (c > 127) { // Escape non-ascii symbols. myBuffer.append(String.format("\\u%04d?", (int)c)); continue; } switch (c) { case '\t' -> { myBuffer.append(TAB); continue; } case '\n' -> { myBuffer.append(NEW_LINE); continue; } case '\\', '{', '}' -> myBuffer.append('\\'); } myBuffer.append(c); } }