40 json_result[
"totalNumberOfFunctions"]=
45 json_result[
"modifiedFunctions"].make_array(),
49 json_result[
"deletedFunctions"].make_array(),
57 error() <<
"XML output not supported yet" <<
eom;
67 const std::string &group_name,
68 const std::set<irep_idt> &function_group,
71 result() << group_name <<
":\n";
72 for(
const auto &function_name : function_group)
93 const auto goto_function_it =
106 result() <<
" " << property_id <<
'\n';
117 const std::set<irep_idt> &function_group,
120 for(
const auto &function_name : function_group)
123 result.push_back(
jsont()).make_object(), function_name, goto_model);
144 const auto goto_function_it =
ui_message_handlert::uit ui
const goto_modelt & goto_model1
void output_function(const irep_idt &function_name, const goto_modelt &goto_model) const
Output function information in plain text format.
const goto_modelt & goto_model2
function_mapt function_map
symbol_tablet symbol_table
Symbol table.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
#define CHECK_RETURN(CONDITION)
static mstreamt & eom(mstreamt &m)
unsigned total_functions_count
virtual void output_functions() const
Output diff result.
instructionst instructions
The list of instructions in the goto program.
bool get_bool_option(const std::string &option) const
A generic container class for the GOTO intermediate representation of one function.
std::set< irep_idt > modified_functions
source_locationt location
Source code location of definition of symbol.
const irep_idt & get_file() const
mstreamt & result() const
std::string to_string(const string_constraintt &expr)
Used for debug printing.
goto_programt & goto_program
void output_function_group(const std::string &group_name, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const
Output group of functions in plain text format.
const irep_idt & get_property_id() const
void convert_function_json(json_objectt &result, const irep_idt &function_name, const goto_modelt &goto_model) const
Convert function information to JSON.
void convert_properties_json(json_arrayt &json_properties, const namespacet &ns, const irep_idt &identifier, const goto_programt &goto_program)
Collects the properties in the goto program into a json_arrayt
goto_functionst goto_functions
GOTO functions.
json_objectt json(const source_locationt &location)
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().
void convert_function_group_json(json_arrayt &result, const std::set< irep_idt > &function_group, const goto_modelt &goto_model) const
Convert a function group to JSON.
std::set< irep_idt > deleted_functions
std::set< irep_idt > new_functions