/// <summary> /// Exit a parse tree produced by <see cref="Combined1Parser.propositions"/>. /// <para>The default implementation does nothing.</para> /// </summary> /// <param name="context">The parse tree.</param> public virtual void ExitPropositions([NotNull] Combined1Parser.PropositionsContext context) { }
/// <summary> /// Visit a parse tree produced by <see cref="Combined1Parser.propositions"/>. /// <para> /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/> /// on <paramref name="context"/>. /// </para> /// </summary> /// <param name="context">The parse tree.</param> /// <return>The visitor result.</return> public virtual Result VisitPropositions([NotNull] Combined1Parser.PropositionsContext context) { return(VisitChildren(context)); }