Home
last modified time | relevance | path

Searched refs:MAX_TIME_PER_DFA_CREATION (Results 1 – 2 of 2) sorted by relevance

/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/
DTool.java327 DFA.MAX_TIME_PER_DFA_CREATION = Integer.parseInt(args[i]); in processArgs()
1195 return DFA.MAX_TIME_PER_DFA_CREATION;
/external/antlr/antlr-3.4/tool/src/main/java/org/antlr/analysis/
DDFA.java60 public static int MAX_TIME_PER_DFA_CREATION = 1*1000; field in DFA