public object VisitEventuallyExpression(KpExperimentParser.EventuallyExpressionContext context) { var equivalenceExpressionContext = context.equivalenceExpression(); var equivalenceExpression = VisitEquivalenceExpression(equivalenceExpressionContext) as IPredicate; return(new UnaryProperty { Operand = equivalenceExpression, Operator = TemporalOperator.Eventually, }); }
/// <summary> /// Visit a parse tree produced by <see cref="KpExperimentParser.eventuallyExpression"/>. /// <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 VisitEventuallyExpression([NotNull] KpExperimentParser.EventuallyExpressionContext context) { return(VisitChildren(context)); }