/** Appends the given text to the formatted output text. */
private void append(String text) {
output.addFormatting(lexer.getRepresentation(text), "" + lexer.getDictionary().contains(text));
}
/** Appends the given String text with the given syntax type. */
private void append(String text, int syntaxType) {
if (text == null || text.length() == 0) return;
output.addFormatting(lexer.getRepresentation(text), "" + syntaxType);
}
