+ public Set getfunctions() {
+ return null;
+ }
+
+ public SetDescriptor getSet() {
+ return null; /* unknown value */
+ }
+
+ public Expr stripCastExpr() {
+ Expr ptr=this;
+ while (ptr instanceof CastExpr)
+ ptr=((CastExpr)ptr).getExpr();
+ return ptr;
+ }
+
+ public boolean isSafe() {
+ return true;
+ }
+
+ public Expr getLower() {
+ return null;
+ }
+
+ public Expr getUpper() {
+ return null;
+ }
+ public boolean isInvariant(Set vars) {
+ return false;
+ }
+ public Set findInvariants(Set vars) {
+ return new HashSet();
+ }