cprover
show_value_sets.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Show Value Sets
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
show_value_sets.h
"
13
#include "
value_set_analysis.h
"
14
15
#include <
goto-programs/goto_model.h
>
16
17
#include <
util/xml.h
>
18
19
#include <iostream>
20
21
void
show_value_sets
(
22
ui_message_handlert::uit
ui,
23
const
goto_modelt
&goto_model,
24
const
value_set_analysist
&value_set_analysis)
25
{
26
switch
(ui)
27
{
28
case
ui_message_handlert::uit::XML_UI
:
29
{
30
xmlt
xml
;
31
convert
(goto_model.
goto_functions
, value_set_analysis,
xml
);
32
std::cout <<
xml
<<
'\n'
;
33
}
34
break
;
35
36
case
ui_message_handlert::uit::PLAIN
:
37
value_set_analysis.
output
(goto_model.
goto_functions
, std::cout);
38
break
;
39
40
default
:
41
{
42
}
43
}
44
}
45
46
void
show_value_sets
(
47
ui_message_handlert::uit
ui,
48
const
goto_programt
&goto_program,
49
const
value_set_analysist
&value_set_analysis)
50
{
51
switch
(ui)
52
{
53
case
ui_message_handlert::uit::XML_UI
:
54
{
55
xmlt
xml
;
56
convert
(goto_program, value_set_analysis,
xml
);
57
std::cout <<
xml
<<
'\n'
;
58
}
59
break
;
60
61
case
ui_message_handlert::uit::PLAIN
:
62
value_set_analysis.
output
(goto_program, std::cout);
63
break
;
64
65
default
:
66
{
67
}
68
}
69
}
static_analysis_baset::output
virtual void output(const goto_functionst &goto_functions, std::ostream &out) const
Definition:
static_analysis.cpp:74
ui_message_handlert::uit::XML_UI
@ XML_UI
xml
xmlt xml(const source_locationt &location)
Definition:
xml_expr.cpp:26
value_set_analysis_templatet
Definition:
value_set_analysis.h:30
goto_model.h
goto_modelt
Definition:
goto_model.h:24
xml.h
show_value_sets
void show_value_sets(ui_message_handlert::uit ui, const goto_modelt &goto_model, const value_set_analysist &value_set_analysis)
Definition:
show_value_sets.cpp:21
ui_message_handlert::uit
uit
Definition:
ui_message.h:22
convert
static bool convert(const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler)
Definition:
builtin_factory.cpp:41
xmlt
Definition:
xml.h:18
goto_modelt::goto_functions
goto_functionst goto_functions
GOTO functions.
Definition:
goto_model.h:32
ui_message_handlert::uit::PLAIN
@ PLAIN
show_value_sets.h
goto_programt
A generic container class for the GOTO intermediate representation of one function.
Definition:
goto_program.h:72
value_set_analysis.h
pointer-analysis
show_value_sets.cpp
Generated by
1.8.17