CBMC
Loading...
Searching...
No Matches
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:562
goto_functionst
A collection of goto functions.
Definition
goto_functions.h:25
json_objectt
Definition
json.h:298
show_goto_functions_jsont
Definition
show_goto_functions_json.h:20
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:116
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:28
show_goto_functions_jsont::list_only
bool list_only
Definition
show_goto_functions_json.h:30
json.h
src
goto-programs
show_goto_functions_json.h
Generated by
1.9.8