Example #1
0
        private PropositionsContext propositions(int _p)
        {
            ParserRuleContext _parentctx  = _ctx;
            int _parentState              = State;
            PropositionsContext _localctx = new PropositionsContext(_ctx, _parentState);
            PropositionsContext _prevctx  = _localctx;
            int _startState = 8;

            EnterRecursionRule(_localctx, 8, RULE_propositions, _p);
            try {
                int _alt;
                EnterOuterAlt(_localctx, 1);
                {
                    {
                        State = 49; proposition();
                    }
                    _ctx.stop = _input.Lt(-1);
                    State     = 55;
                    _errHandler.Sync(this);
                    _alt = Interpreter.AdaptivePredict(_input, 4, _ctx);
                    while (_alt != 2 && _alt != global::Antlr4.Runtime.Atn.ATN.InvalidAltNumber)
                    {
                        if (_alt == 1)
                        {
                            if (_parseListeners != null)
                            {
                                TriggerExitRuleEvent();
                            }
                            _prevctx = _localctx;
                            {
                                {
                                    _localctx = new PropositionsContext(_parentctx, _parentState);
                                    PushNewRecursionContext(_localctx, _startState, RULE_propositions);
                                    State = 51;
                                    if (!(Precpred(_ctx, 2)))
                                    {
                                        throw new FailedPredicateException(this, "Precpred(_ctx, 2)");
                                    }
                                    State = 52; proposition();
                                }
                            }
                        }
                        State = 57;
                        _errHandler.Sync(this);
                        _alt = Interpreter.AdaptivePredict(_input, 4, _ctx);
                    }
                }
            }
            catch (RecognitionException re) {
                _localctx.exception = re;
                _errHandler.ReportError(this, re);
                _errHandler.Recover(this, re);
            }
            finally {
                UnrollRecursionContexts(_parentctx);
            }
            return(_localctx);
        }