Searched refs:GRAMMAR_STATS_FILENAME (Results 1 – 2 of 2) sorted by relevance
43 public static final String GRAMMAR_STATS_FILENAME = "grammar.stats"; field in GrammarReport
484 Stats.writeReport(GrammarReport.GRAMMAR_STATS_FILENAME, in process()