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