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 
16 
17 #include <util/xml.h>
18 
19 #include <iostream>
20 
23  const goto_modelt &goto_model,
24  const value_set_analysist &value_set_analysis)
25 {
26  switch(ui)
27  {
29  {
30  xmlt xml;
31  convert(goto_model.goto_functions, value_set_analysis, xml);
32  std::cout << xml << '\n';
33  }
34  break;
35 
37  value_set_analysis.output(goto_model.goto_functions, std::cout);
38  break;
39 
40  default:
41  {
42  }
43  }
44 }
45 
48  const goto_programt &goto_program,
49  const value_set_analysist &value_set_analysis)
50 {
51  switch(ui)
52  {
54  {
55  xmlt xml;
56  convert(goto_program, value_set_analysis, xml);
57  std::cout << xml << '\n';
58  }
59  break;
60 
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