Change code_typet to java_method_typet

antlechner · antlechner · commit 10a6d773f245 · 2018-08-13T13:18:46.000+01:00
All instances of code_typet in jbmc are currently being replaced with
the new type java_method_typet.
diff --git a/jbmc/src/java_bytecode/java_object_factory.cpp b/jbmc/src/java_bytecode/java_object_factory.cpp
@@ -1642,7 +1642,7 @@ void java_object_factoryt::gen_method_call_if_present(
 {
   if(const auto func = symbol_table.lookup(method_name))
   {
-    const code_typet &type = to_code_type(func->type);
+    const java_method_typet &type = to_java_method_type(func->type);
     code_function_callt fun_call;
     fun_call.function() = func->symbol_expr();
     if(type.has_this())

Original file line number	Diff line number	Diff line change
`@@ -1642,7 +1642,7 @@ void java_object_factoryt::gen_method_call_if_present(`
`1642`	`1642`	`{`
`1643`	`1643`	`if(const auto func = symbol_table.lookup(method_name))`
`1644`	`1644`	`{`
`1645`		`- const code_typet &type = to_code_type(func->type);`
	`1645`	`+ const java_method_typet &type = to_java_method_type(func->type);`
`1646`	`1646`	`code_function_callt fun_call;`
`1647`	`1647`	`fun_call.function() = func->symbol_expr();`
`1648`	`1648`	`if(type.has_this())`