Beispiel #1
0
        public ConjunctionContext conjunction()
        {
            ConjunctionContext _localctx = new ConjunctionContext(Context, State);

            EnterRule(_localctx, 2, RULE_conjunction);
            int _la;

            try {
                EnterOuterAlt(_localctx, 1);
                {
                    State = 20; binary();
                    State = 25;
                    ErrorHandler.Sync(this);
                    _la = TokenStream.LA(1);
                    while (_la == CONJUNCTION)
                    {
                        {
                            {
                                State = 21; Match(CONJUNCTION);
                                State = 22; binary();
                            }
                        }
                        State = 27;
                        ErrorHandler.Sync(this);
                        _la = TokenStream.LA(1);
                    }
                }
            }
            catch (RecognitionException re) {
                _localctx.exception = re;
                ErrorHandler.ReportError(this, re);
                ErrorHandler.Recover(this, re);
            }
            finally {
                ExitRule();
            }
            return(_localctx);
        }
Beispiel #2
0
    private ExpressionContext expression(int _p)
    {
        ParserRuleContext _parentctx = Context;
        int _parentState             = State;
        ExpressionContext _localctx  = new ExpressionContext(Context, _parentState);
        ExpressionContext _prevctx   = _localctx;
        int _startState = 4;

        EnterRecursionRule(_localctx, 4, RULE_expression, _p);
        try {
            int _alt;
            EnterOuterAlt(_localctx, 1);
            {
                State = 31;
                ErrorHandler.Sync(this);
                switch (TokenStream.LA(1))
                {
                case LBRACKET:
                {
                    _localctx = new ParenthesesContext(_localctx);
                    Context   = _localctx;
                    _prevctx  = _localctx;

                    State = 24; Match(LBRACKET);
                    State = 25; expression(0);
                    State = 26; Match(RBRACKET);
                }
                break;

                case LITERAL_NEGATION:
                {
                    _localctx = new LiteralNegationContext(_localctx);
                    Context   = _localctx;
                    _prevctx  = _localctx;
                    State     = 28; Match(LITERAL_NEGATION);
                }
                break;

                case LITERAL:
                {
                    _localctx = new LiteralContext(_localctx);
                    Context   = _localctx;
                    _prevctx  = _localctx;
                    State     = 29; Match(LITERAL);
                }
                break;

                case INVALID:
                {
                    _localctx = new InvalidContext(_localctx);
                    Context   = _localctx;
                    _prevctx  = _localctx;
                    State     = 30; Match(INVALID);
                }
                break;

                default:
                    throw new NoViableAltException(this);
                }
                Context.Stop = TokenStream.LT(-1);
                State        = 44;
                ErrorHandler.Sync(this);
                _alt = Interpreter.AdaptivePredict(TokenStream, 3, Context);
                while (_alt != 2 && _alt != global::Antlr4.Runtime.Atn.ATN.INVALID_ALT_NUMBER)
                {
                    if (_alt == 1)
                    {
                        if (ParseListeners != null)
                        {
                            TriggerExitRuleEvent();
                        }
                        _prevctx = _localctx;
                        {
                            State = 42;
                            ErrorHandler.Sync(this);
                            switch (Interpreter.AdaptivePredict(TokenStream, 2, Context))
                            {
                            case 1:
                            {
                                _localctx = new ConjunctionContext(new ExpressionContext(_parentctx, _parentState));
                                PushNewRecursionContext(_localctx, _startState, RULE_expression);
                                State = 33;
                                if (!(Precpred(Context, 6)))
                                {
                                    throw new FailedPredicateException(this, "Precpred(Context, 6)");
                                }
                                State = 34; Match(CONJUNCTION);
                                State = 35; expression(7);
                            }
                            break;

                            case 2:
                            {
                                _localctx = new DisjunctionContext(new ExpressionContext(_parentctx, _parentState));
                                PushNewRecursionContext(_localctx, _startState, RULE_expression);
                                State = 36;
                                if (!(Precpred(Context, 5)))
                                {
                                    throw new FailedPredicateException(this, "Precpred(Context, 5)");
                                }
                                State = 37; Match(DISJUNCTION);
                                State = 38; expression(6);
                            }
                            break;

                            case 3:
                            {
                                _localctx = new ImplicationContext(new ExpressionContext(_parentctx, _parentState));
                                PushNewRecursionContext(_localctx, _startState, RULE_expression);
                                State = 39;
                                if (!(Precpred(Context, 4)))
                                {
                                    throw new FailedPredicateException(this, "Precpred(Context, 4)");
                                }
                                State = 40; Match(IMPLICATION);
                                State = 41; expression(5);
                            }
                            break;
                            }
                        }
                    }
                    State = 46;
                    ErrorHandler.Sync(this);
                    _alt = Interpreter.AdaptivePredict(TokenStream, 3, Context);
                }
            }
        }
        catch (RecognitionException re) {
            _localctx.exception = re;
            ErrorHandler.ReportError(this, re);
            ErrorHandler.Recover(this, re);
        }
        finally {
            UnrollRecursionContexts(_parentctx);
        }
        return(_localctx);
    }