fixup! Update unit tests and add one with no exceptions

Author: jeannielynnmoulton

jbmc/unit/java_bytecode/java_bytecode_parser/ThrowsExceptions.java

@@ -8,6 +8,10 @@ public static void test() throws CustomException, IOException {
      throw new CustomException();
   }
 
+  public static void testNoExceptions() {
+    StringReader sr = new StringReader("");
+  }
+
 }
 
 class CustomException extends Exception {

jbmc/unit/java_bytecode/java_bytecode_parser/parse_java_attributes.cpp

@@ -606,42 +606,36 @@ SCENARIO(
     {
       THEN("We should be able to get the list of exceptions it throws")
       {
-        const symbolt &class_symbol =
-          new_symbol_table.lookup_ref("java::ThrowsExceptions");
         const symbolt &method_symbol =
           new_symbol_table.lookup_ref("java::ThrowsExceptions.test:()V");
         const java_method_typet method =
           to_java_method_type(method_symbol.type);
-        const std::vector<irept> exceptions = method.throws_exceptions();
+        const std::vector<irep_idt> exceptions = method.throws_exceptions();
         REQUIRE(exceptions.size() == 2);
         REQUIRE(
           std::find(
-            exceptions.begin(), exceptions.end(), irept("CustomException")) !=
-          exceptions.end());
+            exceptions.begin(),
+            exceptions.end(),
+            irept("CustomException").id()) != exceptions.end());
         REQUIRE(
           std::find(
             exceptions.begin(),
             exceptions.end(),
-            irept("java.io.IOException")) != exceptions.end());
+            irept("java.io.IOException").id()) != exceptions.end());
       }
     }
-  }
-
-  const symbol_tablet &new_symbol_table2 = load_java_class(
-      "ThrowsExceptions", "./java_bytecode/java_bytecode_parser");
-  WHEN(
-    "Parsing the exceptions attribute for a method that throws no exceptions")
-  {
-    THEN("We should be able to get the list of exceptions it throws")
+    WHEN(
+      "Parsing the exceptions attribute for a method that throws no exceptions")
     {
-      const symbolt &class_symbol =
-        new_symbol_table2.lookup_ref("java::ThrowsExceptions");
-      const symbolt &method_symbol =
-        new_symbol_table2.lookup_ref("java::ThrowsExceptions.test:()V");
-      const java_method_typet method = to_java_method_type(method_symbol.type);
-      const std::vector<irept> exceptions = method.throws_exceptions();
-      REQUIRE(exceptions.size() == 0);
-    }
+      THEN("We should be able to get the list of exceptions it throws")
+      {
+        const symbolt &method_symbol = new_symbol_table.lookup_ref(
+          "java::ThrowsExceptions.testNoExceptions:()V");
+        const java_method_typet method =
+          to_java_method_type(method_symbol.type);
+        const std::vector<irep_idt> exceptions = method.throws_exceptions();
+        REQUIRE(exceptions.size() == 0);
+      }
     }
   }
 }