45 const auto sorted = goto_functions.
sorted();
55 "is_body_available", function.body_available());
61 xml_function.set_attribute_bool(
"is_internal", is_internal);
66 if(function.body_available())
70 function.body.instructions)
75 "instruction_id", instruction.to_string());
77 if(instruction.get_code().source_location().is_not_nil())
80 xml(instruction.get_code().source_location()));
84 function.body.output_instruction(
113 out <<
convert(goto_functions);
virtual void clear()
Reset the abstract state.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A collection of goto functions.
::goto_functiont goto_functiont
std::vector< function_mapt::const_iterator > sorted() const
returns a vector of the iterators in alphabetical order
This class represents an instruction in the GOTO intermediate representation.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
xmlt convert(const goto_functionst &goto_functions)
Walks through all of the functions in the program and returns an xml object representing all their fu...
void operator()(const goto_functionst &goto_functions, std::ostream &out, bool append=true)
Print the xml object generated by show_goto_functions_xmlt::show_goto_functions to the provided strea...
show_goto_functions_xmlt(const namespacet &_ns, bool _list_only=false)
For outputting the GOTO program in a readable xml format.
bool has_prefix(const std::string &s, const std::string &prefix)
Goto Programs with Functions.
const std::string & id2string(const irep_idt &d)
xmlt xml(const irep_idt &property_id, const property_infot &property_info)