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;
}
protected DFA( int decisionNumber, NFAState decisionStartState )
{
this._probe = new DecisionProbe(this);
this._decisionNumber = decisionNumber;
this._decisionNFAStartState = decisionStartState;
this._nfa = decisionStartState.nfa;
this._numberOfAlts = Nfa.Grammar.GetNumberOfAltsForDecisionNFA( decisionStartState );
//setOptions( nfa.grammar.getDecisionOptions(getDecisionNumber()) );
this._altToAcceptState = new DFAState[NumberOfAlts + 1];
this._unreachableAlts = new List<int>(Enumerable.Range(1, NumberOfAlts));
}
