CBMC
show_goto_functions_json.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_JSON_H
13 #define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_JSON_H
14 
15 #include <util/json.h>
16 
17 class goto_functionst;
18 
19 class show_goto_functions_jsont
20 {
21 public:
22  explicit show_goto_functions_jsont(
23  bool _list_only = false);
24 
25  json_objectt convert(const goto_functionst &goto_functions);
26  void operator()(
27  const goto_functionst &goto_functions, std::ostream &out, bool append=true);
28 
29 private:
30  bool list_only;
31 };
32 
33 #endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_JSON_H
json_objectt
Definition: json.h:299
show_goto_functions_jsont::convert
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...
Definition: show_goto_functions_json.cpp:31
show_goto_functions_jsont
Definition: show_goto_functions_json.h:19
show_goto_functions_jsont::operator()
void operator()(const goto_functionst &goto_functions, std::ostream &out, bool append=true)
Print the json object generated by show_goto_functions_jsont::show_goto_functions to the provided str...
Definition: show_goto_functions_json.cpp:120
show_goto_functions_jsont::list_only
bool list_only
Definition: show_goto_functions_json.h:30
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:24
json.h
show_goto_functions_jsont::show_goto_functions_jsont
show_goto_functions_jsont(bool _list_only=false)
For outputting the GOTO program in a readable JSON format.
Definition: show_goto_functions_json.cpp:24