public HeadListWrapper(HeadList headList, String name) {
Object[] children = headList.getChildren();
Term term = (Term) children[0];
children[0] = term.create(term.getChildren());
headList_ = (HeadList) headList.create(children);
name_ = name;
}
/**
* Creates a new ZML scanner.
*
* @param term
* @param props
* @param manager
*/
public ZmlScanner(SectionInfo si, Term term, Properties props, WarningManager manager) {
// DON'T CALL super(term, props)! We want to pass just props to CztScannerImpl
super(si.getDialect(), props);
PrecedenceParenAnnVisitor precVisitor = new PrecedenceParenAnnVisitor();
term.accept(precVisitor);
SymbolCollector collector = new SymbolCollector(si.getDialect(), Sym.class, this);
CircusTimePrintVisitor visitor = new CircusTimePrintVisitor(si, collector, manager);
term.accept(visitor);
setSymbols(collector.getSymbols());
}
public Boolean visitTerm(Term term) {
Object[] array = term.getChildren();
Boolean result = false;
for (int i = 0; i < array.length && !result.booleanValue(); i++) {
final Object object = array[i];
if (object instanceof Term) {
result = ((Term) object).accept(this);
}
}
return result;
}