public object VisitWeakUntilExpression(KpExperimentParser.WeakUntilExpressionContext context) { var leftPredicateContext = context.equivalenceExpression().FirstOrDefault(); var rightPredicateCotext = context.equivalenceExpression().Skip(1).FirstOrDefault(); return(new BinaryProperty { LeftOperand = VisitEquivalenceExpression(leftPredicateContext) as IPredicate, RightOperand = VisitEquivalenceExpression(rightPredicateCotext) as IPredicate, Operator = TemporalOperator.WeakUntil, }); }
/// <summary> /// Visit a parse tree produced by <see cref="KpExperimentParser.weakUntilExpression"/>. /// <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 VisitWeakUntilExpression([NotNull] KpExperimentParser.WeakUntilExpressionContext context) { return(VisitChildren(context)); }