Suif2.1

[Mihaela]

Hi there,

Does anybody knows how can I insert in a C++ source file a statement
like:

 FILE *pf;
    pf=fopen("mama.txt","a");

using Suif2.1?

I already done it in Suif 2.0 using a call_instruction and an
assign_statement(see the next example...), but I don't know how to do it
in Suif2.1.

fopen_a_call=  new call_instruction(fopen_address,
fopen_argument1,fopen_argument2);
the_procedure_body_list.insert_before(pos_lista,
assign_statement(temp_pointer_to_file,source_op(fopen_a_call)));

Thanks,
Mihaela