Unit tests conversion from code_typet to java_method_typet

Author: jeannielynnmoulton

jbmc/unit/Makefile

@@ -21,6 +21,7 @@ SRC += java_bytecode/goto-programs/class_hierarchy_output.cpp \
        java_bytecode/java_types/erase_type_arguments.cpp \
        java_bytecode/java_types/generic_type_index.cpp \
        java_bytecode/java_types/java_generic_symbol_type.cpp \
+       java_bytecode/java_types/java_method_type.cpp \
        java_bytecode/java_types/java_type_from_string.cpp \
        java_bytecode/java_utils_test.cpp \
        java_bytecode/load_method_by_regex.cpp \

jbmc/unit/java_bytecode/java_types/java_method_type.cpp

@@ -0,0 +1,35 @@
+/*******************************************************************\
+
+ Module: Unit tests for java_types
+
+ Author: Diffblue Ltd.
+
+\*******************************************************************/
+
+#include <testing-utils/catch.hpp>
+#include <java_bytecode/java_types.h>
+
+SCENARIO("java_method_type", "[core][java_types]")
+{
+  GIVEN("A code_typet")
+  {
+    code_typet::parameterst parameters;
+    typet return_type;
+    code_typet code_type = code_typet();
+    THEN("It has id code_typet and not java_method_typet")
+    {
+      REQUIRE(code_type.id() == ID_code);
+      REQUIRE_FALSE(code_type.get_bool(ID_C_java_method_type));
+    }
+
+    WHEN("It is converted to a java_method_typet")
+    {
+      THEN("It should have id code_typet and java_method_typet")
+      {
+        java_method_typet method_type = to_java_method_type(code_type);
+          REQUIRE(method_type.id() == ID_code);
+          REQUIRE(method_type.get_bool(ID_C_java_method_type));
+      }
+    }
+  }
+}