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; }