public override Conjunct VisitConjunction([NotNull] PropositionalLogicGrammarParser.ConjunctionContext context) { var l = WalkLeft(context); var r = WalkRight(context); Debug.WriteLine("\nConjunction: "); l.Print(); Debug.Write(" & "); r.Print(); return(l.Add(r)); }
/// <summary> /// Exit a parse tree produced by the <c>Conjunction</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 ExitConjunction([NotNull] PropositionalLogicGrammarParser.ConjunctionContext context) { }
/// <summary> /// Visit a parse tree produced by the <c>Conjunction</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 VisitConjunction([NotNull] PropositionalLogicGrammarParser.ConjunctionContext context) { return(VisitChildren(context)); }