public object VisitUnaryExpression(KpExperimentParser.UnaryExpressionContext context) { var notExpressionContext = context.notLtlExpression(); var eventuallyExpressionContext = context.eventuallyExpression(); var alwaysExpressionContext = context.alwaysExpression(); var nextExpressionContext = context.nextExpression(); var neverExpressionContext = context.neverExpression(); var infinitelyOftenExpressionContext = context.infinitelyOftenExpression(); var steadyStateExpressionContext = context.steadyStateExpression(); var ltlExpression = default(UnaryProperty); if (notExpressionContext != null) { ltlExpression = VisitNotLtlExpression(notExpressionContext) as UnaryProperty; } else if (eventuallyExpressionContext != null) { ltlExpression = VisitEventuallyExpression(eventuallyExpressionContext) as UnaryProperty; } else if (alwaysExpressionContext != null) { ltlExpression = VisitAlwaysExpression(alwaysExpressionContext) as UnaryProperty; } else if (nextExpressionContext != null) { ltlExpression = VisitNextExpression(nextExpressionContext) as UnaryProperty; } else if (neverExpressionContext != null) { ltlExpression = VisitNeverExpression(neverExpressionContext) as UnaryProperty; } else if (infinitelyOftenExpressionContext != null) { ltlExpression = VisitInfinitelyOftenExpression(infinitelyOftenExpressionContext) as UnaryProperty; } else if (steadyStateExpressionContext != null) { ltlExpression = VisitSteadyStateExpression(steadyStateExpressionContext) as UnaryProperty; } return(ltlExpression); }
/// <summary> /// Visit a parse tree produced by <see cref="KpExperimentParser.unaryExpression"/>. /// <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 VisitUnaryExpression([NotNull] KpExperimentParser.UnaryExpressionContext context) { return(VisitChildren(context)); }