public override Conjunct VisitDisjunction([NotNull] PropositionalLogicGrammarParser.DisjunctionContext context) { var l = WalkLeft(context); var r = WalkRight(context); Debug.WriteLine("\nDisjunction: "); l.Print(); Debug.Write(" v "); r.Print(); return(l.Disjunction(r)); }
/// <summary> /// Exit a parse tree produced by the <c>Disjunction</c> /// labeled alternative in <see cref="PropositionalLogicGrammarParser.expression"/>. /// <para>The default implementation does nothing.</para> /// </summary> /// <param name="context">The parse tree.</param> public virtual void ExitDisjunction([NotNull] PropositionalLogicGrammarParser.DisjunctionContext context) { }
/// <summary> /// Visit a parse tree produced by the <c>Disjunction</c> /// labeled alternative in <see cref="PropositionalLogicGrammarParser.expression"/>. /// <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 VisitDisjunction([NotNull] PropositionalLogicGrammarParser.DisjunctionContext context) { return(VisitChildren(context)); }