Package org.antlr.analysis
Class MachineProbe
java.lang.Object
org.antlr.analysis.MachineProbe
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptiongetAnyDFAPathToTarget
(DFAState targetState) getAnyDFAPathToTarget
(DFAState startState, DFAState targetState, Set<DFAState> visited) getEdgeLabels
(DFAState targetState) Return a list of edge labels from start state to targetState.Given an alternative associated with a DFA state, return the list of tokens (from grammar) associated with path through NFA following the labels sequence.getInputSequenceDisplay
(Grammar g, List<IntSet> labels) Given List<IntSet>, return a String with a useful representation of the associated input string.
-
Field Details
-
dfa
DFA dfa
-
-
Constructor Details
-
MachineProbe
-
-
Method Details
-
getAnyDFAPathToTarget
-
getAnyDFAPathToTarget
-
getEdgeLabels
Return a list of edge labels from start state to targetState. -
getInputSequenceDisplay
Given List<IntSet>, return a String with a useful representation of the associated input string. One could show something different for lexers and parsers, for example. -
getGrammarLocationsForInputSequence
public List<Token> getGrammarLocationsForInputSequence(List<Set<NFAState>> nfaStates, List<IntSet> labels) Given an alternative associated with a DFA state, return the list of tokens (from grammar) associated with path through NFA following the labels sequence. The nfaStates gives the set of NFA states associated with alt that take us from start to stop. One of the NFA states in nfaStates[i] will have an edge intersecting with labels[i].
-