cprover
show_goto_functions_xml.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto Program
4 
5 Author: Thomas Kiley
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
13 #define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
14 
15 #include <util/xml.h>
16 
17 class goto_functionst;
18 class namespacet;
19 
21 {
22 public:
23  explicit show_goto_functions_xmlt(
24  const namespacet &_ns,
25  bool _list_only = false);
26 
27  xmlt convert(const goto_functionst &goto_functions);
28  void operator()(
29  const goto_functionst &goto_functions, std::ostream &out, bool append=true);
30 
31 private:
32  const namespacet &ns;
33  bool list_only;
34 };
35 
36 #endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
show_goto_functions_xmlt::convert
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...
Definition: show_goto_functions_xml.cpp:44
xml.h
show_goto_functions_xmlt::ns
const namespacet & ns
Definition: show_goto_functions_xml.h:32
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
show_goto_functions_xmlt::show_goto_functions_xmlt
show_goto_functions_xmlt(const namespacet &_ns, bool _list_only=false)
For outputting the GOTO program in a readable xml format.
Definition: show_goto_functions_xml.cpp:29
show_goto_functions_xmlt::list_only
bool list_only
Definition: show_goto_functions_xml.h:33
xmlt
Definition: xml.h:21
show_goto_functions_xmlt::operator()
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...
Definition: show_goto_functions_xml.cpp:108
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:23
show_goto_functions_xmlt
Definition: show_goto_functions_xml.h:21