String raw = source.getRawInput();
String actualPrefix = getCharsBeforePosition(actualPos, raw);
String actualPostfix = getCharsAfterPosition(actualPos, raw);
String reportedPrefix = getCharsBeforePosition(repPos, raw);
String reportedPostfix = getCharsAfterPosition(repPos, raw);
problems.add(new AstException(node, String.format(
"this[%s] node's " + description + " is misreported with %+d\nactual(%d): \"%s⊚%s\"\nreported(%d): \"%s⊚%s\"\n%s",
node.getClass().getSimpleName(),
delta, actualPos, actualPrefix, actualPostfix, repPos, reportedPrefix, reportedPostfix, node)));
}