Lines Matching defs:dfa
72 public DFA dfa;
168 public DecisionProbe(DFA dfa) {
169 this.dfa = dfa;
178 return dfa.getNFADecisionStartState().getDescription();
182 return dfa.isReduced();
186 return dfa.isCyclic();
195 dfa.getUnreachableAlts().size()==0 )
232 return dfa.getNumberOfStates();
241 return dfa.getUnreachableAlts();
305 if ( dfa==null || dfa.startState==null ) {
308 getSampleInputSequenceUsingStateSet(dfa.startState,
320 Grammar g = dfa.nfa.grammar;
363 NFAState nfaStart = dfa.getNFADecisionStartState();
368 dfa.nfa.grammar.getNFAStateForAltOfDecision(nfaStart,a);
373 NFAState altStart = dfa.nfa.grammar.getNFAStateForAltOfDecision(nfaStart,alt);
418 if ( nonLLStarDecision && !dfa.getAutoBacktrackMode() ) {
430 while ( it.hasNext() && !dfa.nfa.grammar.NFAToDFAConversionExternallyAborted() ) {
447 d.dfa.nfa.grammar.getDecisionBlockAST(d.dfa.decisionNumber);
468 List<Integer> unreachableAlts = dfa.getUnreachableAlts();
472 if ( dfa.isTokensRuleDecision() ) {
474 GrammarAST decAST = dfa.getDecisionASTNode();
481 dfa.nfa.grammar,
483 dfa.nfa.grammar.name,
507 dfa.nfa.grammar.getDecisionBlockAST(dfa.decisionNumber);
535 // now walk truly unique (unaliased) list of dfa states with inf recur
576 NFAState ruleInvocationState = dfa.nfa.getState(c.state);
596 DFAState sampleBadState = dfa.getState(stateI.intValue());
607 DFAState d = dfa.getState(stateI.intValue());
626 // dfa.nfa.grammar.setOfDFAWhoseAnalysisTimedOut.add(dfa);
632 public void reportNonLLStarDecision(DFA dfa) {
634 System.out.println("non-LL(*) DFA "+dfa.decisionNumber+", alts: "+
635 dfa.recursiveAltSet.toList());
638 dfa.nfa.grammar.numNonLLStar++;
639 altsWithProblem.addAll(dfa.recursiveAltSet.toList());
661 dfa.nfa.grammar.setOfNondeterministicDecisionNumbers.add(
662 Utils.integer(dfa.getDecisionNumber())
678 d.dfa.probe.removeRecursiveOverflowState(d);
682 dfa.nfa.grammar.setOfNondeterministicDecisionNumbersResolvedWithPredicates.add(
683 Utils.integer(dfa.getDecisionNumber())
756 if ( dfa==null || dfa.startState==null ) {
759 boolean reaches = reachesState(dfa.startState, targetState, dfaStates);
840 t.label.toString(dfa.nfa.grammar)+"->"+
842 label.toString(dfa.nfa.grammar)+"?");
860 t.label.toString(dfa.nfa.grammar)+
877 t.label.toString(dfa.nfa.grammar)+" didn't work");
901 NFAState decisionState = dfa.getNFADecisionStartState();
903 dfa.nfa.grammar.getNFAStateForAltOfDecision(decisionState,alt);