Lines Matching refs:terminal
90 /** User option -- should we include non terminal symbol numbers in the
420 * sets of terminal, non-terminals, and productions which can be accessed
452 terminal term;
456 for (Enumeration t = terminal.all(); t.hasMoreElements(); )
458 term = (terminal)t.nextElement();
461 if (term == terminal.EOF) continue;
464 if (term == terminal.error) continue;
473 System.err.println("Warning: Terminal \"" + term.name() +
492 System.err.println("Warning: Non terminal \"" + nt.name() +
529 System.err.println(" Computing non-terminal nullability...");
631 System.err.print(" " + terminal.number() + " terminal" +
632 plural(terminal.number()) + ", ");
633 System.err.print(non_terminal.number() + " non terminal" +
641 System.err.println(" " + emit.unused_term + " terminal" +
643 System.err.println(" " + emit.unused_non_term + " non terminal" +
785 for (t = terminal.all(), cnt=0; t.hasMoreElements(); cnt++)
787 System.err.print(((terminal)t.nextElement()).name() + " ");
