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 
14 #include <iostream>
15 
16 #include <util/xml.h>
17 
18 #include "value_set_analysis.h"
19 
22  const goto_functionst &goto_functions,
23  const value_set_analysist &value_set_analysis)
24 {
25  switch(ui)
26  {
28  {
29  xmlt xml;
30  convert(goto_functions, value_set_analysis, xml);
31  std::cout << xml << '\n';
32  }
33  break;
34 
36  value_set_analysis.output(goto_functions, std::cout);
37  break;
38 
39  default:
40  {
41  }
42  }
43 }
44 
47  const goto_programt &goto_program,
48  const value_set_analysist &value_set_analysis)
49 {
50  switch(ui)
51  {
53  {
54  xmlt xml;
55  convert(goto_program, value_set_analysis, xml);
56  std::cout << xml << '\n';
57  }
58  break;
59 
61  value_set_analysis.output(goto_program, std::cout);
62  break;
63 
64  default:
65  {
66  }
67  }
68 }
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
Value Set Propagation.
Definition: xml.h:18
void convert(const goto_functionst::goto_functiont &function, xmlt &xml)
takes a goto_function and creates an according xml structure
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition: goto_program.h:24
void show_value_sets(ui_message_handlert::uit ui, const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis)