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)); }