Home
last modified time | relevance | path

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

/external/antlr/tool/src/main/java/org/antlr/analysis/
DMachineProbe.java55 List<DFAState> dfaStates = new ArrayList<DFAState>(); in getAnyDFAPathToTarget() local
58 dfaStates.add(targetState); in getAnyDFAPathToTarget()
59 return dfaStates; in getAnyDFAPathToTarget()
69 dfaStates.add(startState); in getAnyDFAPathToTarget()
70 dfaStates.addAll(path); in getAnyDFAPathToTarget()
71 return dfaStates; in getAnyDFAPathToTarget()
80 List<DFAState> dfaStates = getAnyDFAPathToTarget(targetState); in getEdgeLabels() local
82 for (int i = 0; i < dfaStates.size() - 1; i++) { in getEdgeLabels()
83 DFAState d = dfaStates.get(i); in getEdgeLabels()
84 DFAState nextState = dfaStates.get(i + 1); in getEdgeLabels()
DDecisionProbe.java299 Set<DFAState> dfaStates = getDFAPathStatesToTarget(targetState); in getSampleNonDeterministicInputSequence() local
307 dfaStates, in getSampleNonDeterministicInputSequence()
748 Set<DFAState> dfaStates = new HashSet<DFAState>(); in getDFAPathStatesToTarget() local
751 return dfaStates; in getDFAPathStatesToTarget()
753 boolean reaches = reachesState(dfa.startState, targetState, dfaStates); in getDFAPathStatesToTarget()
754 return dfaStates; in getDFAPathStatesToTarget()