Lines Matching refs:symbols
31 * <dt> -symbols name
48 * <dd> produce a dump of the symbols and grammar
224 " -symbols name specify name for symbol constant class [default \"sym\"]\n"+
232 " -dump_grammar produce a human readable dump of the symbols and grammar\n"+
284 else if (argv[i].equals("-symbols"))
289 usage("-symbols must have a name argument");
447 /** Check for unused symbols
590 emit.symbols(symbol_class_file, include_non_terms);
640 /* unused symbols */
709 System.err.println(" Symbols "
