|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Syntax.ASTBase fmrisc.Syntax.ExpressionBase fmrisc.Syntax.BinaryExpression fmrisc.Syntax.OrFormula
public final class OrFormula
Handling of disjunctions.
Constructor Summary | |
---|---|
OrFormula(Expression base1,
Expression base2)
construct disjunction with components base1 and base2 |
Method Summary | |
---|---|
BinaryExpression |
construct(Expression first,
Expression second)
Construct binary expression of the same kind as this expression. |
int |
getPriority()
get binding level for printing (lower numbers mean greater binding power) |
Methods inherited from class fmrisc.Syntax.BinaryExpression |
---|
accept, getFirst, getSecond, instantiate, printCore |
Methods inherited from class fmrisc.Syntax.ExpressionBase |
---|
printPriority |
Methods inherited from class fmrisc.Syntax.ASTBase |
---|
print, printParens, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface fmrisc.Syntax.AST |
---|
print, printParens, toString |
Constructor Detail |
---|
public OrFormula(Expression base1, Expression base2)
base1
- the first componentbase2
- the second componentMethod Detail |
---|
public int getPriority()
getPriority
in interface Expression
getPriority
in class ExpressionBase
public BinaryExpression construct(Expression first, Expression second)
construct
in class BinaryExpression
first
- an expression.second
- an expression.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |