Search in sources :

Example 11 with InputMismatchException

use of org.antlr.v4.runtime.InputMismatchException in project ballerina by ballerina-lang.

the class LSCustomErrorStrategy method setContextIfConnectorInit.

/**
 * Check the context and identify if the particular context is a child of a connector init and set the exception.
 *
 * @param context current parser rule context
 * @param e       exception to set
 */
private void setContextIfConnectorInit(ParserRuleContext context, InputMismatchException e) {
    ParserRuleContext connectorInitContext = context.getParent().getParent().getParent();
    if (connectorInitContext instanceof BallerinaParser.TypeInitExpressionContext) {
        ParserRuleContext tempContext = context;
        while (true) {
            tempContext.exception = e;
            tempContext = tempContext.getParent();
            if (tempContext.equals(connectorInitContext)) {
                tempContext.getParent().exception = e;
                break;
            }
        }
        connectorInitContext.getParent().exception = e;
    }
}
Also used : ParserRuleContext(org.antlr.v4.runtime.ParserRuleContext)

Example 12 with InputMismatchException

use of org.antlr.v4.runtime.InputMismatchException in project beetl2.0 by javamonkey.

the class BeetlAntlrErrorStrategy method reportInputMismatch.

protected void reportInputMismatch(@NotNull Parser recognizer, @NotNull InputMismatchException e) {
    Token t1 = recognizer.getInputStream().LT(-1);
    String msg = "缺少输入在 " + getTokenErrorDisplay(t1) + " 后面, 期望 " + e.getExpectedTokens().toString(recognizer.getTokenNames());
    BeetlException exception = new BeetlParserException(BeetlException.PARSER_MISS_ERROR, msg, e);
    // exception.token = this.getGrammarToken(e.getOffendingToken());
    exception.pushToken(this.getGrammarToken(t1));
    throw exception;
}
Also used : BeetlException(org.beetl.core.exception.BeetlException) BeetlParserException(org.beetl.core.exception.BeetlParserException) GrammarToken(org.beetl.core.statement.GrammarToken) Token(org.antlr.v4.runtime.Token)

Example 13 with InputMismatchException

use of org.antlr.v4.runtime.InputMismatchException in project antlr4 by tunnelvisionlabs.

the class DefaultErrorStrategy method sync.

/**
 * The default implementation of {@link ANTLRErrorStrategy#sync} makes sure
 * that the current lookahead symbol is consistent with what were expecting
 * at this point in the ATN. You can call this anytime but ANTLR only
 * generates code to check before subrules/loops and each iteration.
 *
 * <p>Implements Jim Idle's magic sync mechanism in closures and optional
 * subrules. E.g.,</p>
 *
 * <pre>
 * a : sync ( stuff sync )* ;
 * sync : {consume to what can follow sync} ;
 * </pre>
 *
 * At the start of a sub rule upon error, {@link #sync} performs single
 * token deletion, if possible. If it can't do that, it bails on the current
 * rule and uses the default error recovery, which consumes until the
 * resynchronization set of the current rule.
 *
 * <p>If the sub rule is optional ({@code (...)?}, {@code (...)*}, or block
 * with an empty alternative), then the expected set includes what follows
 * the subrule.</p>
 *
 * <p>During loop iteration, it consumes until it sees a token that can start a
 * sub rule or what follows loop. Yes, that is pretty aggressive. We opt to
 * stay in the loop as long as possible.</p>
 *
 * <p><strong>ORIGINS</strong></p>
 *
 * <p>Previous versions of ANTLR did a poor job of their recovery within loops.
 * A single mismatch token or missing token would force the parser to bail
 * out of the entire rules surrounding the loop. So, for rule</p>
 *
 * <pre>
 * classDef : 'class' ID '{' member* '}'
 * </pre>
 *
 * input with an extra token between members would force the parser to
 * consume until it found the next class definition rather than the next
 * member definition of the current class.
 *
 * <p>This functionality cost a little bit of effort because the parser has to
 * compare token set at the start of the loop and at each iteration. If for
 * some reason speed is suffering for you, you can turn off this
 * functionality by simply overriding this method as a blank { }.</p>
 */
