Esempio n. 1
0
        public static void InsufficientPredicates(DecisionProbe probe,
                                                  DFAState d,
                                                  IDictionary <int, ICollection <IToken> > altToUncoveredLocations)
        {
            GetErrorState().warnings++;
            Message msg = new GrammarInsufficientPredicatesMessage(probe, d, altToUncoveredLocations);

            GetErrorState().warningMsgIDs.Add(msg.msgID);
            GetErrorListener().Warning(msg);
        }
Esempio n. 2
0
 public static void InsufficientPredicates( DecisionProbe probe,
                                           DFAState d,
                                           IDictionary<int, ICollection<IToken>> altToUncoveredLocations )
 {
     GetErrorState().warnings++;
     Message msg = new GrammarInsufficientPredicatesMessage( probe, d, altToUncoveredLocations );
     GetErrorState().warningMsgIDs.Add( msg.msgID );
     GetErrorListener().Warning( msg );
 }