public class RecursionOverflowMessage extends Message
Modifier and Type | Field and Description |
---|---|
int |
alt |
java.util.Collection |
callSiteStates |
DecisionProbe |
probe |
DFAState |
sampleBadState |
java.util.Collection |
targetRules |
Constructor and Description |
---|
RecursionOverflowMessage(DecisionProbe probe,
DFAState sampleBadState,
int alt,
java.util.Collection targetRules,
java.util.Collection callSiteStates) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
getLocationTemplate, getMessageTemplate, setColumn, setLine, setMessageID, toString
public DecisionProbe probe
public DFAState sampleBadState
public int alt
public java.util.Collection targetRules
public java.util.Collection callSiteStates
public RecursionOverflowMessage(DecisionProbe probe, DFAState sampleBadState, int alt, java.util.Collection targetRules, java.util.Collection callSiteStates)