public override object VisitCryslsection(CryslGrammarParser.CryslsectionContext context) { Visit(context.specsection()); Visit(context.objectssection()); Visit(context.eventssection()); Visit(context.orderssection()); Visit(context.constraintssection()); Visit(context.ensuressection()); return(cryslModel); }
/// <summary> /// Visit a parse tree produced by <see cref="CryslGrammarParser.cryslsection"/>. /// <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 VisitCryslsection([NotNull] CryslGrammarParser.CryslsectionContext context) { return(VisitChildren(context)); }