Ejemplo n.º 1
0
 /// <summary>
 /// Permet d'aller a la regle Atom de la grammaire
 /// </summary>
 /// <param name="context">la partie droite de la regle de la grammaire</param>
 /// <returns>Le Terme remonte par la visite de la regle Atom</returns>
 public override Term VisitToAtom([NotNull] TableurParser.ToAtomContext context)
 {
     return(this.Visit(context.atom()));
 }
Ejemplo n.º 2
0
 /// <summary>
 /// Visit a parse tree produced by the <c>ToAtom</c>
 /// labeled alternative in <see cref="TableurParser.unary"/>.
 /// <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 VisitToAtom([NotNull] TableurParser.ToAtomContext context)
 {
     return(VisitChildren(context));
 }
Ejemplo n.º 3
0
 /// <summary>
 /// Exit a parse tree produced by the <c>ToAtom</c>
 /// labeled alternative in <see cref="TableurParser.unary"/>.
 /// <para>The default implementation does nothing.</para>
 /// </summary>
 /// <param name="context">The parse tree.</param>
 public virtual void ExitToAtom([NotNull] TableurParser.ToAtomContext context)
 {
 }