return expr.findInvariants(vars);
}
- public void findmatch(Descriptor d, Set s) {
- expr.findmatch(d,s);
- }
-
public CastExpr(TypeDescriptor type, Expr expr) {
this.type = type;
this.expr = expr;
else return ((this.type==((CastExpr)e).type)&&expr.equals(remap,((CastExpr)e).expr));
}
+ public void findmatch(Descriptor d, Set s) {
+ expr.findmatch(d,s);
+ }
+
public Set useDescriptor(Descriptor d) {
return expr.useDescriptor(d);
}