public GrammarInsufficientPredicatesMessage(DecisionProbe probe,
DFAState problemState,
IDictionary <int, ICollection <IToken> > altToLocations)
: base(ErrorManager.MSG_INSUFFICIENT_PREDICATES)
{
this.probe = probe;
this.problemState = problemState;
this.altToLocations = altToLocations;
}
public RecursionOverflowMessage(DecisionProbe probe,
DFAState sampleBadState,
int alt,
ICollection <string> targetRules,
ICollection <ICollection <NFAState> > callSiteStates)
: base(ErrorManager.MSG_RECURSION_OVERLOW)
{
this.probe = probe;
this.sampleBadState = sampleBadState;
this.alt = alt;
this.targetRules = targetRules;
this.callSiteStates = callSiteStates;
}