|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Expr
| Field Summary | |
|---|---|
static int |
CMP_EQUAL
|
static int |
CMP_GREATER
|
static int |
CMP_INDETERMINATE
|
static int |
CMP_LESS
|
static int |
CMP_UNEQUAL
|
| Method Summary | |
|---|---|
Expr |
applyNodeTransform(NodeTransform transform)
Rewrite, applying a node->node transformation |
Var |
asVar()
Convert to a Var variable. |
Expr |
copySubstitute(Binding binding)
Deep copy with substitution |
Expr |
copySubstitute(Binding binding,
boolean foldConstants)
Deprecated. See ExprTransformConstantFold for constant folding. |
Expr |
deepCopy()
Deep copy |
NodeValue |
eval(Binding binding,
FunctionEnv env)
Evaluate this expression against the binding |
NodeValue |
getConstant()
NodeValue constant (returns null if not a constant) |
ExprVar |
getExprVar()
Variable (or null) |
ExprFunction |
getFunction()
Get the function (returns null if not a function) |
String |
getVarName()
Variable name (returns null if not a variable) |
Set<Var> |
getVarsMentioned()
Variables used by this expression - excludes variables scoped to (NOT)EXISTS |
boolean |
isConstant()
Answer whether this is a constant expression - false includes "don't know" No constant folding so "false" from an expression that evaluates to a constant |
boolean |
isFunction()
Answer wether this is a function. |
boolean |
isSatisfied(Binding binding,
FunctionEnv execCxt)
Test whether a Constraint is satisfied, given a set of bindings Includes error propagtion and Effective Boolean Value rules. |
boolean |
isVariable()
Answer whether this is a variable (in which case getVarName and getNodeVar can be called) |
void |
varsMentioned(Collection<Var> acc)
Variables used by this expression - excludes variables scoped to (NOT)EXISTS |
void |
visit(ExprVisitor visitor)
|
| Field Detail |
|---|
static final int CMP_GREATER
static final int CMP_EQUAL
static final int CMP_LESS
static final int CMP_UNEQUAL
static final int CMP_INDETERMINATE
| Method Detail |
|---|
boolean isSatisfied(Binding binding,
FunctionEnv execCxt)
binding - The bindingsexecCxt - FunctionEnv
Set<Var> getVarsMentioned()
void varsMentioned(Collection<Var> acc)
NodeValue eval(Binding binding,
FunctionEnv env)
binding - env - Expr copySubstitute(Binding binding)
@Deprecated
Expr copySubstitute(Binding binding,
boolean foldConstants)
Expr applyNodeTransform(NodeTransform transform)
Expr deepCopy()
boolean isVariable()
String getVarName()
ExprVar getExprVar()
Var asVar()
boolean isConstant()
NodeValue getConstant()
boolean isFunction()
ExprFunction getFunction()
void visit(ExprVisitor visitor)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||