public object VisitKPExpriment(KpExperimentParser.KPExprimentContext context) { var ltlPropertiesContext = context.ltlProperty(); var ctlPropertiesContext = context.ctlProperty(); var ltlProperties = Enumerable.Empty <ILtlProperty>(); var ctlProperties = Enumerable.Empty <ICtlProperty>(); if (ltlPropertiesContext.Length > 0) { ltlProperties = ltlPropertiesContext.Select(p => VisitLtlProperty(p) as ILtlProperty).ToList(); } if (ctlPropertiesContext.Length > 0) { ctlProperties = ctlPropertiesContext.Select(p => VisitCtlProperty(p) as ICtlProperty).ToList(); } return(new Experiment { LtlProperties = ltlProperties, CtlProperties = ctlProperties, }); }
public Experiment GetExperiment(KpExperimentParser.KPExprimentContext context) { return(VisitKPExpriment(context) as Experiment); }
/// <summary> /// Visit a parse tree produced by <see cref="KpExperimentParser.kPExpriment"/>. /// <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 VisitKPExpriment([NotNull] KpExperimentParser.KPExprimentContext context) { return(VisitChildren(context)); }