cprover
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
class
namespacet
;
19
20
class
show_goto_functions_jsont
21
{
22
public
:
23
explicit
show_goto_functions_jsont
(
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
31
private
:
32
const
namespacet
&
ns
;
33
bool
list_only
;
34
};
35
36
#endif // CPROVER_GOTO_PROGRAMS_SHOW_GOTO_FUNCTIONS_JSON_H
show_goto_functions_jsont::show_goto_functions_jsont
show_goto_functions_jsont(const namespacet &_ns, bool _list_only=false)
For outputting the GOTO program in a readable JSON format.
Definition:
show_goto_functions_json.cpp:29
show_goto_functions_jsont::ns
const namespacet & ns
Definition:
show_goto_functions_json.h:32
json_objectt
Definition:
json.h:300
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_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:38
show_goto_functions_jsont
Definition:
show_goto_functions_json.h:21
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:128
show_goto_functions_jsont::list_only
bool list_only
Definition:
show_goto_functions_json.h:33
goto_functionst
A collection of goto functions.
Definition:
goto_functions.h:23
json.h
goto-programs
show_goto_functions_json.h
Generated by
1.8.20