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;
499 int user_k = dfa.getUserMaxLookahead(); in getNonDeterministicAlts() local500 if ( user_k>0 && user_k==k ) { in getNonDeterministicAlts()
2600 int user_k = 0; in getUserMaxLookahead() local2604 user_k = nfa.grammar.getGrammarMaxLookahead(); in getUserMaxLookahead()2605 return user_k; in getUserMaxLookahead()2609 user_k = kI; in getUserMaxLookahead()2614 user_k = 0; in getUserMaxLookahead()2617 return user_k; in getUserMaxLookahead()