}
public String name() {
+ System.out.println(this.getClass().getName());
return "?";
}
return null;
}
- public int[] getRepairs(boolean negated) {
+ public boolean isValue() {
+ return false;
+ }
+
+ public int[] getRepairs(boolean negated, Termination t) {
System.out.println(this.getClass().getName());
throw new Error("Unrecognized EXPR");
}
return false;
}
+ public Set useDescriptor(Descriptor d) {
+ return new HashSet();
+ }
+
public boolean usesDescriptor(Descriptor rd) {
System.out.println(this.getClass().getName());
throw new Error("UNIMPLEMENTED");
}
+ public boolean isNull() {
+ return false;
+ }
+ public boolean isNonNull() {
+ return false;
+ }
+ public Set freeVars() {
+ return null;
+ }
+
+ public void findmatch(Descriptor d, Set s) {
+ }
+
+ public Set getfunctions() {
+ return null;
+ }
+ public SetDescriptor getSet() {
+ return null; /* unknown value */
+ }
+
+ public boolean isSafe() {
+ return true;
+ }
+
+ public Expr getLower() {
+ return null;
+ }
+
+ public Expr getUpper() {
+ return null;
+ }
}