55 const auto sorted = goto_functions.
sorted();
57 for(
const auto &fun : sorted)
60 const bool has_body = fun->second.body_available();
66 << (has_body ?
"" :
", body not available") <<
" */";
71 msg.
status() <<
"^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";
75 fun->second.body.output(ns, symbol.
name, msg.
status());
irep_idt name
The unique identifier.
static const commandt bold
render text with bold font
Goto Programs with Functions.
symbol_tablet symbol_table
Symbol table.
void show_goto_functions(const namespacet &ns, message_handlert &message_handler, ui_message_handlert::uit ui, const goto_functionst &goto_functions, bool list_only)
static const commandt reset
return to default formatting, as defined by the terminal
json_objectt convert(const goto_functionst &goto_functions)
Walks through all of the functions in the program and returns a JSON object representing all their fu...
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
A collection of goto functions.
Class that provides messages with a built-in verbosity 'level'.
const irep_idt & display_name() const
Return language specific display name if present.
mstreamt & status() const
std::vector< function_mapt::const_iterator > sorted() const
returns a vector of the iterators in alphabetical order
goto_functionst goto_functions
GOTO functions.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
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...