Throw different exception

This commit is contained in:
Daniel Holle 2024-01-30 15:46:02 +01:00
parent f18903834e
commit 700ea125fc
2 changed files with 1 additions and 4 deletions

View File

@ -31,7 +31,7 @@ public class JavaClassRegistry {
if (name.equals(new JavaClassName(className)))
return name;
}
throw new NotImplementedException();
throw new RuntimeException("Class " + className + " not found!");
}
@Override

View File

@ -546,9 +546,6 @@ public class TYPEStmt implements StatementVisitor {
GenericsResolver resolver = getResolverInstance();
Set<Constraint<Pair>> oneMethodConstraints = generateConstraint(superCall, assumption, info, resolver);
System.out.println(">>>");
System.out.println(oneMethodConstraints);
System.out.println("<<<");
methodConstraints.addAll(oneMethodConstraints);
}
break;