23 out <<
"new functions:\n";
30 << program.
instructions.begin()->source_location.get_file()
31 <<
": " << *it <<
"\n";
34 out <<
"modified functions:\n";
41 << program.
instructions.begin()->source_location.get_file()
42 <<
": " << *it <<
"\n";
45 out <<
"deleted functions:\n";
52 << program.
instructions.begin()->source_location.get_file()
53 <<
": " << *it <<
"\n";
60 json_result[
"totalNumberOfFunctions"]=
68 out <<
",\n" << json_result;
73 out <<
"not supported yet";
83 for(irep_id_sett::const_iterator it=function_group.begin();
84 it!=function_group.end(); ++it)
98 result[
"sourceLocation"]=
virtual std::ostream & output_functions(std::ostream &out) const
const std::string & id2string(const irep_idt &d)
const goto_modelt & goto_model1
instructionst instructions
The list of instructions in the goto program.
const goto_modelt & goto_model2
void convert_function(json_objectt &result, const irep_idt &function_name) const
jsont & push_back(const jsont &json)
unsigned total_functions_count
irep_id_sett modified_functions
void convert_function_group(json_arrayt &result, const irep_id_sett &function_group) const
function_mapt function_map
std::set< irep_idt > irep_id_sett
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
irep_id_sett new_functions
json_objectt & make_object()
irep_id_sett deleted_functions
goto_functionst goto_functions
json_objectt json(const source_locationt &location)