Change code_typet to java_method_typet

antlechner · antlechner · commit 371504975f40 · 2018-08-09T17:00:19.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
@@ -1621,7 +1621,7 @@ void java_object_factoryt::gen_method_call(
 {
   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
`@@ -1621,7 +1621,7 @@ void java_object_factoryt::gen_method_call(`
`1621`	`1621`	`{`
`1622`	`1622`	`if(const auto func = symbol_table.lookup(method_name))`
`1623`	`1623`	`{`
`1624`		`- const code_typet &type = to_code_type(func->type);`
	`1624`	`+ const java_method_typet &type = to_java_method_type(func->type);`
`1625`	`1625`	`code_function_callt fun_call;`
`1626`	`1626`	`fun_call.function() = func->symbol_expr();`
`1627`	`1627`	`if(type.has_this())`