public class RecursionOverflowMessage extends Message
Modifier and Type | Field and Description |
---|---|
int |
alt |
Collection |
callSiteStates |
DecisionProbe |
probe |
DFAState |
sampleBadState |
Collection |
targetRules |
Constructor and Description |
---|
RecursionOverflowMessage(DecisionProbe probe,
DFAState sampleBadState,
int alt,
Collection targetRules,
Collection callSiteStates) |
Modifier and Type | Method and Description |
---|---|
String |
toString() |
getLocationTemplate, getMessageTemplate, setColumn, setLine, setMessageID, toString
public DecisionProbe probe
public DFAState sampleBadState
public int alt
public Collection targetRules
public Collection callSiteStates
public RecursionOverflowMessage(DecisionProbe probe, DFAState sampleBadState, int alt, Collection targetRules, Collection callSiteStates)
Copyright © 2020. All rights reserved.