org.antlr.analysis

Class MachineProbe

java.lang.Object

org.antlr.analysis.MachineProbe

public class MachineProbe
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) DFA	dfa

Constructor Summary

Constructors

Constructor and Description
MachineProbe(DFA dfa)

Method Summary

Modifier and Type	Method and Description
(package private) java.util.List<DFAState>	getAnyDFAPathToTarget(DFAState targetState)
java.util.List<DFAState>	getAnyDFAPathToTarget(DFAState startState, DFAState targetState, java.util.Set<DFAState> visited)
java.util.List<IntSet>	getEdgeLabels(DFAState targetState) Return a list of edge labels from start state to targetState.
java.util.List<Token>	getGrammarLocationsForInputSequence(java.util.List<java.util.Set<NFAState>> nfaStates, java.util.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.
java.lang.String	getInputSequenceDisplay(Grammar g, java.util.List<IntSet> labels) Given List<IntSet>, return a String with a useful representation of the associated input string.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

dfa

DFA dfa

Constructor Detail

MachineProbe

public MachineProbe(DFA dfa)

Method Detail

getAnyDFAPathToTarget

java.util.List<DFAState> getAnyDFAPathToTarget(DFAState targetState)

getAnyDFAPathToTarget

public java.util.List<DFAState> getAnyDFAPathToTarget(DFAState startState,
                                                      DFAState targetState,
                                                      java.util.Set<DFAState> visited)

getEdgeLabels

public java.util.List<IntSet> getEdgeLabels(DFAState targetState)

Return a list of edge labels from start state to targetState.

getInputSequenceDisplay

public java.lang.String getInputSequenceDisplay(Grammar g,
                                                java.util.List<IntSet> labels)

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 java.util.List<Token> getGrammarLocationsForInputSequence(java.util.List<java.util.Set<NFAState>> nfaStates,
                                                                 java.util.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].