clang  7.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 ///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 ///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  for (size_t i = 0; i < Sources.size(); ++i)
169  if (auto M = Sources[i]->getModule(ID))
170  return M;
171  return nullptr;
172 }
173 
175  uint64_t &Size,
176  uint64_t &Alignment,
177  llvm::DenseMap<const FieldDecl *, uint64_t> &FieldOffsets,
178  llvm::DenseMap<const CXXRecordDecl *, CharUnits> &BaseOffsets,
179  llvm::DenseMap<const CXXRecordDecl *, CharUnits> &VirtualBaseOffsets){
180  for(size_t i = 0; i < Sources.size(); ++i)
181  if (Sources[i]->layoutRecordType(Record, Size, Alignment, FieldOffsets,
182  BaseOffsets, VirtualBaseOffsets))
183  return true;
184  return false;
185 }
186 
189  for(size_t i = 0; i < Sources.size(); ++i)
190  Sources[i]->getMemoryBufferSizes(sizes);
191 
192 }
193 
194 //===----------------------------------------------------------------------===//
195 // ExternalSemaSource.
196 //===----------------------------------------------------------------------===//
197 
198 
200  for(size_t i = 0; i < Sources.size(); ++i)
201  Sources[i]->InitializeSema(S);
202 }
203 
205  for(size_t i = 0; i < Sources.size(); ++i)
206  Sources[i]->ForgetSema();
207 }
208 
210  for(size_t i = 0; i < Sources.size(); ++i)
211  Sources[i]->ReadMethodPool(Sel);
212 }
213 
215  for(size_t i = 0; i < Sources.size(); ++i)
216  Sources[i]->updateOutOfDateSelector(Sel);
217 }
218 
220  SmallVectorImpl<NamespaceDecl*> &Namespaces){
221  for(size_t i = 0; i < Sources.size(); ++i)
222  Sources[i]->ReadKnownNamespaces(Namespaces);
223 }
224 
226  llvm::MapVector<NamedDecl *, SourceLocation> &Undefined) {
227  for(size_t i = 0; i < Sources.size(); ++i)
228  Sources[i]->ReadUndefinedButUsed(Undefined);
229 }
230 
232  llvm::MapVector<FieldDecl *,
233  llvm::SmallVector<std::pair<SourceLocation, bool>, 4>> &
234  Exprs) {
235  for (auto &Source : Sources)
236  Source->ReadMismatchingDeleteExpressions(Exprs);
237 }
238 
240  for(size_t i = 0; i < Sources.size(); ++i)
241  Sources[i]->LookupUnqualified(R, S);
242 
243  return !R.empty();
244 }
245 
247  SmallVectorImpl<VarDecl*> &TentativeDefs) {
248  for(size_t i = 0; i < Sources.size(); ++i)
249  Sources[i]->ReadTentativeDefinitions(TentativeDefs);
250 }
251 
254  for(size_t i = 0; i < Sources.size(); ++i)
255  Sources[i]->ReadUnusedFileScopedDecls(Decls);
256 }
257 
260  for(size_t i = 0; i < Sources.size(); ++i)
261  Sources[i]->ReadDelegatingConstructors(Decls);
262 }
263 
266  for(size_t i = 0; i < Sources.size(); ++i)
267  Sources[i]->ReadExtVectorDecls(Decls);
268 }
269 
272  for(size_t i = 0; i < Sources.size(); ++i)
273  Sources[i]->ReadUnusedLocalTypedefNameCandidates(Decls);
274 }
275 
277  SmallVectorImpl<std::pair<Selector, SourceLocation> > &Sels) {
278  for(size_t i = 0; i < Sources.size(); ++i)
279  Sources[i]->ReadReferencedSelectors(Sels);
280 }
281 
283  SmallVectorImpl<std::pair<IdentifierInfo*, WeakInfo> > &WI) {
284  for(size_t i = 0; i < Sources.size(); ++i)
285  Sources[i]->ReadWeakUndeclaredIdentifiers(WI);
286 }
287 
290  for(size_t i = 0; i < Sources.size(); ++i)
291  Sources[i]->ReadUsedVTables(VTables);
292 }
293 
295  SmallVectorImpl<std::pair<ValueDecl*,
296  SourceLocation> > &Pending) {
297  for(size_t i = 0; i < Sources.size(); ++i)
298  Sources[i]->ReadPendingInstantiations(Pending);
299 }
300 
302  llvm::MapVector<const FunctionDecl *, std::unique_ptr<LateParsedTemplate>>
303  &LPTMap) {
304  for (size_t i = 0; i < Sources.size(); ++i)
305  Sources[i]->ReadLateParsedTemplates(LPTMap);
306 }
307 
309  const DeclarationNameInfo &Typo,
310  int LookupKind, Scope *S, CXXScopeSpec *SS,
313  bool EnteringContext,
314  const ObjCObjectPointerType *OPT) {
315  for (size_t I = 0, E = Sources.size(); I < E; ++I) {
316  if (TypoCorrection C = Sources[I]->CorrectTypo(Typo, LookupKind, S, SS, CCC,
317  MemberContext,
318  EnteringContext, OPT))
319  return C;
320  }
321  return TypoCorrection();
322 }
323 
325  SourceLocation Loc, QualType T) {
326  for (size_t I = 0, E = Sources.size(); I < E; ++I) {
327  if (Sources[I]->MaybeDiagnoseMissingCompleteType(Loc, T))
328  return true;
329  }
330  return false;
331 }
Represents a function declaration or definition.
Definition: Decl.h:1714
Smart pointer class that efficiently represents Objective-C method names.
A (possibly-)qualified type.
Definition: Type.h:654
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
Module * getModule(unsigned ID) override
Retrieve the module that corresponds to the given module ID.
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.
Represents a struct/union/class.
Definition: Decl.h:3548
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 ...
Represents a member of a struct/union/class.
Definition: Decl.h:2521
Describes a module or submodule.
Definition: Module.h:65
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:47
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:40
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:276
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.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:636
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.
Represents the declaration of a struct/union/class/enum.
Definition: Decl.h:3006
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:1262
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:5526
Represents a C++ base or member initializer.
Definition: DeclCXX.h:2223
void addSource(ExternalSemaSource &source)
Appends new source to the source list.
Represents a base class of a C++ class.
Definition: DeclCXX.h:192
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:328