From eb9eb17aa218a597f8e1e88643f42f8706e3ad5a Mon Sep 17 00:00:00 2001 From: Terence Parr Date: Thu, 25 Apr 2013 17:39:37 -0700 Subject: [PATCH] inline predictATN into adaptivePredict --- .../v4/runtime/atn/ParserATNSimulator.java | 73 +++++++------------ 1 file changed, 26 insertions(+), 47 deletions(-) diff --git a/runtime/Java/src/org/antlr/v4/runtime/atn/ParserATNSimulator.java b/runtime/Java/src/org/antlr/v4/runtime/atn/ParserATNSimulator.java index 8644e2bae..ef063d359 100755 --- a/runtime/Java/src/org/antlr/v4/runtime/atn/ParserATNSimulator.java +++ b/runtime/Java/src/org/antlr/v4/runtime/atn/ParserATNSimulator.java @@ -325,22 +325,31 @@ public class ParserATNSimulator extends ATNSimulator { predict_calls++; DFA dfa = decisionToDFA[decision]; - // Now we are certain to have a specific decision's DFA - // But, do we still need an initial state? - if ( dfa.s0==null ) { - try { - return predictATN(dfa, input, outerContext); - } - finally { - mergeCache = null; // wack cache after each prediction - } - } - - // We can start with an existing DFA int m = input.mark(); int index = input.index(); + + // Now we are certain to have a specific decision's DFA + // But, do we still need an initial state? try { - return execATN(dfa, dfa.s0, input, index, outerContext); + if ( dfa.s0==null ) { + if ( outerContext ==null ) outerContext = ParserRuleContext.EMPTY; + if ( debug || debug_list_atn_decisions ) { + System.out.println("predictATN decision "+ dfa.decision+ + " exec LA(1)=="+ getLookaheadName(input) + + ", outerContext="+ outerContext.toString(parser)); + } + boolean fullCtx = false; + ATNConfigSet s0_closure = + computeStartState(dfa.atnStartState, + ParserRuleContext.EMPTY, + fullCtx); + dfa.s0 = addDFAState(dfa, new DFAState(s0_closure)); + } + + // We can start with an existing DFA + int alt = execATN(dfa, dfa.s0, input, index, outerContext); + if ( debug ) System.out.println("DFA after predictATN: "+ dfa.toString(parser.getTokenNames())); + return alt; } finally { mergeCache = null; // wack cache after each prediction @@ -349,40 +358,6 @@ public class ParserATNSimulator extends ATNSimulator { } } - protected int predictATN(@NotNull DFA dfa, @NotNull TokenStream input, - @Nullable ParserRuleContext outerContext) - { - if ( outerContext==null ) outerContext = ParserRuleContext.EMPTY; - if ( debug || debug_list_atn_decisions ) { - System.out.println("predictATN decision "+dfa.decision+ - " exec LA(1)=="+ getLookaheadName(input) + - ", outerContext="+outerContext.toString(parser)); - } - boolean fullCtx = false; - ATNConfigSet s0_closure = - computeStartState(dfa.atnStartState, - ParserRuleContext.EMPTY, - fullCtx); - dfa.s0 = addDFAState(dfa, new DFAState(s0_closure)); - - int alt = 0; - int m = input.mark(); - int index = input.index(); - try { - alt = execATN(dfa, dfa.s0, input, index, outerContext); - } - catch (NoViableAltException nvae) { - if ( debug ) dumpDeadEndConfigs(nvae); - throw nvae; - } - finally { - input.seek(index); - input.release(m); - } - if ( debug ) System.out.println("DFA after predictATN: "+dfa.toString(parser.getTokenNames())); - return alt; - } - /** Performs ATN simulation to compute a predicted alternative based * upon the remaining input, but also updates the DFA cache to avoid * having to traverse the ATN again for the same input sequence. @@ -1378,6 +1353,10 @@ public class ParserATNSimulator extends ATNSimulator { return getTokenName(input.LA(1)); } + /** Used for debugging in adaptivePredict around execATN but I cut + * it out for clarity now that alg. works well. We can leave this + * "dead" code for a bit. + */ public void dumpDeadEndConfigs(@NotNull NoViableAltException nvae) { System.err.println("dead end configs: "); for (ATNConfig c : nvae.getDeadEndConfigs()) {