atts.addAttribute("", "line", "line", "CDATA", String.valueOf(next.linenumber));
atts.addAttribute("", "column", "column", "CDATA", String.valueOf(next.columnnumber));
}*/
contentHandler.startElement(NS_OUTPUT, next.node.pattern.getSymbol(),
next.node.pattern.getSymbol(), atts);
stack.push(next);
next = nonterminal.definition;
}
else
{
TerminalStackNode terminal = (TerminalStackNode)next.node;