Searched refs:user_k (Results 1 – 3 of 3) sorted by relevance
110 protected int user_k = -1; field in DFA762 if ( user_k>=0 ) { // cache for speed763 return user_k;765 user_k = nfa.grammar.getUserMaxLookahead(decisionNumber);766 return user_k;774 this.user_k = k;
494 int user_k = dfa.getUserMaxLookahead(); in getNonDeterministicAlts() local495 if ( user_k>0 && user_k==k ) { in getNonDeterministicAlts()
2556 int user_k = 0; in getUserMaxLookahead() local2560 user_k = nfa.grammar.getGrammarMaxLookahead(); in getUserMaxLookahead()2561 return user_k; in getUserMaxLookahead()2565 user_k = kI.intValue(); in getUserMaxLookahead()2570 user_k = 0; in getUserMaxLookahead()2573 return user_k; in getUserMaxLookahead()