Module com.darkcollective.relix.ast

Package com.darkcollective.relix.ast.visitor.internal

Class PredicatePrettyPrinter

java.lang.Object

com.darkcollective.relix.ast.visitor.internal.PredicatePrettyPrinter

All Implemented Interfaces:

PredicateVisitor<String>

public final class PredicatePrettyPrinter
extends Object
implements PredicateVisitor<String>

Formats a Predicate as a Unicode relational algebra string.

Uses Unicode logical and comparison symbols: ∧ (and), ∨ (or), ¬ (not), ∈/∉ (set membership), ⊥ (null), and = ≠ < ≤ > ≥ for comparisons. Binary predicates are parenthesised ((left) ∧ (right)) to make associativity unambiguous when nested.

Operand formatting is delegated to OperandPrettyPrinter.

Constructor Summary

Constructors

Constructor	Description
PredicatePrettyPrinter()

Method Summary

Modifier and Type	Method	Description
String	visit(AndPredicate node)	Visits a logical conjunction (∧).
String	visit(ComparisonPredicate node)	Visits a comparison predicate (=, ≠, <, ≤, >, ≥).
String	visit(ElementOfPredicate node)	Visits a set-membership test (∈ or ∉).
String	visit(NotPredicate node)	Visits a logical negation (¬).
String	visit(NullPredicate node)	Visits a null test (= ⊥ or ≠ ⊥).
String	visit(OrPredicate node)	Visits a logical disjunction (∨).
String	visit(PatternPredicate node)	Visits a pattern-matching test (LIKE or NOT LIKE).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PredicatePrettyPrinter

public PredicatePrettyPrinter()

Method Details

visit

public String visit(ComparisonPredicate node)

Description copied from interface: PredicateVisitor

Visits a comparison predicate (=, ≠, <, ≤, >, ≥).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(AndPredicate node)

Description copied from interface: PredicateVisitor

Visits a logical conjunction (∧).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(OrPredicate node)

Description copied from interface: PredicateVisitor

Visits a logical disjunction (∨).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(NotPredicate node)

Description copied from interface: PredicateVisitor

Visits a logical negation (¬).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(NullPredicate node)

Description copied from interface: PredicateVisitor

Visits a null test (= ⊥ or ≠ ⊥).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(ElementOfPredicate node)

Description copied from interface: PredicateVisitor

Visits a set-membership test (∈ or ∉).

Specified by:

visit in interface PredicateVisitor<String>

visit

public String visit(PatternPredicate node)

Description copied from interface: PredicateVisitor

Visits a pattern-matching test (LIKE or NOT LIKE).

Specified by:

visit in interface PredicateVisitor<String>