public class BooleanFormulaCompileVisitor extends FormulaBaseVisitor<BooleanFormula>
Modifier and Type | Field and Description |
---|---|
static BooleanFormulaCompileVisitor |
DEFAULT |
Constructor and Description |
---|
BooleanFormulaCompileVisitor() |
visitAtom, visitConditional, visitExpression_op, visitExpression, visitFactor, visitIdentifier, visitNumber, visitParameter, visitScientific, visitTerm_op, visitTerm, visitVariable
public static final BooleanFormulaCompileVisitor DEFAULT
public BooleanFormula visitPredicate_expression(FormulaParser.Predicate_expressionContext ctx)
FormulaBaseVisitor
FormulaParser.predicate_expression()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitPredicate_expression
in interface FormulaVisitor<BooleanFormula>
visitPredicate_expression
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitPredicate_term(FormulaParser.Predicate_termContext ctx)
FormulaBaseVisitor
FormulaParser.predicate_term()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitPredicate_term
in interface FormulaVisitor<BooleanFormula>
visitPredicate_term
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitPredicate_factor(FormulaParser.Predicate_factorContext ctx)
FormulaBaseVisitor
FormulaParser.predicate_factor()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitPredicate_factor
in interface FormulaVisitor<BooleanFormula>
visitPredicate_factor
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitPredicate_atom(FormulaParser.Predicate_atomContext ctx)
FormulaBaseVisitor
FormulaParser.predicate_atom()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitPredicate_atom
in interface FormulaVisitor<BooleanFormula>
visitPredicate_atom
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitLess(FormulaParser.LessContext ctx)
FormulaBaseVisitor
FormulaParser.less()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitLess
in interface FormulaVisitor<BooleanFormula>
visitLess
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitGreater(FormulaParser.GreaterContext ctx)
FormulaBaseVisitor
FormulaParser.greater()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitGreater
in interface FormulaVisitor<BooleanFormula>
visitGreater
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitLess_equal(FormulaParser.Less_equalContext ctx)
FormulaBaseVisitor
FormulaParser.less_equal()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitLess_equal
in interface FormulaVisitor<BooleanFormula>
visitLess_equal
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitGreater_equal(FormulaParser.Greater_equalContext ctx)
FormulaBaseVisitor
FormulaParser.greater_equal()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitGreater_equal
in interface FormulaVisitor<BooleanFormula>
visitGreater_equal
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitEqual(FormulaParser.EqualContext ctx)
FormulaBaseVisitor
FormulaParser.equal()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitEqual
in interface FormulaVisitor<BooleanFormula>
visitEqual
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse treepublic BooleanFormula visitNot_equal(FormulaParser.Not_equalContext ctx)
FormulaBaseVisitor
FormulaParser.not_equal()
.
The default implementation returns the result of calling
#visitChildren
on ctx
.
visitNot_equal
in interface FormulaVisitor<BooleanFormula>
visitNot_equal
in class FormulaBaseVisitor<BooleanFormula>
ctx
- the parse tree