io.konig.formula

Interface Formula

All Known Subinterfaces:

AdditiveExpression, BuiltInCall, IriValue, NumericExpression, PathStep, PathTerm, PrimaryExpression, RelationalExpression, ValueLogical

All Known Implementing Classes:

AbstractFormula, Addend, AdditiveOperator, BareExpression, BasicExpression, BinaryOperator, BinaryRelationalExpression, BoundFunction, BrackettedExpression, BuiltInName, CaseStatement, ConditionalAndExpression, ConditionalExpression, ConditionalOrExpression, ContainmentOperator, CurieValue, Direction, DirectionStep, Expression, ExpressionList, Factor, FullyQualifiedIri, FunctionExpression, GeneralAdditiveExpression, HasPathStep, IfFunction, IriTemplateExpression, ListRelationalExpression, LiteralFormula, LocalNameTerm, MultiplicativeExpression, MultiplicativeOperator, ObjectList, PathExpression, PredicateObjectList, QuantifiedExpression, SetFunctionExpression, TimeUnit, Triple, UnaryExpression, UnaryOperator, VariableTerm, WhenThenClause

public interface Formula

Method Summary

Modifier and Type	Method and Description
BinaryRelationalExpression	asBinaryRelationalExpression()
PrimaryExpression	asPrimaryExpression()
void	dispatch(FormulaVisitor visitor)
void	print(PrettyPrintWriter out)

Method Detail

print

void print(PrettyPrintWriter out)

dispatch

void dispatch(FormulaVisitor visitor)

asPrimaryExpression

PrimaryExpression asPrimaryExpression()

asBinaryRelationalExpression

BinaryRelationalExpression asBinaryRelationalExpression()