public static void danglingState(DecisionProbe probe, DFAState d) { getErrorState().errors++; Message msg = new GrammarDanglingStateMessage(probe,d); getErrorState().errorMsgIDs.add(msg.msgID); Set<String> seen = emitSingleError.get("danglingState"); if ( !seen.contains(d.dfa.decisionNumber+"|"+d.getAltSet()) ) { getErrorListener().error(msg); // we've seen this decision and this alt set; never again seen.add(d.dfa.decisionNumber+"|"+d.getAltSet()); } }
public static void info(String msg) { getErrorState().infos++; getErrorListener().info(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 nondeterminism(DecisionProbe probe, DFAState d) { getErrorState().warnings++; Message msg = new GrammarNonDeterminismMessage(probe,d); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void danglingState(DecisionProbe probe, DFAState d) { getErrorState().errors++; Message msg = new GrammarDanglingStateMessage(probe,d); getErrorState().errorMsgIDs.add(msg.msgID); Set seen = (Set)emitSingleError.get("danglingState"); if ( !seen.contains(d.dfa.decisionNumber+"|"+d.getAltSet()) ) { getErrorListener().error(msg); // we've seen this decision and this alt set; never again seen.add(d.dfa.decisionNumber+"|"+d.getAltSet()); } }
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 info(String msg) { getErrorState().infos++; getErrorListener().info(msg); }
public static void danglingState(DecisionProbe probe, DFAState d) { getErrorState().errors++; Message msg = new GrammarDanglingStateMessage(probe,d); getErrorState().errorMsgIDs.add(msg.msgID); Set<String> seen = emitSingleError.get("danglingState"); if ( !seen.contains(d.dfa.decisionNumber+"|"+d.getAltSet()) ) { getErrorListener().error(msg); // we've seen this decision and this alt set; never again seen.add(d.dfa.decisionNumber+"|"+d.getAltSet()); } }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void info(String msg) { getErrorState().infos++; getErrorListener().info(msg); }
public static void danglingState(DecisionProbe probe, DFAState d) { getErrorState().errors++; Message msg = new GrammarDanglingStateMessage(probe,d); getErrorState().errorMsgIDs.add(msg.msgID); Set seen = (Set)emitSingleError.get("danglingState"); if ( !seen.contains(d.dfa.decisionNumber+"|"+d.getAltSet()) ) { getErrorListener().error(msg); // we've seen this decision and this alt set; never again seen.add(d.dfa.decisionNumber+"|"+d.getAltSet()); } }
public static void warning(int msgID, Object arg) { getErrorState().warnings++; getErrorState().warningMsgIDs.add(msgID); getErrorListener().warning(new ToolMessage(msgID, arg)); }
public static void info(String msg) { getErrorState().infos++; getErrorListener().info(msg); }
public static void error(int msgID, Object arg, Throwable e) { getErrorState().errors++; getErrorState().errorMsgIDs.add(msgID); getErrorListener().error(new ToolMessage(msgID, arg, e)); }
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 error(int msgID, Object arg, Throwable e) { getErrorState().errors++; getErrorState().errorMsgIDs.add(msgID); getErrorListener().error(new ToolMessage(msgID, arg, e)); }
public static void analysisAborted(DecisionProbe probe) { getErrorState().warnings++; Message msg = new GrammarAnalysisAbortedMessage(probe); getErrorState().warningMsgIDs.add(msg.msgID); getErrorListener().warning(msg); }
public static void leftRecursionCycles(Collection<? extends Set<? extends Rule>> cycles) { getErrorState().errors++; Message msg = new LeftRecursionCyclesMessage(cycles); getErrorState().errorMsgIDs.add(msg.msgID); getErrorListener().error(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 error(int msgID) { getErrorState().errors++; getErrorState().errorMsgIDs.add(msgID); getErrorListener().error(new ToolMessage(msgID)); }