cprover
|
Loop IDs. More...
Go to the source code of this file.
Functions | |
void | show_loop_ids (ui_message_handlert::uit, const goto_modelt &) |
void | show_loop_ids (ui_message_handlert::uit, const goto_functionst &) |
void | show_loop_ids (ui_message_handlert::uit, const goto_programt &) |
Loop IDs.
Definition in file loop_ids.h.
void show_loop_ids | ( | ui_message_handlert::uit | , |
const goto_modelt & | |||
) |
Definition at line 21 of file loop_ids.cpp.
References goto_modelt::goto_functions, and show_loop_ids().
Referenced by goto_instrument_parse_optionst::doit(), cbmc_parse_optionst::get_goto_program(), clobber_parse_optionst::process_goto_program(), goto_diff_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), and show_loop_ids().
void show_loop_ids | ( | ui_message_handlert::uit | , |
const goto_functionst & | |||
) |
Definition at line 95 of file loop_ids.cpp.
References forall_goto_functions, ui_message_handlert::JSON_UI, jsont::make_array(), ui_message_handlert::PLAIN, show_loop_ids(), show_loop_ids_json(), and ui_message_handlert::XML_UI.
void show_loop_ids | ( | ui_message_handlert::uit | , |
const goto_programt & | |||
) |
Definition at line 28 of file loop_ids.cpp.
References xmlt::data, forall_goto_program_instructions, id2string(), ui_message_handlert::JSON_UI, xmlt::new_element(), ui_message_handlert::PLAIN, xmlt::set_attribute(), xml(), and ui_message_handlert::XML_UI.