cprover
cpp_id.h
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 #ifndef CPROVER_CPP_CPP_ID_H
13 #define CPROVER_CPP_CPP_ID_H
14 
15 #include <cassert>
16 #include <list>
17 #include <map>
18 #include <string>
19 #include <set>
20 #include <iosfwd>
21 
22 #include <util/expr.h>
23 #include <util/invariant.h>
24 #include <util/std_types.h>
25 
26 class cpp_scopet;
27 
28 class cpp_idt
29 {
30 public:
31  cpp_idt();
32 
33  enum class id_classt
34  {
35  UNKNOWN,
36  SYMBOL,
37  TYPEDEF,
38  CLASS,
39  ENUM,
40  TEMPLATE,
42  NAMESPACE,
45  ROOT_SCOPE,
46  };
47 
50 
52 
53  bool is_class() const
54  {
55  return id_class==id_classt::CLASS;
56  }
57 
58  bool is_enum() const
59  {
60  return id_class==id_classt::ENUM;
61  }
62 
63  bool is_namespace() const
64  {
66  }
67 
68  bool is_typedef() const
69  {
71  }
72 
73  bool is_template_scope() const
74  {
76  }
77 
79 
80  // if it is a member or method, what class is it in?
83 
84  // scope data
85  std::string prefix, suffix;
86  unsigned compound_counter;
87 
89  {
90  PRECONDITION(parent!=nullptr);
91  return *parent;
92  }
93 
94  void set_parent(cpp_idt &_parent)
95  {
96  assert(_parent.is_scope);
97  parent=&_parent;
98  }
99 
100  void clear()
101  {
102  *this=cpp_idt();
103  }
104 
105  void print(std::ostream &out, unsigned indent=0) const;
106  void print_fields(std::ostream &out, unsigned indent=0) const;
107 
108 protected:
109  typedef std::multimap<irep_idt, cpp_idt> cpp_id_mapt;
111 
112  // These are used for base classes and 'using' clauses.
113  typedef std::vector<cpp_idt *> scope_listt;
116 };
117 
118 std::ostream &operator<<(std::ostream &out, const cpp_idt &cpp_id);
119 std::ostream &operator<<(std::ostream &out, const cpp_idt::id_classt &id_class);
120 
121 #endif // CPROVER_CPP_CPP_ID_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
cpp_idt::class_identifier
irep_idt class_identifier
Definition: cpp_id.h:81
cpp_idt::is_class
bool is_class() const
Definition: cpp_id.h:53
cpp_scopet
Definition: cpp_scope.h:21
cpp_idt::is_typedef
bool is_typedef() const
Definition: cpp_id.h:68
cpp_idt::id_classt::CLASS
@ CLASS
cpp_idt::id_classt::UNKNOWN
@ UNKNOWN
cpp_idt::cpp_id_mapt
std::multimap< irep_idt, cpp_idt > cpp_id_mapt
Definition: cpp_id.h:109
cpp_idt::id_classt::TEMPLATE
@ TEMPLATE
cpp_idt::this_expr
exprt this_expr
Definition: cpp_id.h:82
cpp_idt::scope_listt
std::vector< cpp_idt * > scope_listt
Definition: cpp_id.h:113
cpp_idt::identifier
irep_idt identifier
Definition: cpp_id.h:78
invariant.h
exprt
Base class for all expressions.
Definition: expr.h:53
cpp_idt::suffix
std::string suffix
Definition: cpp_id.h:85
cpp_idt::id_classt::BLOCK_SCOPE
@ BLOCK_SCOPE
cpp_idt::parent
cpp_idt * parent
Definition: cpp_id.h:115
cpp_idt::sub
cpp_id_mapt sub
Definition: cpp_id.h:110
cpp_idt
Definition: cpp_id.h:29
cpp_idt::id_classt
id_classt
Definition: cpp_id.h:34
expr.h
cpp_idt::is_scope
bool is_scope
Definition: cpp_id.h:49
cpp_idt::is_method
bool is_method
Definition: cpp_id.h:48
cpp_idt::id_classt::SYMBOL
@ SYMBOL
cpp_idt::secondary_scopes
scope_listt secondary_scopes
Definition: cpp_id.h:114
cpp_idt::compound_counter
unsigned compound_counter
Definition: cpp_id.h:86
cpp_idt::id_classt::TEMPLATE_PARAMETER
@ TEMPLATE_PARAMETER
PRECONDITION
#define PRECONDITION(CONDITION)
Definition: invariant.h:464
std_types.h
Pre-defined types.
cpp_idt::is_constructor
bool is_constructor
Definition: cpp_id.h:49
cpp_idt::get_parent
cpp_idt & get_parent() const
Definition: cpp_id.h:88
cpp_idt::id_classt::ROOT_SCOPE
@ ROOT_SCOPE
cpp_idt::set_parent
void set_parent(cpp_idt &_parent)
Definition: cpp_id.h:94
cpp_idt::is_member
bool is_member
Definition: cpp_id.h:48
cpp_idt::is_namespace
bool is_namespace() const
Definition: cpp_id.h:63
cpp_idt::clear
void clear()
Definition: cpp_id.h:100
operator<<
std::ostream & operator<<(std::ostream &out, const cpp_idt &cpp_id)
Definition: cpp_id.cpp:94
cpp_idt::id_classt::TEMPLATE_SCOPE
@ TEMPLATE_SCOPE
cpp_idt::using_scopes
scope_listt using_scopes
Definition: cpp_id.h:114
cpp_idt::is_enum
bool is_enum() const
Definition: cpp_id.h:58
cpp_idt::print_fields
void print_fields(std::ostream &out, unsigned indent=0) const
Definition: cpp_id.cpp:46
cpp_idt::id_classt::TYPEDEF
@ TYPEDEF
cpp_idt::is_static_member
bool is_static_member
Definition: cpp_id.h:48
cpp_idt::id_class
id_classt id_class
Definition: cpp_id.h:51
cpp_idt::cpp_idt
cpp_idt()
Definition: cpp_id.cpp:20
cpp_idt::prefix
std::string prefix
Definition: cpp_id.h:85
cpp_idt::print
void print(std::ostream &out, unsigned indent=0) const
Definition: cpp_id.cpp:33
cpp_idt::is_template_scope
bool is_template_scope() const
Definition: cpp_id.h:73
cpp_idt::base_name
irep_idt base_name
Definition: cpp_id.h:78
cpp_idt::id_classt::ENUM
@ ENUM
cpp_idt::id_classt::NAMESPACE
@ NAMESPACE