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 
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 }
Show Value Sets.
virtual void output(const goto_functionst &goto_functions, std::ostream &out) const
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:25
Symbol Table + CFG.
Value Set Propagation.
Definition: xml.h:18
static bool convert(const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler)
void show_value_sets(ui_message_handlert::uit ui, const goto_modelt &goto_model, const value_set_analysist &value_set_analysis)
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:70
goto_programt & goto_program
Definition: cover.cpp:63
goto_functionst goto_functions
GOTO functions.
Definition: goto_model.h:32