@Override
public String toString() {
String pv = "null";
if (previous != null) {
pv = previous.getNodeName();
if (previous.isNodeType(AstNode.NT_TEXT)) {
pv = ((Text) previous).getContent();
if (pv.length() > 16) {
pv = pv.substring(pv.length() - (16 - 4));
pv = "... " + pv;
}
}
pv = '"' + pv + '"';
}
String pf = "-";
if (prefix != null) pf = '"' + prefix.getContent() + '"';
return String.format("LineEntry(%s, %s, %d)", pv, pf, tickCount);
}
public void visit(Text text) {
write(text.getContent());
}