Add function_id parameter to get_primitive_value_of_object

This is in preparation to giving the function_id to the function
generating fresh java symbols.

Author: romainbrenguier

jbmc/src/java_bytecode/java_string_library_preprocess.cpp

@@ -1154,6 +1154,7 @@ java_string_library_preprocesst::get_primitive_value_of_object(
   const exprt &object,
   irep_idt type_name,
   const source_locationt &loc,
+  const irep_idt &function_id,
   symbol_table_baset &symbol_table,
   code_blockt &code)
 {
@@ -1378,7 +1379,7 @@ struct_exprt java_string_library_preprocesst::make_argument_for_format(
     else if(name==ID_int || name==ID_float || name==ID_char || name==ID_boolean)
     {
       const auto value = get_primitive_value_of_object(
-        arg_i, name, loc, symbol_table, code_not_null);
+        arg_i, name, loc, function_id, symbol_table, code_not_null);
       if(value.has_value())
         code_not_null.add(code_assignt(field_expr, *value), loc);
       else

jbmc/src/java_bytecode/java_string_library_preprocess.h

@@ -327,6 +327,7 @@ class java_string_library_preprocesst:public messaget
     const exprt &object,
     irep_idt type_name,
     const source_locationt &loc,
+    const irep_idt &function_id,
     symbol_table_baset &symbol_table,
     code_blockt &code);