Adding unit test for checking bridge methods attribute is parsed correctly

Author: thk123

jbmc/unit/java_bytecode/java_bytecode_convert_method/ClassWithBridgeMethod.class

@@ -0,0 +1,5 @@
+public class ClassWithBridgeMethod implements Comparable<ClassWithBridgeMethod> {
+  public int compareTo(ClassWithBridgeMethod other) {
+    return 0;
+  }
+}

jbmc/unit/java_bytecode/java_bytecode_convert_method/ClassWithBridgeMethod.java

@@ -0,0 +1,55 @@
+/*******************************************************************\
+
+ Module: Unit tests for converting constructors and static initializers
+
+ Author: Diffblue Limited.
+
+\*******************************************************************/
+
+#include <testing-utils/catch.hpp>
+
+#include <util/symbol_table.h>
+
+#include <java-testing-utils/load_java_class.h>
+#include <java-testing-utils/require_type.h>
+
+SCENARIO(
+  "java_bytecode_convert_bridge_method",
+  "[core][java_bytecode][java_bytecode_convert_method]")
+{
+  GIVEN("A class with a bridge method")
+  {
+    const symbol_tablet symbol_table = load_java_class(
+      "ClassWithBridgeMethod", "./java_bytecode/java_bytecode_convert_method");
+
+    const std::string method_name = "java::ClassWithBridgeMethod.compareTo";
+
+    WHEN("When parsing the bridge method")
+    {
+      const symbolt function_symbol =
+        symbol_table.lookup_ref(method_name + ":(Ljava/lang/Object;)I");
+
+      const code_typet &function_type =
+        require_type::require_code(function_symbol.type);
+      THEN("The method should be marked as a bridge method")
+      {
+        REQUIRE(function_type.get_bool(ID_is_bridge_method));
+      }
+    }
+    WHEN("When parsing a non-bridge method")
+    {
+      THEN("THe method should not be marked as a bridge method")
+      {
+        const symbolt function_symbol =
+          symbol_table.lookup_ref(method_name + ":(LClassWithBridgeMethod;)I");
+
+        const code_typet &function_type =
+          require_type::require_code(function_symbol.type);
+        THEN("The method should be marked as a bridge method")
+        {
+          REQUIRE_FALSE(function_type.get_bool(ID_is_bridge_method));
+        }
+      }
+    }
+  }
+}