Merge pull request #1986 from thk123/revert/1816/overlay-classes

Revert overlay classes and follow on fix, which broke a functionality of the `--classpath` option that allows to load several classes having the same name.

Author: Joel Allred

regression/cbmc-java/generics_type_param/test.desc

@@ -3,9 +3,9 @@ GenericFields$SimpleGenericField.class
 --cover location --function GenericFields\$SimpleGenericField.foo --verbosity 10
 ^EXIT=0$
 ^SIGNAL=0$
-Parsing class AWrapper
-Parsing class FWrapper
-Parsing class IWrapper
+Reading class AWrapper
+Reading class FWrapper
+Reading class IWrapper
 --
 failed to load class \`AWrapper\'
 failed to load class \`FWrapper\'

regression/cbmc-java/invalid_classpath/Test.class

@@ -85,15 +85,15 @@ bool ci_lazy_methodst::operator()(
       reachable_classes.push_back(main_class);
     else
       reachable_classes = main_jar_classes;
-    for(const irep_idt &class_name : reachable_classes)
+    for(const auto &classname : reachable_classes)
     {
-      const auto &methods =
-        java_class_loader.get_original_class(class_name).parsed_class.methods;
+      const auto &methods=
+        java_class_loader.class_map.at(classname).parsed_class.methods;
       for(const auto &method : methods)
       {
-        const irep_idt methodid =
-          "java::" + id2string(class_name) + "." + id2string(method.name)
-            + ":" + id2string(method.descriptor);
+        const irep_idt methodid="java::"+id2string(classname)+"."+
+          id2string(method.name)+":"+
+          id2string(method.descriptor);
         method_worklist2.push_back(methodid);
       }
     }