/// <summary>
/// Creer un Terme 'Div' qui s'applique sur sur les termes renvoyés par les non-terminaux a gauche et a droite du symbole
/// </summary>
/// <param name="context">la partie droite de la regle de la grammaire</param>
/// <returns>Le Terme 'Div' avec ses fils places</returns>
public override Term VisitDiv([NotNull] TableurParser.DivContext context)
{
Term[] vars = new Term[2];
vars[0] = this.Visit(context.multdivmod());
vars[1] = this.Visit(context.unary());
return(new Div(vars));;
}
/// <summary>
/// Visit a parse tree produced by the <c>Div</c>
/// labeled alternative in <see cref="TableurParser.multdivmod"/>.
/// <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 VisitDiv([NotNull] TableurParser.DivContext context)
{
return(VisitChildren(context));
}
/// <summary>
/// Exit a parse tree produced by the <c>Div</c>
/// labeled alternative in <see cref="TableurParser.multdivmod"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitDiv([NotNull] TableurParser.DivContext context)
{
}
