CBMC
Loading...
Searching...
No Matches
show_goto_functions_xml.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Goto Program
4
5Author: 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
17class goto_functionst;
18
20{
21public:
23 bool _list_only = false);
24
25 xmlt convert(const goto_functionst &goto_functions);
26 void operator()(
27 const goto_functionst &goto_functions, std::ostream &out, bool append=true);
28
29private:
31};
32
33#endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_XML_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
A collection of goto functions.
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...
Definition xml.h:21