clang  6.0.0svn
MultiplexExternalSemaSource.cpp
Go to the documentation of this file.
1 //===--- MultiplexExternalSemaSource.cpp ---------------------------------===//
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 implements the event dispatching to the subscribed clients.
11 //
12 //===----------------------------------------------------------------------===//
15 #include "clang/Sema/Lookup.h"
16 
17 using namespace clang;
18 
19 ///\brief Constructs a new multiplexing external sema source and appends the
20 /// given element to it.
21 ///
23  ExternalSemaSource &s2){
24  Sources.push_back(&s1);
25  Sources.push_back(&s2);
26 }
27 
28 // pin the vtable here.
30 
31 ///\brief Appends new source to the source list.
32 ///
33 ///\param[in] source - An ExternalSemaSource.
34 ///
36  Sources.push_back(&source);
37 }
38 
39 //===----------------------------------------------------------------------===//
40 // ExternalASTSource.
41 //===----------------------------------------------------------------------===//
42 
44  for(size_t i = 0; i < Sources.size(); ++i)
45  if (Decl *Result = Sources[i]->GetExternalDecl(ID))
46  return Result;
47  return nullptr;
48 }
49 
51  for (size_t i = 0; i < Sources.size(); ++i)
52  Sources[i]->CompleteRedeclChain(D);
53 }
54 
56  Selector Sel;
57  for(size_t i = 0; i < Sources.size(); ++i) {
58  Sel = Sources[i]->GetExternalSelector(ID);
59  if (!Sel.isNull())
60  return Sel;
61  }
62  return Sel;
63 }
64 
66  uint32_t total = 0;
67  for(size_t i = 0; i < Sources.size(); ++i)
68  total += Sources[i]->GetNumExternalSelectors();
69  return total;
70 }
71 
73  for(size_t i = 0; i < Sources.size(); ++i)
74  if (Stmt *Result = Sources[i]->GetExternalDeclStmt(Offset))
75  return Result;
76  return nullptr;
77 }
78 
80  uint64_t Offset){
81  for(size_t i = 0; i < Sources.size(); ++i)
82  if (CXXBaseSpecifier *R = Sources[i]->GetExternalCXXBaseSpecifiers(Offset))
83  return R;
84  return nullptr;
85 }
86 
89  for (auto *S : Sources)
90  if (auto *R = S->GetExternalCXXCtorInitializers(Offset))
91  return R;
92  return nullptr;
93 }
94 
97  for (const auto &S : Sources)
98  if (auto EK = S->hasExternalDefinitions(D))
99  if (EK != EK_ReplyHazy)
100  return EK;
101  return EK_ReplyHazy;
102 }
103 
106  bool AnyDeclsFound = false;
107  for (size_t i = 0; i < Sources.size(); ++i)
108  AnyDeclsFound |= Sources[i]->FindExternalVisibleDeclsByName(DC, Name);
109  return AnyDeclsFound;
110 }
111 
113  for(size_t i = 0; i < Sources.size(); ++i)
114  Sources[i]->completeVisibleDeclsMap(DC);
115 }
116 
118  const DeclContext *DC, llvm::function_ref<bool(Decl::Kind)> IsKindWeWant,
120  for(size_t i = 0; i < Sources.size(); ++i)
121  Sources[i]->FindExternalLexicalDecls(DC, IsKindWeWant, Result);
122 }
123 
125  unsigned Offset,
126  unsigned Length,
127  SmallVectorImpl<Decl *> &Decls){
128  for(size_t i = 0; i < Sources.size(); ++i)
129  Sources[i]->FindFileRegionDecls(File, Offset, Length, Decls);
130 }
131 
133  for(size_t i = 0; i < Sources.size(); ++i)
134  Sources[i]->CompleteType(Tag);
135 }
136 
138  for(size_t i = 0; i < Sources.size(); ++i)
139  Sources[i]->CompleteType(Class);
140 }
141 
143  for(size_t i = 0; i < Sources.size(); ++i)
144  Sources[i]->ReadComments();
145 }
146 
148  for(size_t i = 0; i < Sources.size(); ++i)
149  Sources[i]->StartedDeserializing();
150 }
151 
153  for(size_t i = 0; i < Sources.size(); ++i)
154  Sources[i]->FinishedDeserializing();
155 }
156 
158  for(size_t i = 0; i < Sources.size(); ++i)
159  Sources[i]->StartTranslationUnit(Consumer);
160 }
161 
163  for(size_t i = 0; i < Sources.size(); ++i)
164  Sources[i]->PrintStats();
165 }
166 
168  uint64_t &Size,
169  uint64_t &Alignment,
170  llvm::DenseMap<const FieldDecl *, uint64_t> &FieldOffsets,
171  llvm::DenseMap<const CXXRecordDecl *, CharUnits> &BaseOffsets,
172  llvm::DenseMap<const CXXRecordDecl *, CharUnits> &VirtualBaseOffsets){
173  for(size_t i = 0; i < Sources.size(); ++i)
174  if (Sources[i]->layoutRecordType(Record, Size, Alignment, FieldOffsets,
175  BaseOffsets, VirtualBaseOffsets))
176  return true;
177  return false;
178 }
179 
182  for(size_t i = 0; i < Sources.size(); ++i)
183  Sources[i]->getMemoryBufferSizes(sizes);
184 
185 }
186 
187 //===----------------------------------------------------------------------===//
188 // ExternalSemaSource.
189 //===----------------------------------------------------------------------===//
190 
191 
193  for(size_t i = 0; i < Sources.size(); ++i)
194  Sources[i]->InitializeSema(S);
195 }
196 
198  for(size_t i = 0; i < Sources.size(); ++i)
199  Sources[i]->ForgetSema();
200 }
201 
203  for(size_t i = 0; i < Sources.size(); ++i)
204  Sources[i]->ReadMethodPool(Sel);
205 }
206 
208  for(size_t i = 0; i < Sources.size(); ++i)
209  Sources[i]->updateOutOfDateSelector(Sel);
210 }
211 
213  SmallVectorImpl<NamespaceDecl*> &Namespaces){
214  for(size_t i = 0; i < Sources.size(); ++i)
215  Sources[i]->ReadKnownNamespaces(Namespaces);
216 }
217 
219  llvm::MapVector<NamedDecl *, SourceLocation> &Undefined) {
220  for(size_t i = 0; i < Sources.size(); ++i)
221  Sources[i]->ReadUndefinedButUsed(Undefined);
222 }
223 
225  llvm::MapVector<FieldDecl *,
226  llvm::SmallVector<std::pair<SourceLocation, bool>, 4>> &
227  Exprs) {
228  for (auto &Source : Sources)
229  Source->ReadMismatchingDeleteExpressions(Exprs);
230 }
231 
233  for(size_t i = 0; i < Sources.size(); ++i)
234  Sources[i]->LookupUnqualified(R, S);
235 
236  return !R.empty();
237 }
238 
240  SmallVectorImpl<VarDecl*> &TentativeDefs) {
241  for(size_t i = 0; i < Sources.size(); ++i)
242  Sources[i]->ReadTentativeDefinitions(TentativeDefs);
243 }
244 
247  for(size_t i = 0; i < Sources.size(); ++i)
248  Sources[i]->ReadUnusedFileScopedDecls(Decls);
249 }
250 
253  for(size_t i = 0; i < Sources.size(); ++i)
254  Sources[i]->ReadDelegatingConstructors(Decls);
255 }
256 
259  for(size_t i = 0; i < Sources.size(); ++i)
260  Sources[i]->ReadExtVectorDecls(Decls);
261 }
262 
265  for(size_t i = 0; i < Sources.size(); ++i)
266  Sources[i]->ReadUnusedLocalTypedefNameCandidates(Decls);
267 }
268 
270  SmallVectorImpl<std::pair<Selector, SourceLocation> > &Sels) {
271  for(size_t i = 0; i < Sources.size(); ++i)
272  Sources[i]->ReadReferencedSelectors(Sels);
273 }
274 
276  SmallVectorImpl<std::pair<IdentifierInfo*, WeakInfo> > &WI) {
277  for(size_t i = 0; i < Sources.size(); ++i)
278  Sources[i]->ReadWeakUndeclaredIdentifiers(WI);
279 }
280 
283  for(size_t i = 0; i < Sources.size(); ++i)
284  Sources[i]->ReadUsedVTables(VTables);
285 }
286 
288  SmallVectorImpl<std::pair<ValueDecl*,
289  SourceLocation> > &Pending) {
290  for(size_t i = 0; i < Sources.size(); ++i)
291  Sources[i]->ReadPendingInstantiations(Pending);
292 }
293 
295  llvm::MapVector<const FunctionDecl *, std::unique_ptr<LateParsedTemplate>>
296  &LPTMap) {
297  for (size_t i = 0; i < Sources.size(); ++i)
298  Sources[i]->ReadLateParsedTemplates(LPTMap);
299 }
300 
302  const DeclarationNameInfo &Typo,
303  int LookupKind, Scope *S, CXXScopeSpec *SS,
305  DeclContext *MemberContext,
306  bool EnteringContext,
307  const ObjCObjectPointerType *OPT) {
308  for (size_t I = 0, E = Sources.size(); I < E; ++I) {
309  if (TypoCorrection C = Sources[I]->CorrectTypo(Typo, LookupKind, S, SS, CCC,
310  MemberContext,
311  EnteringContext, OPT))
312  return C;
313  }
314  return TypoCorrection();
315 }
316 
318  SourceLocation Loc, QualType T) {
319  for (size_t I = 0, E = Sources.size(); I < E; ++I) {
320  if (Sources[I]->MaybeDiagnoseMissingCompleteType(Loc, T))
321  return true;
322  }
323  return false;
324 }
FunctionDecl - An instance of this class is created to represent a function declaration or definition...
Definition: Decl.h:1698
Smart pointer class that efficiently represents Objective-C method names.
A (possibly-)qualified type.
Definition: Type.h:653
Simple class containing the result of Sema::CorrectTypo.
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs...
Definition: ASTConsumer.h:34
void completeVisibleDeclsMap(const DeclContext *DC) override
Ensures that the table of all visible declarations inside this context is up to date.
Stmt - This represents one statement.
Definition: Stmt.h:66
void StartTranslationUnit(ASTConsumer *Consumer) override
Function that will be invoked when we begin parsing a new translation unit involving this external AS...
void StartedDeserializing() override
Notify ExternalASTSource that we started deserialization of a decl or type so until FinishedDeseriali...
void ReadMethodPool(Selector Sel) override
Load the contents of the global method pool for a given selector.
void FindExternalLexicalDecls(const DeclContext *DC, llvm::function_ref< bool(Decl::Kind)> IsKindWeWant, SmallVectorImpl< Decl *> &Result) override
Finds all declarations lexically contained within the given DeclContext, after applying an optional f...
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
void CompleteRedeclChain(const Decl *D) override
Complete the redeclaration chain if it&#39;s been extended since the previous generation of the AST sourc...
bool FindExternalVisibleDeclsByName(const DeclContext *DC, DeclarationName Name) override
Find all declarations with the given name in the given context.
RecordDecl - Represents a struct/union/class.
Definition: Decl.h:3482
bool LookupUnqualified(LookupResult &R, Scope *S) override
Do last resort, unqualified lookup on a LookupResult that Sema cannot find.
Base class for callback objects used by Sema::CorrectTypo to check the validity of a potential typo c...
void InitializeSema(Sema &S) override
Initialize the semantic source with the Sema instance being used to perform semantic analysis on the ...
FieldDecl - An instance of this class is created by Sema::ActOnField to represent a member of a struc...
Definition: Decl.h:2461
void ReadKnownNamespaces(SmallVectorImpl< NamespaceDecl *> &Namespaces) override
Load the set of namespaces that are known to the external source, which will be used during typo corr...
void ReadWeakUndeclaredIdentifiers(SmallVectorImpl< std::pair< IdentifierInfo *, WeakInfo > > &WI) override
Read the set of weak, undeclared identifiers known to the external Sema source.
Represents the results of name lookup.
Definition: Lookup.h:32
Stmt * GetExternalDeclStmt(uint64_t Offset) override
Resolve the offset of a statement in the decl stream into a statement.
uint32_t Offset
Definition: CacheTokens.cpp:43
bool layoutRecordType(const RecordDecl *Record, uint64_t &Size, uint64_t &Alignment, llvm::DenseMap< const FieldDecl *, uint64_t > &FieldOffsets, llvm::DenseMap< const CXXRecordDecl *, CharUnits > &BaseOffsets, llvm::DenseMap< const CXXRecordDecl *, CharUnits > &VirtualBaseOffsets) override
Perform layout on the given record.
Scope - A scope is a transient data structure that is used while parsing the program.
Definition: Scope.h:39
uint32_t GetNumExternalSelectors() override
Returns the number of selectors known to the external AST source.
Represents a C++ nested-name-specifier or a global scope specifier.
Definition: DeclSpec.h:63
Decl * GetExternalDecl(uint32_t ID) override
Resolve a declaration ID into a declaration, potentially building a new declaration.
TypoCorrection CorrectTypo(const DeclarationNameInfo &Typo, int LookupKind, Scope *S, CXXScopeSpec *SS, CorrectionCandidateCallback &CCC, DeclContext *MemberContext, bool EnteringContext, const ObjCObjectPointerType *OPT) override
Try to "correct" a typo in the source code by finding visible declarations whose names are similar to...
Represents an ObjC class declaration.
Definition: DeclObjC.h:1191
ExtKind hasExternalDefinitions(const Decl *D) override
void FindFileRegionDecls(FileID File, unsigned Offset, unsigned Length, SmallVectorImpl< Decl *> &Decls) override
Get the decls that are contained in a file in the Offset/Length range.
Sema - This implements semantic analysis and AST building for C.
Definition: Sema.h:274
void ReadExtVectorDecls(SmallVectorImpl< TypedefNameDecl *> &Decls) override
Read the set of ext_vector type declarations known to the external Sema source.
void ForgetSema() override
Inform the semantic consumer that Sema is no longer available.
ValueDecl - Represent the declaration of a variable (in which case it is an lvalue) a function (in wh...
Definition: Decl.h:628
void updateOutOfDateSelector(Selector Sel) override
Load the contents of the global method pool for a given selector if necessary.
const FunctionProtoType * T
void FinishedDeserializing() override
Notify ExternalASTSource that we finished the deserialization of a decl or type.
void CompleteType(TagDecl *Tag) override
Gives the external AST source an opportunity to complete an incomplete type.
void PrintStats() override
Print any statistics that have been gathered regarding the external AST source.
void ReadUsedVTables(SmallVectorImpl< ExternalVTableUse > &VTables) override
Read the set of used vtables known to the external Sema source.
CXXCtorInitializer ** GetExternalCXXCtorInitializers(uint64_t Offset) override
Resolve a handle to a list of ctor initializers into the list of initializers themselves.
void ReadTentativeDefinitions(SmallVectorImpl< VarDecl *> &Defs) override
Read the set of tentative definitions known to the external Sema source.
The result type of a method or function.
MemoryBufferSizes getMemoryBufferSizes() const
Return the amount of memory used by memory buffers, breaking down by heap-backed versus mmap&#39;ed memor...
void ReadPendingInstantiations(SmallVectorImpl< std::pair< ValueDecl *, SourceLocation > > &Pending) override
Read the set of pending instantiations known to the external Sema source.
void ReadMismatchingDeleteExpressions(llvm::MapVector< FieldDecl *, llvm::SmallVector< std::pair< SourceLocation, bool >, 4 >> &Exprs) override
An abstract interface that should be implemented by external AST sources that also provide informatio...
void ReadUnusedLocalTypedefNameCandidates(llvm::SmallSetVector< const TypedefNameDecl *, 4 > &Decls) override
Read the set of potentially unused typedefs known to the source.
Encodes a location in the source.
TagDecl - Represents the declaration of a struct/union/class/enum.
Definition: Decl.h:2938
void ReadDelegatingConstructors(SmallVectorImpl< CXXConstructorDecl *> &Decls) override
Read the set of delegating constructors known to the external Sema source.
void ReadReferencedSelectors(SmallVectorImpl< std::pair< Selector, SourceLocation > > &Sels) override
Read the set of referenced selectors known to the external Sema source.
void ReadUnusedFileScopedDecls(SmallVectorImpl< const DeclaratorDecl *> &Decls) override
Read the set of unused file-scope declarations known to the external Sema source. ...
CXXBaseSpecifier * GetExternalCXXBaseSpecifiers(uint64_t Offset) override
Resolve the offset of a set of C++ base specifiers in the decl stream into an array of specifiers...
MultiplexExternalSemaSource(ExternalSemaSource &s1, ExternalSemaSource &s2)
Constructs a new multiplexing external sema source and appends the given element to it...
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
Dataflow Directional Tag Classes.
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Definition: DeclBase.h:1252
DeclarationName - The name of a declaration.
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspnd...
void ReadUndefinedButUsed(llvm::MapVector< NamedDecl *, SourceLocation > &Undefined) override
Load the set of used but not defined functions or variables with internal linkage, or used but not defined inline functions.
void ReadLateParsedTemplates(llvm::MapVector< const FunctionDecl *, std::unique_ptr< LateParsedTemplate >> &LPTMap) override
Read the set of late parsed template functions for this source.
Represents a pointer to an Objective C object.
Definition: Type.h:5442
Represents a C++ base or member initializer.
Definition: DeclCXX.h:2172
void addSource(ExternalSemaSource &source)
Appends new source to the source list.
Represents a base class of a C++ class.
Definition: DeclCXX.h:191
void ReadComments() override
Loads comment ranges.
bool isNull() const
Determine whether this is the empty selector.
Selector GetExternalSelector(uint32_t ID) override
Resolve a selector ID into a selector.
Kind
Lists the kind of concrete classes of Decl.
Definition: DeclBase.h:89
bool MaybeDiagnoseMissingCompleteType(SourceLocation Loc, QualType T) override
Produces a diagnostic note if one of the attached sources contains a complete definition for T...
bool empty() const
Return true if no decls were found.
Definition: Lookup.h:342