cprover
show_goto_functions.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show goto functions
4
5
Author: Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#include "
show_goto_functions.h
"
13
14
#include <iostream>
15
16
#include <
util/xml.h
>
17
#include <
util/json.h
>
18
#include <
util/json_expr.h
>
19
#include <
util/xml_expr.h
>
20
#include <
util/cprover_prefix.h
>
21
#include <
util/prefix.h
>
22
23
#include <
langapi/language_util.h
>
24
#include <
goto-programs/show_goto_functions_json.h
>
25
#include <
goto-programs/show_goto_functions_xml.h
>
26
27
#include "
goto_functions.h
"
28
#include "
goto_model.h
"
29
30
void
show_goto_functions
(
31
const
namespacet
&ns,
32
ui_message_handlert::uit
ui,
33
const
goto_functionst
&goto_functions)
34
{
35
switch
(ui)
36
{
37
case
ui_message_handlert::uit::XML_UI
:
38
{
39
show_goto_functions_xmlt
xml_show_functions(ns);
40
xml_show_functions(goto_functions, std::cout);
41
}
42
break
;
43
44
case
ui_message_handlert::uit::JSON_UI
:
45
{
46
show_goto_functions_jsont
json_show_functions(ns);
47
json_show_functions(goto_functions, std::cout);
48
}
49
break
;
50
51
case
ui_message_handlert::uit::PLAIN
:
52
goto_functions.
output
(ns, std::cout);
53
break
;
54
}
55
}
56
57
void
show_goto_functions
(
58
const
goto_modelt
&goto_model,
59
ui_message_handlert::uit
ui)
60
{
61
const
namespacet
ns(goto_model.
symbol_table
);
62
show_goto_functions
(ns, ui, goto_model.
goto_functions
);
63
}
ui_message_handlert::uit
uit
Definition:
ui_message.h:18
language_util.h
show_goto_functions.h
Show the goto functions.
goto_functions.h
Goto Programs with Functions.
goto_modelt::symbol_table
symbol_tablet symbol_table
Definition:
goto_model.h:25
ui_message_handlert::uit::JSON_UI
ui_message_handlert::uit::XML_UI
goto_functions_templatet::output
void output(const namespacet &ns, std::ostream &out) const
Definition:
goto_functions_template.h:165
goto_modelt
Definition:
goto_model.h:22
prefix.h
goto_model.h
Symbol Table + CFG.
json.h
json_expr.h
Expressions in JSON.
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
xml_expr.h
xml.h
goto_functionst
Definition:
goto_functions.h:20
show_goto_functions_json.h
Goto Program.
show_goto_functions_jsont
Definition:
show_goto_functions_json.h:20
cprover_prefix.h
show_goto_functions_xmlt
Definition:
show_goto_functions_xml.h:20
show_goto_functions_xml.h
Goto Program.
ui_message_handlert::uit::PLAIN
show_goto_functions
void show_goto_functions(const namespacet &ns, ui_message_handlert::uit ui, const goto_functionst &goto_functions)
Definition:
show_goto_functions.cpp:30
goto_modelt::goto_functions
goto_functionst goto_functions
Definition:
goto_model.h:26
goto-programs
show_goto_functions.cpp
Generated by
1.8.12