public override object VisitEnsuressection(CryslGrammarParser.EnsuressectionContext context) { SectionEnsures ensureSection = new SectionEnsures(); string sectionName = context.ENSURESSECTIONNAME().GetText(); ensureSection.Crysl_Section = sectionName; List <EnsuresObject> ensuresList = (List <EnsuresObject>)Visit(context.ensureslist()); ensureSection.EnsuresObject = ensuresList; cryslModel.Constraints_Ensures = ensureSection; return(0); }
/// <summary> /// Visit a parse tree produced by <see cref="CryslGrammarParser.ensuressection"/>. /// <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 VisitEnsuressection([NotNull] CryslGrammarParser.EnsuressectionContext context) { return(VisitChildren(context)); }