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
20
class
show_goto_functions_xmlt
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
goto-programs
show_goto_functions_xml.h
Generated by
1.8.20