fixup! Adding tests for local and anonymous classes

Author: jeannielynnmoulton

jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$1.class

@@ -102,3 +102,14 @@ interface InnerInterface {
         int i = 4;
     };
 }
+
+class ContainsLocalClass {
+    public void test() {
+        class LocalClass {
+            int i = 55;
+            LocalClass(int i) {
+                this.i = i;
+            }
+        }
+    }
+}

jbmc/unit/java_bytecode/java_bytecode_parser/ContainsAnonymousClass$2.class

@@ -120,6 +120,7 @@ SCENARIO(
       }
     }
   }
+
   GIVEN(
     "Some package-private class files in the class path with deeply nested "
     "inner classes")
@@ -185,4 +186,76 @@ SCENARIO(
       }
     }
   }
+
+  GIVEN(
+    "Some package-private class files in the class path with anonymous classes")
+  {
+    WHEN("Parsing the InnerClasses attribute for a public anonymous class")
+    {
+      THEN("The class should be marked as public")
+      {
+        const symbolt &class_symbol =
+          new_symbol_table.lookup_ref("java::ContainsAnonymousClass$1");
+        const java_class_typet java_class =
+          to_java_class_type(class_symbol.type);
+        REQUIRE(java_class.get_is_inner_class());
+        REQUIRE(java_class.get_access() == ID_public);
+      }
+    }
+    WHEN(
+      "Parsing the InnerClasses attribute for a package-private anonymous "
+      "class")
+    {
+      THEN("The class should be marked as default")
+      {
+        const symbolt &class_symbol =
+          new_symbol_table.lookup_ref("java::ContainsAnonymousClass$2");
+        const java_class_typet java_class =
+          to_java_class_type(class_symbol.type);
+        REQUIRE(java_class.get_is_inner_class());
+        REQUIRE(java_class.get_access() == ID_default);
+      }
+    }
+    WHEN("Parsing the InnerClasses attribute for a protected anonymous class")
+    {
+      THEN("The class should be marked as protected")
+      {
+        const symbolt &class_symbol =
+          new_symbol_table.lookup_ref("java::ContainsAnonymousClass$3");
+        const java_class_typet java_class =
+          to_java_class_type(class_symbol.type);
+        REQUIRE(java_class.get_is_inner_class());
+        REQUIRE(java_class.get_access() == ID_protected);
+      }
+    }
+    WHEN("Parsing the InnerClasses attribute for a private anonymous class")
+    {
+      THEN("The class should be marked as private")
+      {
+        const symbolt &class_symbol =
+          new_symbol_table.lookup_ref("java::ContainsAnonymousClass$4");
+        const java_class_typet java_class =
+          to_java_class_type(class_symbol.type);
+        REQUIRE(java_class.get_is_inner_class());
+        REQUIRE(java_class.get_access() == ID_private);
+      }
+    }
+  }
+
+  GIVEN(
+    "Some package-private class files in the class path with local classes ")
+  {
+    WHEN("Parsing the InnerClasses attribute for a package-private class ")
+    {
+      THEN("The class should be marked as package-private")
+      {
+        const symbolt &class_symbol =
+          new_symbol_table.lookup_ref("java::ContainsLocalClass$LocalClass$");
+        const java_class_typet java_class =
+          to_java_class_type(class_symbol.type);
+        REQUIRE(java_class.get_is_inner_class());
+        REQUIRE(java_class.get_access() == ID_default);
+      }
+    }
+  }
 }