Lines Matching refs:print
23 * <li> Print a summary if requested.
42 * <dd> don't print the usual summary of parse states, etc.
44 * <dd> print messages to indicate progress of the system
46 * <dd> print time usage summary
75 /** User option -- do we print progress messages. */
93 /** User option -- do not print a summary. */
208 /** Print a "usage message" that described possible command line options,
229 " -nosummary don't print the usual summary of parse states, etc.\n" +
230 " -progress print messages to indicate progress of the system\n" +
231 " -time print time usage summary\n" +
631 System.err.print(" " + terminal.number() + " terminal" +
633 System.err.print(non_terminal.number() + " non terminal" +
787 System.err.print(((terminal)t.nextElement()).name() + " ");
796 System.err.print(((non_terminal)n.nextElement()).name() + " ");
807 System.err.print(prod.lhs().the_symbol().name() + " ::= ");
810 System.err.print("{action} ");
812 System.err.print(
838 if (ordered[i] == start_state) System.err.print("START ");
