237238239240241242243244245246247
@Override public String toString() { StringWriter w = new StringWriter(); PrintVisitor pv = new PrintVisitor(w); pv.visitAny(this); return w.toString(); //return getClass().getSimpleName() + "(" + text + ")"; } public String getNodeType() {