| Constructor and Description |
|---|
ExprStatement(ExValue left,
ExOpType op,
ExValue right,
boolean not) |
| Modifier and Type | Method and Description |
|---|---|
Expr |
clone() |
Expr |
cloneBifurcatingFields(java.util.Map<java.lang.String,? extends io.mfj.expr.Expr> replMap) |
Expr |
cloneReplacingForField(java.lang.String fieldName,
Expr withExpr) |
ExValue |
getLeft() |
boolean |
getNot() |
ExOpType |
getOp() |
ExValue |
getRight() |
void |
setNot(boolean p) |
void |
setOp(ExOpType p) |
java.lang.String |
toString() |
boolean |
value(VarProvider vp) |
clone, cloneBifurcatingFields, cloneReplacingForField, valuepublic boolean value(VarProvider vp)
public java.lang.String toString()
public Expr clone()
public Expr cloneReplacingForField(java.lang.String fieldName, Expr withExpr)
public Expr cloneBifurcatingFields(java.util.Map<java.lang.String,? extends io.mfj.expr.Expr> replMap)
public ExValue getLeft()
public ExOpType getOp()
public void setOp(ExOpType p)
public ExValue getRight()
public boolean getNot()
public void setNot(boolean p)