• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- IdentifierResolver.h - Lexical Scope Name lookup ---------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines the IdentifierResolver class, which is used for lexical
11 // scoped lookup, based on declaration names.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_SEMA_IDENTIFIERRESOLVER_H
16 #define LLVM_CLANG_SEMA_IDENTIFIERRESOLVER_H
17 
18 #include "clang/Basic/IdentifierTable.h"
19 #include "llvm/ADT/SmallVector.h"
20 
21 namespace clang {
22 
23 class ASTContext;
24 class Decl;
25 class DeclContext;
26 class DeclarationName;
27 class ExternalPreprocessorSource;
28 class NamedDecl;
29 class Preprocessor;
30 class Scope;
31 
32 /// IdentifierResolver - Keeps track of shadowed decls on enclosing
33 /// scopes.  It manages the shadowing chains of declaration names and
34 /// implements efficient decl lookup based on a declaration name.
35 class IdentifierResolver {
36 
37   /// IdDeclInfo - Keeps track of information about decls associated
38   /// to a particular declaration name. IdDeclInfos are lazily
39   /// constructed and assigned to a declaration name the first time a
40   /// decl with that declaration name is shadowed in some scope.
41   class IdDeclInfo {
42   public:
43     typedef SmallVector<NamedDecl*, 2> DeclsTy;
44 
decls_begin()45     inline DeclsTy::iterator decls_begin() { return Decls.begin(); }
decls_end()46     inline DeclsTy::iterator decls_end() { return Decls.end(); }
47 
AddDecl(NamedDecl * D)48     void AddDecl(NamedDecl *D) { Decls.push_back(D); }
49 
50     /// RemoveDecl - Remove the decl from the scope chain.
51     /// The decl must already be part of the decl chain.
52     void RemoveDecl(NamedDecl *D);
53 
54     /// \brief Insert the given declaration at the given position in the list.
InsertDecl(DeclsTy::iterator Pos,NamedDecl * D)55     void InsertDecl(DeclsTy::iterator Pos, NamedDecl *D) {
56       Decls.insert(Pos, D);
57     }
58 
59   private:
60     DeclsTy Decls;
61   };
62 
63 public:
64 
65   /// iterator - Iterate over the decls of a specified declaration name.
66   /// It will walk or not the parent declaration contexts depending on how
67   /// it was instantiated.
68   class iterator {
69   public:
70     typedef NamedDecl *             value_type;
71     typedef NamedDecl *             reference;
72     typedef NamedDecl *             pointer;
73     typedef std::input_iterator_tag iterator_category;
74     typedef std::ptrdiff_t          difference_type;
75 
76     /// Ptr - There are 3 forms that 'Ptr' represents:
77     /// 1) A single NamedDecl. (Ptr & 0x1 == 0)
78     /// 2) A IdDeclInfo::DeclsTy::iterator that traverses only the decls of the
79     ///    same declaration context. (Ptr & 0x3 == 0x1)
80     /// 3) A IdDeclInfo::DeclsTy::iterator that traverses the decls of parent
81     ///    declaration contexts too. (Ptr & 0x3 == 0x3)
82     uintptr_t Ptr;
83     typedef IdDeclInfo::DeclsTy::iterator BaseIter;
84 
85     /// A single NamedDecl. (Ptr & 0x1 == 0)
iterator(NamedDecl * D)86     iterator(NamedDecl *D) {
87       Ptr = reinterpret_cast<uintptr_t>(D);
88       assert((Ptr & 0x1) == 0 && "Invalid Ptr!");
89     }
90     /// A IdDeclInfo::DeclsTy::iterator that walks or not the parent declaration
91     /// contexts depending on 'LookInParentCtx'.
iterator(BaseIter I)92     iterator(BaseIter I) {
93       Ptr = reinterpret_cast<uintptr_t>(I) | 0x1;
94     }
95 
isIterator()96     bool isIterator() const { return (Ptr & 0x1); }
97 
getIterator()98     BaseIter getIterator() const {
99       assert(isIterator() && "Ptr not an iterator!");
100       return reinterpret_cast<BaseIter>(Ptr & ~0x3);
101     }
102 
103     friend class IdentifierResolver;
104 
105     void incrementSlowCase();
106   public:
iterator()107     iterator() : Ptr(0) {}
108 
109     NamedDecl *operator*() const {
110       if (isIterator())
111         return *getIterator();
112       else
113         return reinterpret_cast<NamedDecl*>(Ptr);
114     }
115 
116     bool operator==(const iterator &RHS) const {
117       return Ptr == RHS.Ptr;
118     }
119     bool operator!=(const iterator &RHS) const {
120       return Ptr != RHS.Ptr;
121     }
122 
123     // Preincrement.
124     iterator& operator++() {
125       if (!isIterator()) // common case.
126         Ptr = 0;
127       else
128         incrementSlowCase();
129       return *this;
130     }
131 
getAsOpaqueValue()132     uintptr_t getAsOpaqueValue() const { return Ptr; }
133 
getFromOpaqueValue(uintptr_t P)134     static iterator getFromOpaqueValue(uintptr_t P) {
135       iterator Result;
136       Result.Ptr = P;
137       return Result;
138     }
139   };
140 
141   /// begin - Returns an iterator for decls with the name 'Name'.
142   iterator begin(DeclarationName Name);
143 
144   /// end - Returns an iterator that has 'finished'.
end()145   iterator end() {
146     return iterator();
147   }
148 
149   /// isDeclInScope - If 'Ctx' is a function/method, isDeclInScope returns true
150   /// if 'D' is in Scope 'S', otherwise 'S' is ignored and isDeclInScope returns
151   /// true if 'D' belongs to the given declaration context.
152   ///
153   /// \param AllowInlineNamespace If \c true, we are checking whether a prior
154   ///        declaration is in scope in a declaration that requires a prior
155   ///        declaration (because it is either explicitly qualified or is a
156   ///        template instantiation or specialization). In this case, a
157   ///        declaration is in scope if it's in the inline namespace set of the
158   ///        context.
159   bool isDeclInScope(Decl *D, DeclContext *Ctx, Scope *S = nullptr,
160                      bool AllowInlineNamespace = false) const;
161 
162   /// AddDecl - Link the decl to its shadowed decl chain.
163   void AddDecl(NamedDecl *D);
164 
165   /// RemoveDecl - Unlink the decl from its shadowed decl chain.
166   /// The decl must already be part of the decl chain.
167   void RemoveDecl(NamedDecl *D);
168 
169   /// \brief Insert the given declaration after the given iterator
170   /// position.
171   void InsertDeclAfter(iterator Pos, NamedDecl *D);
172 
173   /// \brief Try to add the given declaration to the top level scope, if it
174   /// (or a redeclaration of it) hasn't already been added.
175   ///
176   /// \param D The externally-produced declaration to add.
177   ///
178   /// \param Name The name of the externally-produced declaration.
179   ///
180   /// \returns true if the declaration was added, false otherwise.
181   bool tryAddTopLevelDecl(NamedDecl *D, DeclarationName Name);
182 
183   explicit IdentifierResolver(Preprocessor &PP);
184   ~IdentifierResolver();
185 
186 private:
187   const LangOptions &LangOpt;
188   Preprocessor &PP;
189 
190   class IdDeclInfoMap;
191   IdDeclInfoMap *IdDeclInfos;
192 
193   void updatingIdentifier(IdentifierInfo &II);
194   void readingIdentifier(IdentifierInfo &II);
195 
196   /// FETokenInfo contains a Decl pointer if lower bit == 0.
isDeclPtr(void * Ptr)197   static inline bool isDeclPtr(void *Ptr) {
198     return (reinterpret_cast<uintptr_t>(Ptr) & 0x1) == 0;
199   }
200 
201   /// FETokenInfo contains a IdDeclInfo pointer if lower bit == 1.
toIdDeclInfo(void * Ptr)202   static inline IdDeclInfo *toIdDeclInfo(void *Ptr) {
203     assert((reinterpret_cast<uintptr_t>(Ptr) & 0x1) == 1
204           && "Ptr not a IdDeclInfo* !");
205     return reinterpret_cast<IdDeclInfo*>(
206                     reinterpret_cast<uintptr_t>(Ptr) & ~0x1
207                                                             );
208   }
209 };
210 
211 } // end namespace clang
212 
213 #endif
214