public override Maybe<Result> VisitFact_expr(QueryParser.Fact_exprContext context)
{
if (context.MUL() != null)
return VisitMul(context);
if (context.DIV() != null)
return VisitDiv(context);
if (context.MOD() != null)
return VisitMod(context);
return VisitNeg_expr(context.neg_expr());
}
private Maybe<Result> VisitMod(QueryParser.Fact_exprContext context)
{
var (left, right) = VisitTwo(context);
return left.Zip(right).Bind(tuple => tuple.Item1.Modulo(tuple.Item2).Just());
}
private (Maybe<Result>, Maybe<Result>) VisitTwo(QueryParser.Fact_exprContext context)
{
var left = new BasicExprVisitor(_zmi, _env).Visit(context.fact_expr());
var right = new BasicExprVisitor(_zmi, _env).Visit(context.neg_expr());
return (left, right);
}
/// <summary>
/// Visit a parse tree produced by <see cref="QueryParser.fact_expr"/>.
/// <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 VisitFact_expr([NotNull] QueryParser.Fact_exprContext context)
{
return(VisitChildren(context));
}
