@@ -1315,29 +1315,28 @@ code_blockt java_string_library_preprocesst::make_copy_constructor_code(
1315
1315
const irep_idt &function_id,
1316
1316
symbol_table_baset &symbol_table)
1317
1317
{
1318
- // Code for the output
1319
- code_blockt code;
1318
+ code_blockt output_code;
1320
1319
1321
1320
// String expression that will hold the result
1322
1321
const refined_string_exprt string_expr =
1323
- decl_string_expr (loc, function_id, symbol_table, code );
1322
+ decl_string_expr (loc, function_id, symbol_table, output_code );
1324
1323
1325
1324
// Assign argument to a string_expr
1326
1325
const java_method_typet::parameterst ¶ms = type.parameters ();
1327
1326
PRECONDITION (!params[0 ].get_identifier ().empty ());
1328
1327
PRECONDITION (!params[1 ].get_identifier ().empty ());
1329
1328
const symbol_exprt arg1{params[1 ].get_identifier (), params[1 ].type ()};
1330
1329
code_assign_java_string_to_string_expr (
1331
- string_expr, arg1, loc, symbol_table, code );
1330
+ string_expr, arg1, loc, symbol_table, output_code );
1332
1331
1333
1332
// Assign string_expr to `this` object
1334
1333
const symbol_exprt arg_this{params[0 ].get_identifier (), params[0 ].type ()};
1335
- code .add (
1334
+ output_code .add (
1336
1335
code_assign_string_expr_to_java_string (
1337
1336
arg_this, string_expr, symbol_table, true ),
1338
1337
loc);
1339
1338
1340
- return code ;
1339
+ return output_code ;
1341
1340
}
1342
1341
1343
1342
// / Generates code for the String.length method
0 commit comments