12#ifndef CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
13#define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
29 const goto_functionst &goto_functions, std::ostream &out,
bool append=
true);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A collection of goto functions.
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...