51 xmlt xml_property(
"property");
56 property_l=
xml(source_location);
62 std::cout << xml_property <<
'\n';
71 std::cout <<
"Property " << property_id <<
":\n";
73 std::cout <<
" " << ins.source_location <<
'\n' 74 <<
" " << description <<
'\n' 75 <<
" " <<
from_expr(ns, identifier, ins.guard)
113 json_property[
"sourceLocation"]=
json(source_location);
115 json_property[
"expression"]=
127 if(!fct.second.is_inlined())
135 json_result[
"properties"] = json_properties;
136 std::cout <<
",\n" << json_result;
148 if(!fct.second.is_inlined())
void show_properties_json(json_arrayt &json_properties, const namespacet &ns, const irep_idt &identifier, const goto_programt &goto_program)
const std::string & id2string(const irep_idt &d)
std::string comment(const rw_set_baset::entryt &entry, bool write)
instructionst instructions
The list of instructions in the goto program.
Goto Programs with Functions.
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
void show_properties(const namespacet &ns, const irep_idt &identifier, ui_message_handlert::uit ui, const goto_programt &goto_program)
symbol_tablet symbol_table
xmlt xml(const source_locationt &location)
jsont & push_back(const jsont &json)
void set_attribute(const std::string &attribute, unsigned value)
function_mapt function_map
xmlt & new_element(const std::string &name)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
json_objectt & make_object()
const irep_idt & get_comment() const
const irep_idt & get_property_id() const
const irep_idt & get_property_class() const
goto_functionst goto_functions
json_objectt json(const source_locationt &location)