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;
 }
Exemplo n.º 3
0
 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));
 }