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);
}