cprover
cpp_declarator.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Language Type Checking
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #include "cpp_declarator.h"
13 
14 #include <ostream>
15 #include <cassert>
16 
17 void cpp_declaratort::output(std::ostream &out) const
18 {
19  out << " name: " << name().pretty() << "\n";
20  out << " type: " << type().pretty() << "\n";
21  out << " value: " << value().pretty() << "\n";
22  out << " init_args: " << init_args().pretty() << "\n";
23  out << " method_qualifier: " << method_qualifier().pretty() << "\n";
24 }
25 
26 typet cpp_declaratort::merge_type(const typet &declaration_type) const
27 {
28  typet dest_type=type();
29 
30  if(declaration_type.id()=="cpp-cast-operator")
31  return dest_type;
32 
33  typet *p=&dest_type;
34 
35  // walk down subtype until we hit nil
36  while(true)
37  {
38  typet &t=*p;
39  if(t.is_nil())
40  {
41  t=declaration_type;
42  break;
43  }
44  else if(t.id()==ID_merged_type)
45  {
46  // the chain continues with the last one
47  assert(!t.subtypes().empty());
48  p=&t.subtypes().back();
49  }
50  else
51  {
52  assert(!t.id().empty());
53  p=&t.subtype();
54  }
55  }
56 
57  return dest_type;
58 }
The type of an expression.
Definition: type.h:22
bool is_nil() const
Definition: irep.h:102
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
Definition: irep.cpp:641
subtypest & subtypes()
Definition: type.h:58
typet & type()
Definition: expr.h:56
typet merge_type(const typet &declaration_type) const
C++ Language Type Checking.
const irep_idt & id() const
Definition: irep.h:189
exprt & init_args()
irept & method_qualifier()
void output(std::ostream &out) const
cpp_namet & name()
const typet & subtype() const
Definition: type.h:33
bool empty() const
Definition: dstring.h:61