cprover
|
Loop IDs. More...
#include "loop_ids.h"
#include <iostream>
#include <util/xml.h>
#include <util/xml_expr.h>
#include <util/json.h>
#include <util/json_expr.h>
Go to the source code of this file.
Functions | |
void | show_loop_ids (ui_message_handlert::uit ui, const goto_modelt &goto_model) |
void | show_loop_ids (ui_message_handlert::uit ui, const goto_programt &goto_program) |
void | show_loop_ids_json (ui_message_handlert::uit ui, const goto_programt &goto_program, json_arrayt &loops) |
void | show_loop_ids (ui_message_handlert::uit ui, const goto_functionst &goto_functions) |
Loop IDs.
Definition in file loop_ids.cpp.
void show_loop_ids | ( | ui_message_handlert::uit | ui, |
const goto_modelt & | goto_model | ||
) |
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 | ui, |
const goto_programt & | goto_program | ||
) |
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.
void show_loop_ids | ( | ui_message_handlert::uit | ui, |
const goto_functionst & | goto_functions | ||
) |
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_json | ( | ui_message_handlert::uit | ui, |
const goto_programt & | goto_program, | ||
json_arrayt & | loops | ||
) |
Definition at line 74 of file loop_ids.cpp.
References forall_goto_program_instructions, id2string(), json(), ui_message_handlert::JSON_UI, jsont::make_object(), and json_arrayt::push_back().
Referenced by show_loop_ids().