clang 20.0.0git
MultiplexExternalSemaSource.cpp
Go to the documentation of this file.
1//===--- MultiplexExternalSemaSource.cpp ---------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the event dispatching to the subscribed clients.
10//
11//===----------------------------------------------------------------------===//
13#include "clang/Sema/Lookup.h"
14
15using namespace clang;
16
17char MultiplexExternalSemaSource::ID;
18
19/// Constructs a new multiplexing external sema source and appends the
20/// given element to it.
21///
24 S1->Retain();
25 S2->Retain();
26 Sources.push_back(S1);
27 Sources.push_back(S2);
28}
29
30// pin the vtable here.
32 for (auto *S : Sources)
33 S->Release();
34}
35
36/// Appends new source to the source list.
37///
38///\param[in] source - An ExternalSemaSource.
39///
41 Source->Retain();
42 Sources.push_back(Source);
43}
44
45//===----------------------------------------------------------------------===//
46// ExternalASTSource.
47//===----------------------------------------------------------------------===//
48
50 for(size_t i = 0; i < Sources.size(); ++i)
51 if (Decl *Result = Sources[i]->GetExternalDecl(ID))
52 return Result;
53 return nullptr;
54}
55
57 for (size_t i = 0; i < Sources.size(); ++i)
58 Sources[i]->CompleteRedeclChain(D);
59}
60
62 Selector Sel;
63 for(size_t i = 0; i < Sources.size(); ++i) {
64 Sel = Sources[i]->GetExternalSelector(ID);
65 if (!Sel.isNull())
66 return Sel;
67 }
68 return Sel;
69}
70
72 uint32_t total = 0;
73 for(size_t i = 0; i < Sources.size(); ++i)
74 total += Sources[i]->GetNumExternalSelectors();
75 return total;
76}
77
79 for(size_t i = 0; i < Sources.size(); ++i)
80 if (Stmt *Result = Sources[i]->GetExternalDeclStmt(Offset))
81 return Result;
82 return nullptr;
83}
84
86 uint64_t Offset){
87 for(size_t i = 0; i < Sources.size(); ++i)
88 if (CXXBaseSpecifier *R = Sources[i]->GetExternalCXXBaseSpecifiers(Offset))
89 return R;
90 return nullptr;
91}
92
95 for (auto *S : Sources)
96 if (auto *R = S->GetExternalCXXCtorInitializers(Offset))
97 return R;
98 return nullptr;
99}
100
103 for (const auto &S : Sources)
104 if (auto EK = S->hasExternalDefinitions(D))
105 if (EK != EK_ReplyHazy)
106 return EK;
107 return EK_ReplyHazy;
108}
109
112 bool AnyDeclsFound = false;
113 for (size_t i = 0; i < Sources.size(); ++i)
114 AnyDeclsFound |= Sources[i]->FindExternalVisibleDeclsByName(DC, Name);
115 return AnyDeclsFound;
116}
117
119 const Decl *D, bool OnlyPartial) {
120 bool Loaded = false;
121 for (size_t i = 0; i < Sources.size(); ++i)
122 Loaded |= Sources[i]->LoadExternalSpecializations(D, OnlyPartial);
123 return Loaded;
124}
125
127 const Decl *D, ArrayRef<TemplateArgument> TemplateArgs) {
128 bool AnyNewSpecsLoaded = false;
129 for (size_t i = 0; i < Sources.size(); ++i)
130 AnyNewSpecsLoaded |=
131 Sources[i]->LoadExternalSpecializations(D, TemplateArgs);
132 return AnyNewSpecsLoaded;
133}
134
136 for(size_t i = 0; i < Sources.size(); ++i)
137 Sources[i]->completeVisibleDeclsMap(DC);
138}
139
141 const DeclContext *DC, llvm::function_ref<bool(Decl::Kind)> IsKindWeWant,
143 for(size_t i = 0; i < Sources.size(); ++i)
144 Sources[i]->FindExternalLexicalDecls(DC, IsKindWeWant, Result);
145}
146
148 unsigned Offset,
149 unsigned Length,
151 for(size_t i = 0; i < Sources.size(); ++i)
152 Sources[i]->FindFileRegionDecls(File, Offset, Length, Decls);
153}
154
156 for(size_t i = 0; i < Sources.size(); ++i)
157 Sources[i]->CompleteType(Tag);
158}
159
161 for(size_t i = 0; i < Sources.size(); ++i)
162 Sources[i]->CompleteType(Class);
163}
164
166 for(size_t i = 0; i < Sources.size(); ++i)
167 Sources[i]->ReadComments();
168}
169
171 for(size_t i = 0; i < Sources.size(); ++i)
172 Sources[i]->StartedDeserializing();
173}
174
176 for(size_t i = 0; i < Sources.size(); ++i)
177 Sources[i]->FinishedDeserializing();
178}
179
181 for(size_t i = 0; i < Sources.size(); ++i)
182 Sources[i]->StartTranslationUnit(Consumer);
183}
184
186 for(size_t i = 0; i < Sources.size(); ++i)
187 Sources[i]->PrintStats();
188}
189
191 for (size_t i = 0; i < Sources.size(); ++i)
192 if (auto M = Sources[i]->getModule(ID))
193 return M;
194 return nullptr;
195}
196
198 uint64_t &Size,
199 uint64_t &Alignment,
200 llvm::DenseMap<const FieldDecl *, uint64_t> &FieldOffsets,
201 llvm::DenseMap<const CXXRecordDecl *, CharUnits> &BaseOffsets,
202 llvm::DenseMap<const CXXRecordDecl *, CharUnits> &VirtualBaseOffsets){
203 for(size_t i = 0; i < Sources.size(); ++i)
204 if (Sources[i]->layoutRecordType(Record, Size, Alignment, FieldOffsets,
205 BaseOffsets, VirtualBaseOffsets))
206 return true;
207 return false;
208}
209
212 for(size_t i = 0; i < Sources.size(); ++i)
213 Sources[i]->getMemoryBufferSizes(sizes);
214
215}
216
217//===----------------------------------------------------------------------===//
218// ExternalSemaSource.
219//===----------------------------------------------------------------------===//
220
221
223 for(size_t i = 0; i < Sources.size(); ++i)
224 Sources[i]->InitializeSema(S);
225}
226
228 for(size_t i = 0; i < Sources.size(); ++i)
229 Sources[i]->ForgetSema();
230}
231
233 for(size_t i = 0; i < Sources.size(); ++i)
234 Sources[i]->ReadMethodPool(Sel);
235}
236
238 for(size_t i = 0; i < Sources.size(); ++i)
239 Sources[i]->updateOutOfDateSelector(Sel);
240}
241
244 for(size_t i = 0; i < Sources.size(); ++i)
245 Sources[i]->ReadKnownNamespaces(Namespaces);
246}
247
249 llvm::MapVector<NamedDecl *, SourceLocation> &Undefined) {
250 for(size_t i = 0; i < Sources.size(); ++i)
251 Sources[i]->ReadUndefinedButUsed(Undefined);
252}
253
255 llvm::MapVector<FieldDecl *,
256 llvm::SmallVector<std::pair<SourceLocation, bool>, 4>> &
257 Exprs) {
258 for (auto &Source : Sources)
259 Source->ReadMismatchingDeleteExpressions(Exprs);
260}
261
263 for(size_t i = 0; i < Sources.size(); ++i)
264 Sources[i]->LookupUnqualified(R, S);
265
266 return !R.empty();
267}
268
270 SmallVectorImpl<VarDecl*> &TentativeDefs) {
271 for(size_t i = 0; i < Sources.size(); ++i)
272 Sources[i]->ReadTentativeDefinitions(TentativeDefs);
273}
274
277 for(size_t i = 0; i < Sources.size(); ++i)
278 Sources[i]->ReadUnusedFileScopedDecls(Decls);
279}
280
283 for(size_t i = 0; i < Sources.size(); ++i)
284 Sources[i]->ReadDelegatingConstructors(Decls);
285}
286
289 for(size_t i = 0; i < Sources.size(); ++i)
290 Sources[i]->ReadExtVectorDecls(Decls);
291}
292
295 for(size_t i = 0; i < Sources.size(); ++i)
296 Sources[i]->ReadDeclsToCheckForDeferredDiags(Decls);
297}
298
301 for(size_t i = 0; i < Sources.size(); ++i)
302 Sources[i]->ReadUnusedLocalTypedefNameCandidates(Decls);
303}
304
306 SmallVectorImpl<std::pair<Selector, SourceLocation> > &Sels) {
307 for(size_t i = 0; i < Sources.size(); ++i)
308 Sources[i]->ReadReferencedSelectors(Sels);
309}
310
312 SmallVectorImpl<std::pair<IdentifierInfo*, WeakInfo> > &WI) {
313 for(size_t i = 0; i < Sources.size(); ++i)
314 Sources[i]->ReadWeakUndeclaredIdentifiers(WI);
315}
316
319 for(size_t i = 0; i < Sources.size(); ++i)
320 Sources[i]->ReadUsedVTables(VTables);
321}
322
324 SmallVectorImpl<std::pair<ValueDecl*,
325 SourceLocation> > &Pending) {
326 for(size_t i = 0; i < Sources.size(); ++i)
327 Sources[i]->ReadPendingInstantiations(Pending);
328}
329
331 llvm::MapVector<const FunctionDecl *, std::unique_ptr<LateParsedTemplate>>
332 &LPTMap) {
333 for (size_t i = 0; i < Sources.size(); ++i)
334 Sources[i]->ReadLateParsedTemplates(LPTMap);
335}
336
338 const DeclarationNameInfo &Typo,
339 int LookupKind, Scope *S, CXXScopeSpec *SS,
341 DeclContext *MemberContext,
342 bool EnteringContext,
343 const ObjCObjectPointerType *OPT) {
344 for (size_t I = 0, E = Sources.size(); I < E; ++I) {
345 if (TypoCorrection C = Sources[I]->CorrectTypo(Typo, LookupKind, S, SS, CCC,
346 MemberContext,
347 EnteringContext, OPT))
348 return C;
349 }
350 return TypoCorrection();
351}
352
355 for (size_t I = 0, E = Sources.size(); I < E; ++I) {
356 if (Sources[I]->MaybeDiagnoseMissingCompleteType(Loc, T))
357 return true;
358 }
359 return false;
360}
361
363 CXXRecordDecl *Lambda) {
364 for (auto *Source : Sources)
365 Source->AssignedLambdaNumbering(Lambda);
366}
const Decl * D
Expr * E
llvm::MachO::Record Record
Definition: MachO.h:31
SourceLocation Loc
Definition: SemaObjC.cpp:759
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
Definition: ASTConsumer.h:34
Represents a base class of a C++ class.
Definition: DeclCXX.h:146
Represents a C++ base or member initializer.
Definition: DeclCXX.h:2318
Represents a C++ struct/union/class.
Definition: DeclCXX.h:258
Represents a C++ nested-name-specifier or a global scope specifier.
Definition: DeclSpec.h:74
Base class for callback objects used by Sema::CorrectTypo to check the validity of a potential typo c...
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Definition: DeclBase.h:1435
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
Kind
Lists the kind of concrete classes of Decl.
Definition: DeclBase.h:89
The name of a declaration.
MemoryBufferSizes getMemoryBufferSizes() const
Return the amount of memory used by memory buffers, breaking down by heap-backed versus mmap'ed memor...
An abstract interface that should be implemented by external AST sources that also provide informatio...
Represents a member of a struct/union/class.
Definition: Decl.h:3033
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
Represents a function declaration or definition.
Definition: Decl.h:1935
Represents the results of name lookup.
Definition: Lookup.h:46
bool empty() const
Return true if no decls were found.
Definition: Lookup.h:362
Describes a module or submodule.
Definition: Module.h:115
void ReadLateParsedTemplates(llvm::MapVector< const FunctionDecl *, std::unique_ptr< LateParsedTemplate > > &LPTMap) override
Read the set of late parsed template functions for this source.
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.
bool LoadExternalSpecializations(const Decl *D, bool OnlyPartial) override
Load all the external specializations for the Decl.
void updateOutOfDateSelector(Selector Sel) override
Load the contents of the global method pool for a given selector if necessary.
Stmt * GetExternalDeclStmt(uint64_t Offset) override
Resolve the offset of a statement in the decl stream into a statement.
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...
bool LookupUnqualified(LookupResult &R, Scope *S) override
Do last resort, unqualified lookup on a LookupResult that Sema cannot find.
void ReadDelegatingConstructors(SmallVectorImpl< CXXConstructorDecl * > &Decls) override
Read the set of delegating constructors known to the external Sema source.
ExtKind hasExternalDefinitions(const Decl *D) override
void ReadMismatchingDeleteExpressions(llvm::MapVector< FieldDecl *, llvm::SmallVector< std::pair< SourceLocation, bool >, 4 > > &Exprs) override
void ReadUnusedFileScopedDecls(SmallVectorImpl< const DeclaratorDecl * > &Decls) override
Read the set of unused file-scope declarations known to the external Sema source.
void ReadDeclsToCheckForDeferredDiags(llvm::SmallSetVector< Decl *, 4 > &Decls) override
Read the set of decls to be checked for deferred diags.
Selector GetExternalSelector(uint32_t ID) override
Resolve a selector ID into a selector.
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.
void ReadTentativeDefinitions(SmallVectorImpl< VarDecl * > &Defs) override
Read the set of tentative definitions known to the external Sema source.
void ReadUndefinedButUsed(llvm::MapVector< NamedDecl *, SourceLocation > &Undefined) override
Load the set of used but not defined functions or variables with internal linkage,...
void ReadComments() override
Loads comment ranges.
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...
void PrintStats() override
Print any statistics that have been gathered regarding the external AST source.
void ReadExtVectorDecls(SmallVectorImpl< TypedefNameDecl * > &Decls) override
Read the set of ext_vector type declarations known to the external Sema source.
void ReadUnusedLocalTypedefNameCandidates(llvm::SmallSetVector< const TypedefNameDecl *, 4 > &Decls) override
Read the set of potentially unused typedefs known to the source.
void ReadWeakUndeclaredIdentifiers(SmallVectorImpl< std::pair< IdentifierInfo *, WeakInfo > > &WI) override
Read the set of weak, undeclared identifiers known to the external Sema source.
void AssignedLambdaNumbering(CXXRecordDecl *Lambda) override
Notify the external source that a lambda was assigned a mangling number.
CXXCtorInitializer ** GetExternalCXXCtorInitializers(uint64_t Offset) override
Resolve a handle to a list of ctor initializers into the list of initializers themselves.
void CompleteType(TagDecl *Tag) override
Gives the external AST source an opportunity to complete an incomplete type.
void ReadUsedVTables(SmallVectorImpl< ExternalVTableUse > &VTables) override
Read the set of used vtables known to the external Sema source.
MultiplexExternalSemaSource(ExternalSemaSource *S1, ExternalSemaSource *S2)
Constructs a new multiplexing external sema source and appends the given element to it.
void StartedDeserializing() override
Notify ExternalASTSource that we started deserialization of a decl or type so until FinishedDeseriali...
void FinishedDeserializing() override
Notify ExternalASTSource that we finished the deserialization of a decl or type.
bool MaybeDiagnoseMissingCompleteType(SourceLocation Loc, QualType T) override
Produces a diagnostic note if one of the attached sources contains a complete definition for T.
bool FindExternalVisibleDeclsByName(const DeclContext *DC, DeclarationName Name) override
Find all declarations with the given name in the given context.
void ReadMethodPool(Selector Sel) override
Load the contents of the global method pool for a given selector.
void InitializeSema(Sema &S) override
Initialize the semantic source with the Sema instance being used to perform semantic analysis on the ...
void CompleteRedeclChain(const Decl *D) override
Complete the redeclaration chain if it's been extended since the previous generation of the AST sourc...
Decl * GetExternalDecl(GlobalDeclID ID) override
Resolve a declaration ID into a declaration, potentially building a new declaration.
void completeVisibleDeclsMap(const DeclContext *DC) override
Ensures that the table of all visible declarations inside this context is up to date.
uint32_t GetNumExternalSelectors() override
Returns the number of selectors known to the external AST source.
void ReadReferencedSelectors(SmallVectorImpl< std::pair< Selector, SourceLocation > > &Sels) override
Read the set of referenced selectors known to the external Sema source.
void StartTranslationUnit(ASTConsumer *Consumer) override
Function that will be invoked when we begin parsing a new translation unit involving this external AS...
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.
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...
Module * getModule(unsigned ID) override
Retrieve the module that corresponds to the given module ID.
void ReadPendingInstantiations(SmallVectorImpl< std::pair< ValueDecl *, SourceLocation > > &Pending) override
Read the set of pending instantiations known to the external Sema source.
void AddSource(ExternalSemaSource *Source)
Appends new source to the source list.
void ForgetSema() override
Inform the semantic consumer that Sema is no longer available.
Represents an ObjC class declaration.
Definition: DeclObjC.h:1153
Represents a pointer to an Objective C object.
Definition: Type.h:7580
A (possibly-)qualified type.
Definition: Type.h:929
Represents a struct/union/class.
Definition: Decl.h:4148
Scope - A scope is a transient data structure that is used while parsing the program.
Definition: Scope.h:41
Smart pointer class that efficiently represents Objective-C method names.
bool isNull() const
Determine whether this is the empty selector.
Sema - This implements semantic analysis and AST building for C.
Definition: Sema.h:463
Encodes a location in the source.
Stmt - This represents one statement.
Definition: Stmt.h:84
Represents the declaration of a struct/union/class/enum.
Definition: Decl.h:3564
Simple class containing the result of Sema::CorrectTypo.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:671
The JSON file list parser is used to communicate input to InstallAPI.
@ Result
The result type of a method or function.
const FunctionProtoType * T
@ Class
The "class" keyword introduces the elaborated-type-specifier.
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...