|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExprFactory
Method Summary | |
---|---|
Expr |
cannonize(Expr expr)
Returns a cannonical version of an expression |
Expr |
falseExpr()
Returns the 'false' constant |
Expr |
intExpr(int n)
returns an integer expression |
Expr |
op(Operator op)
Expression with an arbitrary operator |
Expr |
trueExpr()
Returns the 'true' constant |
Expr |
var(java.lang.String name)
expression with a nullary opertor |
Method Detail |
---|
Expr intExpr(int n)
n
- an int
value
Expr
valueExpr var(java.lang.String name)
name
- a String
value
Expr
valueExpr op(Operator op)
op
- an Opeartor
value
Expr
valueExpr trueExpr()
Expr
valueExpr falseExpr()
Expr
valueExpr cannonize(Expr expr)
expr
- an Expr
value
Expr
value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |