cprover
Loading...
Searching...
No Matches
show_goto_functions_json.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_JSON_H
13#define CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_JSON_H
14
15#include <util/json.h>
16
17class goto_functionst;
18class namespacet;
19
21{
22public:
24 const namespacet &_ns,
25 bool _list_only = false);
26
27 json_objectt convert(const goto_functionst &goto_functions);
28 void operator()(
29 const goto_functionst &goto_functions, std::ostream &out, bool append=true);
30
31private:
32 const namespacet &ns;
34};
35
36#endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_JSON_H
A collection of goto functions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:91
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...
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...