public object VisitBinaryExpression(KpExperimentParser.BinaryExpressionContext context)
{
var untilExpressionContext = context.untilExpression();
var weakUntilExpressionContext = context.weakUntilExpression();
var followedByExpressionContext = context.followedByExpression();
var precededByExpressionContext = context.precededByExpression();
var ltlExpression = default(BinaryProperty);
if (untilExpressionContext != null)
{
ltlExpression = VisitUntilExpression(untilExpressionContext) as BinaryProperty;
}
else if (weakUntilExpressionContext != null)
{
ltlExpression = VisitWeakUntilExpression(weakUntilExpressionContext) as BinaryProperty;
}
else if (followedByExpressionContext != null)
{
ltlExpression = VisitFollowedByExpression(followedByExpressionContext) as BinaryProperty;
}
else if (precededByExpressionContext != null)
{
ltlExpression = VisitPrecededByExpression(precededByExpressionContext) as BinaryProperty;
}
return(ltlExpression);
}
/// <summary>
/// Visit a parse tree produced by <see cref="KpExperimentParser.binaryExpression"/>.
/// <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 VisitBinaryExpression([NotNull] KpExperimentParser.BinaryExpressionContext context)
{
return(VisitChildren(context));
}
