@Override public String toString() { StringBuilder buf = new StringBuilder(); buf.append(stateNumber).append(":").append(configs); if ( isAcceptState() ) { buf.append("=>"); if ( predicates!=null ) { buf.append(Arrays.toString(predicates)); } else { buf.append(getPrediction()); } } return buf.toString(); } }
buf.append(s.stateNumber); if ( s.isAcceptState() ) { buf.append("=>").append(s.getPrediction());
String getStateString(DFAState s) { if (s == ATNSimulator.ERROR) { return "ERROR"; } int n = s.stateNumber; String stateStr = "s"+n; if ( s.isAcceptState() ) { if ( s.predicates!=null ) { stateStr = ":s"+n+"=>"+Arrays.toString(s.predicates); } else { stateStr = ":s"+n+"=>"+s.getPrediction(); } } if ( s.isContextSensitive() ) { stateStr += "*"; for (ATNConfig config : s.configs) { if (config.getReachesIntoOuterContext()) { stateStr += "*"; break; } } } return stateStr; } }
protected int failOrAccept(SimState prevAccept, CharStream input, ATNConfigSet reach, int t) { if (prevAccept.dfaState != null) { LexerActionExecutor lexerActionExecutor = prevAccept.dfaState.getLexerActionExecutor(); accept(input, lexerActionExecutor, startIndex, prevAccept.index, prevAccept.line, prevAccept.charPos); return prevAccept.dfaState.getPrediction(); } else { // if no accept and EOF is first char, return EOF if ( t==IntStream.EOF && input.index()==startIndex ) { return Token.EOF; } throw new LexerNoViableAltException(recog, input, startIndex, reach); } }
assert D.isAcceptState() || D.getPrediction() == ATN.INVALID_ALT_NUMBER; int predictedAlt = conflictingAlts == null ? D.getPrediction() : ATN.INVALID_ALT_NUMBER; if ( predictedAlt!=ATN.INVALID_ALT_NUMBER ) { if (optimize_ll1 predictedAlt = D.getPrediction();
" predicts "+s.getPrediction()); return s.getPrediction();