public NodeCountingVisitor(NodeCountingCondition condition) { this.condition = condition; }
public int numberOfNodes(NodeCountingCondition condition) { return((int)root.accept(new NodeCountingVisitor(condition))); }