public static void grammarWarning(int msgID, Grammar g, Token token, Object arg, Object arg2) { getErrorState().warnings++; Message msg = new GrammarSemanticsMessage(msgID,g,token,arg,arg2); getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(msg); }
public static void nondeterminism(DecisionProbe probe, DFAState d) { getErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage(probe,d); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void insufficientPredicates(DecisionProbe probe, DFAState d, Map<Integer, Set<Token>> altToUncoveredLocations) { getErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage(probe,d,altToUncoveredLocations); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void analysisAborted(DecisionProbe probe) { getErrorState().warnings++; Message msg = new GrammarAnalysisAbortedMessage(probe); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void analysisAborted(DecisionProbe probe) { getErrorState().warnings++; Message msg = new GrammarAnalysisAbortedMessage(probe); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void insufficientPredicates(DecisionProbe probe, DFAState d, Map<Integer, Set<Token>> altToUncoveredLocations) { getErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage(probe,d,altToUncoveredLocations); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void nondeterminism(DecisionProbe probe, DFAState d) { getErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage(probe,d); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void analysisAborted(DecisionProbe probe) { getErrorState().warnings++; Message msg = new GrammarAnalysisAbortedMessage(probe); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void insufficientPredicates(DecisionProbe probe, DFAState d, Map<Integer, Set<Token>> altToUncoveredLocations) { getErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage(probe,d,altToUncoveredLocations); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void grammarWarning(int msgID, Grammar g, Token token, Object arg, Object arg2) { getErrorState().warnings++; Message msg = new GrammarSemanticsMessage(msgID,g,token,arg,arg2); getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(msg); }
public static void grammarWarning(int msgID, Grammar g, Token token, Object arg, Object arg2) { getErrorState().warnings++; Message msg = new GrammarSemanticsMessage(msgID,g,token,arg,arg2); getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(msg); }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void leftRecursionCycles(Collection cycles) { getErrorState().errors++; Message msg = new LeftRecursionCyclesMessage(cycles); getErrorState().errorMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void nondeterminism(DecisionProbe probe, DFAState d) { getErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage(probe,d); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void analysisAborted(DecisionProbe probe) { getErrorState().warnings++; Message msg = new GrammarAnalysisAbortedMessage(probe); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void insufficientPredicates(DecisionProbe probe, DFAState d, Map<Integer, Set<Token>> altToUncoveredLocations) { getErrorState().warnings++; Message msg = new GrammarInsufficientPredicatesMessage(probe,d,altToUncoveredLocations); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void grammarWarning(int msgID, Grammar g, Token token, Object arg, Object arg2) { getErrorState().warnings++; Message msg = new GrammarSemanticsMessage(msgID,g,token,arg,arg2); getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(msg); }