@Override
public void sync(Parser recognizer) throws RecognitionException {
    ATNState s = recognizer.getInterpreter().atn.states.get(recognizer.getState());
    // If already recovering, don't try to sync
    if (inErrorRecoveryMode(recognizer)) {
        return;
    }
    TokenStream tokens = recognizer.getInputStream();
    int la = tokens.LA(1);
    // try cheaper subset first; might get lucky. seems to shave a wee bit off
    IntervalSet nextTokens = recognizer.getATN().nextTokens(s);
    if (nextTokens.contains(la)) {
        // We are sure the token matches
        nextTokensContext = null;
        nextTokensState = ATNState.INVALID_STATE_NUMBER;
        return;
    }
    if (nextTokens.contains(Token.EPSILON)) {
        if (nextTokensContext == null) {
            // It's possible the next token won't match; information tracked
            // by sync is restricted for performance.
            nextTokensContext = recognizer.getContext();
            nextTokensState = recognizer.getState();
        }
        return;
    }
    switch(s.getStateType()) {
        case ATNState.BLOCK_START:
        case ATNState.STAR_BLOCK_START:
        case ATNState.PLUS_BLOCK_START:
        case ATNState.STAR_LOOP_ENTRY:
            // report error and recover if possible
            if (singleTokenDeletion(recognizer) != null) {
                return;
            }
            throw new InputMismatchException(recognizer);
        case ATNState.PLUS_LOOP_BACK:
        case ATNState.STAR_LOOP_BACK:
            // System.err.println("at loop back: "+s.getClass().getSimpleName());
            reportUnwantedToken(recognizer);
            IntervalSet expecting = recognizer.getExpectedTokens();
            IntervalSet whatFollowsLoopIterationOrRule = expecting.or(getErrorRecoverySet(recognizer));
            consumeUntil(recognizer, whatFollowsLoopIterationOrRule);
            break;
        default:
            // do nothing if we can't identify the exact kind of ATN state
            break;
    }
}
Also used : IntervalSet(org.antlr.v4.runtime.misc.IntervalSet) ATNState(org.antlr.v4.runtime.atn.ATNState)

Example 14 with InputMismatchException

use of org.antlr.v4.runtime.InputMismatchException in project antlr4 by tunnelvisionlabs.

the class TestParseTreeMatcher method testPatternMatchesStartRule.

@Test
public void testPatternMatchesStartRule() throws Exception {
    String grammar = "grammar X2;\n" + "s : ID '=' expr ';' ;\n" + "expr : ID | INT ;\n" + "ID : [a-z]+ ;\n" + "INT : [0-9]+ ;\n" + "WS : [ \\r\\n\\t]+ -> skip ;\n";
    boolean ok = rawGenerateAndBuildRecognizer("X2.g4", grammar, "X2Parser", "X2Lexer", false);
    assertTrue(ok);
    ParseTreePatternMatcher m = getPatternMatcher("X2");
    boolean failed = false;
    try {
        m.compile("<ID> ;", m.getParser().getRuleIndex("s"));
    } catch (InputMismatchException e) {
        failed = true;
    }
    assertTrue(failed);
}
Also used : ParseTreePatternMatcher(org.antlr.v4.runtime.tree.pattern.ParseTreePatternMatcher) InputMismatchException(org.antlr.v4.runtime.InputMismatchException) Test(org.junit.Test)

Example 15 with InputMismatchException

use of org.antlr.v4.runtime.InputMismatchException in project antlr4 by antlr.

the class TestParseTreeMatcher method testPatternMatchesStartRule.

@Test
public void testPatternMatchesStartRule() throws Exception {
    String grammar = "grammar X2;\n" + "s : ID '=' expr ';' ;\n" + "expr : ID | INT ;\n" + "ID : [a-z]+ ;\n" + "INT : [0-9]+ ;\n" + "WS : [ \\r\\n\\t]+ -> skip ;\n";
    boolean ok = rawGenerateAndBuildRecognizer("X2.g4", grammar, "X2Parser", "X2Lexer", false);
    assertTrue(ok);
    ParseTreePatternMatcher m = getPatternMatcher("X2");
    boolean failed = false;
    try {
        m.compile("<ID> ;", m.getParser().getRuleIndex("s"));
    } catch (InputMismatchException e) {
        failed = true;
    }
    assertTrue(failed);
}
Also used : ParseTreePatternMatcher(org.antlr.v4.runtime.tree.pattern.ParseTreePatternMatcher) InputMismatchException(org.antlr.v4.runtime.InputMismatchException) Test(org.junit.Test)

Aggregations

InputMismatchException (org.antlr.v4.runtime.InputMismatchException)10 NoViableAltException (org.antlr.v4.runtime.NoViableAltException)5 Token (org.antlr.v4.runtime.Token)5 ParserRuleContext (org.antlr.v4.runtime.ParserRuleContext)3 ATNState (org.antlr.v4.runtime.atn.ATNState)3 IntervalSet (org.antlr.v4.runtime.misc.IntervalSet)3 ParseCancellationException (org.antlr.v4.runtime.misc.ParseCancellationException)3 CommonTokenStream (org.antlr.v4.runtime.CommonTokenStream)2 FailedPredicateException (org.antlr.v4.runtime.FailedPredicateException)2 ParseTreePatternMatcher (org.antlr.v4.runtime.tree.pattern.ParseTreePatternMatcher)2 BeetlException (org.beetl.core.exception.BeetlException)2 Test (org.junit.Test)2 DiagnosticPos (org.wso2.ballerinalang.compiler.util.diagnotic.DiagnosticPos)2 IllegalDirectiveException (claw.tatsu.xcodeml.exception.IllegalDirectiveException)1 ClawLexer (claw.wani.language.parser.ClawLexer)1 ClawParser (claw.wani.language.parser.ClawParser)1 ClawLexer (cx2x.translator.language.parser.ClawLexer)1 ClawParser (cx2x.translator.language.parser.ClawParser)1 IllegalDirectiveException (cx2x.xcodeml.exception.IllegalDirectiveException)1 ParseException (java.text.ParseException)1