1327952Sdim//===- Registry.cpp - Matcher registry ------------------------------------===//
2259701Sdim//
3353358Sdim// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4353358Sdim// See https://llvm.org/LICENSE.txt for license information.
5353358Sdim// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6259701Sdim//
7327952Sdim//===----------------------------------------------------------------------===//
8327952Sdim//
9259701Sdim/// \file
10341825Sdim/// Registry map populated at static initialization time.
11327952Sdim//
12327952Sdim//===----------------------------------------------------------------------===//
13259701Sdim
14259701Sdim#include "clang/ASTMatchers/Dynamic/Registry.h"
15259701Sdim#include "Marshallers.h"
16327952Sdim#include "clang/AST/ASTTypeTraits.h"
17259701Sdim#include "clang/ASTMatchers/ASTMatchers.h"
18327952Sdim#include "clang/ASTMatchers/Dynamic/Diagnostics.h"
19327952Sdim#include "clang/ASTMatchers/Dynamic/VariantValue.h"
20327952Sdim#include "llvm/ADT/Optional.h"
21296417Sdim#include "llvm/ADT/STLExtras.h"
22259701Sdim#include "llvm/ADT/StringMap.h"
23259701Sdim#include "llvm/ADT/StringRef.h"
24259701Sdim#include "llvm/Support/ManagedStatic.h"
25327952Sdim#include "llvm/Support/raw_ostream.h"
26327952Sdim#include <cassert>
27327952Sdim#include <iterator>
28327952Sdim#include <memory>
29276479Sdim#include <set>
30327952Sdim#include <string>
31276479Sdim#include <utility>
32327952Sdim#include <vector>
33259701Sdim
34276479Sdimusing namespace clang::ast_type_traits;
35276479Sdim
36259701Sdimnamespace clang {
37259701Sdimnamespace ast_matchers {
38259701Sdimnamespace dynamic {
39327952Sdim
40259701Sdimnamespace {
41259701Sdim
42276479Sdimusing internal::MatcherDescriptor;
43259701Sdim
44360784Sdimusing ConstructorMap =
45360784Sdim    llvm::StringMap<std::unique_ptr<const MatcherDescriptor>>;
46327952Sdim
47259701Sdimclass RegistryMaps {
48259701Sdimpublic:
49259701Sdim  RegistryMaps();
50259701Sdim  ~RegistryMaps();
51259701Sdim
52259701Sdim  const ConstructorMap &constructors() const { return Constructors; }
53259701Sdim
54259701Sdimprivate:
55314564Sdim  void registerMatcher(StringRef MatcherName,
56314564Sdim                       std::unique_ptr<MatcherDescriptor> Callback);
57314564Sdim
58259701Sdim  ConstructorMap Constructors;
59259701Sdim};
60259701Sdim
61327952Sdim} // namespace
62327952Sdim
63314564Sdimvoid RegistryMaps::registerMatcher(
64314564Sdim    StringRef MatcherName, std::unique_ptr<MatcherDescriptor> Callback) {
65259701Sdim  assert(Constructors.find(MatcherName) == Constructors.end());
66314564Sdim  Constructors[MatcherName] = std::move(Callback);
67259701Sdim}
68259701Sdim
69259701Sdim#define REGISTER_MATCHER(name)                                                 \
70259701Sdim  registerMatcher(#name, internal::makeMatcherAutoMarshall(                    \
71259701Sdim                             ::clang::ast_matchers::name, #name));
72259701Sdim
73321369Sdim#define REGISTER_MATCHER_OVERLOAD(name)                                        \
74321369Sdim  registerMatcher(#name,                                                       \
75360784Sdim      std::make_unique<internal::OverloadedMatcherDescriptor>(name##Callbacks))
76321369Sdim
77259701Sdim#define SPECIFIC_MATCHER_OVERLOAD(name, Id)                                    \
78314564Sdim  static_cast<::clang::ast_matchers::name##_Type##Id>(                         \
79259701Sdim      ::clang::ast_matchers::name)
80259701Sdim
81321369Sdim#define MATCHER_OVERLOAD_ENTRY(name, Id)                                       \
82321369Sdim        internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, Id), \
83321369Sdim                                          #name)
84321369Sdim
85259701Sdim#define REGISTER_OVERLOADED_2(name)                                            \
86259701Sdim  do {                                                                         \
87321369Sdim    std::unique_ptr<MatcherDescriptor> name##Callbacks[] = {                   \
88321369Sdim        MATCHER_OVERLOAD_ENTRY(name, 0),                                       \
89321369Sdim        MATCHER_OVERLOAD_ENTRY(name, 1)};                                      \
90321369Sdim    REGISTER_MATCHER_OVERLOAD(name);                                           \
91327952Sdim  } while (false)
92259701Sdim
93341825Sdim/// Generate a registry map with all the known matchers.
94353358Sdim/// Please keep sorted alphabetically!
95259701SdimRegistryMaps::RegistryMaps() {
96259701Sdim  // TODO: Here is the list of the missing matchers, grouped by reason.
97259701Sdim  //
98259701Sdim  // Need Variant/Parser fixes:
99259701Sdim  // ofKind
100259701Sdim  //
101259701Sdim  // Polymorphic + argument overload:
102259701Sdim  // findAll
103259701Sdim  //
104259701Sdim  // Other:
105259701Sdim  // equalsNode
106259701Sdim
107259701Sdim  REGISTER_OVERLOADED_2(callee);
108360784Sdim  REGISTER_OVERLOADED_2(hasAnyCapture);
109259701Sdim  REGISTER_OVERLOADED_2(hasPrefix);
110259701Sdim  REGISTER_OVERLOADED_2(hasType);
111344779Sdim  REGISTER_OVERLOADED_2(ignoringParens);
112259701Sdim  REGISTER_OVERLOADED_2(isDerivedFrom);
113360784Sdim  REGISTER_OVERLOADED_2(isDirectlyDerivedFrom);
114259701Sdim  REGISTER_OVERLOADED_2(isSameOrDerivedFrom);
115276479Sdim  REGISTER_OVERLOADED_2(loc);
116259701Sdim  REGISTER_OVERLOADED_2(pointsTo);
117259701Sdim  REGISTER_OVERLOADED_2(references);
118259701Sdim  REGISTER_OVERLOADED_2(thisPointerType);
119259701Sdim
120321369Sdim  std::unique_ptr<MatcherDescriptor> equalsCallbacks[] = {
121321369Sdim      MATCHER_OVERLOAD_ENTRY(equals, 0),
122321369Sdim      MATCHER_OVERLOAD_ENTRY(equals, 1),
123321369Sdim      MATCHER_OVERLOAD_ENTRY(equals, 2),
124321369Sdim  };
125321369Sdim  REGISTER_MATCHER_OVERLOAD(equals);
126321369Sdim
127259701Sdim  REGISTER_MATCHER(accessSpecDecl);
128309124Sdim  REGISTER_MATCHER(addrLabelExpr);
129259701Sdim  REGISTER_MATCHER(alignOfExpr);
130259701Sdim  REGISTER_MATCHER(allOf);
131259701Sdim  REGISTER_MATCHER(anyOf);
132259701Sdim  REGISTER_MATCHER(anything);
133259701Sdim  REGISTER_MATCHER(argumentCountIs);
134259701Sdim  REGISTER_MATCHER(arraySubscriptExpr);
135259701Sdim  REGISTER_MATCHER(arrayType);
136353358Sdim  REGISTER_MATCHER(asString);
137280031Sdim  REGISTER_MATCHER(asmStmt);
138309124Sdim  REGISTER_MATCHER(atomicExpr);
139259701Sdim  REGISTER_MATCHER(atomicType);
140353358Sdim  REGISTER_MATCHER(autoType);
141344779Sdim  REGISTER_MATCHER(autoreleasePoolStmt)
142344779Sdim  REGISTER_MATCHER(binaryConditionalOperator);
143259701Sdim  REGISTER_MATCHER(binaryOperator);
144341825Sdim  REGISTER_MATCHER(blockDecl);
145344779Sdim  REGISTER_MATCHER(blockExpr);
146259701Sdim  REGISTER_MATCHER(blockPointerType);
147296417Sdim  REGISTER_MATCHER(booleanType);
148259701Sdim  REGISTER_MATCHER(breakStmt);
149259701Sdim  REGISTER_MATCHER(builtinType);
150353358Sdim  REGISTER_MATCHER(cStyleCastExpr);
151259701Sdim  REGISTER_MATCHER(callExpr);
152276479Sdim  REGISTER_MATCHER(caseStmt);
153259701Sdim  REGISTER_MATCHER(castExpr);
154259701Sdim  REGISTER_MATCHER(characterLiteral);
155353358Sdim  REGISTER_MATCHER(chooseExpr);
156259701Sdim  REGISTER_MATCHER(classTemplateDecl);
157259701Sdim  REGISTER_MATCHER(classTemplateSpecializationDecl);
158259701Sdim  REGISTER_MATCHER(complexType);
159259701Sdim  REGISTER_MATCHER(compoundLiteralExpr);
160259701Sdim  REGISTER_MATCHER(compoundStmt);
161259701Sdim  REGISTER_MATCHER(conditionalOperator);
162280031Sdim  REGISTER_MATCHER(constantArrayType);
163344779Sdim  REGISTER_MATCHER(constantExpr);
164259701Sdim  REGISTER_MATCHER(containsDeclaration);
165259701Sdim  REGISTER_MATCHER(continueStmt);
166296417Sdim  REGISTER_MATCHER(cudaKernelCallExpr);
167296417Sdim  REGISTER_MATCHER(cxxBindTemporaryExpr);
168296417Sdim  REGISTER_MATCHER(cxxBoolLiteral);
169296417Sdim  REGISTER_MATCHER(cxxCatchStmt);
170296417Sdim  REGISTER_MATCHER(cxxConstCastExpr);
171296417Sdim  REGISTER_MATCHER(cxxConstructExpr);
172296417Sdim  REGISTER_MATCHER(cxxConstructorDecl);
173296417Sdim  REGISTER_MATCHER(cxxConversionDecl);
174296417Sdim  REGISTER_MATCHER(cxxCtorInitializer);
175353358Sdim  REGISTER_MATCHER(cxxDeductionGuideDecl);
176296417Sdim  REGISTER_MATCHER(cxxDefaultArgExpr);
177296417Sdim  REGISTER_MATCHER(cxxDeleteExpr);
178344779Sdim  REGISTER_MATCHER(cxxDependentScopeMemberExpr);
179296417Sdim  REGISTER_MATCHER(cxxDestructorDecl);
180296417Sdim  REGISTER_MATCHER(cxxDynamicCastExpr);
181296417Sdim  REGISTER_MATCHER(cxxForRangeStmt);
182296417Sdim  REGISTER_MATCHER(cxxFunctionalCastExpr);
183296417Sdim  REGISTER_MATCHER(cxxMemberCallExpr);
184296417Sdim  REGISTER_MATCHER(cxxMethodDecl);
185296417Sdim  REGISTER_MATCHER(cxxNewExpr);
186296417Sdim  REGISTER_MATCHER(cxxNullPtrLiteralExpr);
187296417Sdim  REGISTER_MATCHER(cxxOperatorCallExpr);
188296417Sdim  REGISTER_MATCHER(cxxRecordDecl);
189296417Sdim  REGISTER_MATCHER(cxxReinterpretCastExpr);
190296417Sdim  REGISTER_MATCHER(cxxStaticCastExpr);
191321369Sdim  REGISTER_MATCHER(cxxStdInitializerListExpr);
192296417Sdim  REGISTER_MATCHER(cxxTemporaryObjectExpr);
193296417Sdim  REGISTER_MATCHER(cxxThisExpr);
194296417Sdim  REGISTER_MATCHER(cxxThrowExpr);
195296417Sdim  REGISTER_MATCHER(cxxTryStmt);
196296417Sdim  REGISTER_MATCHER(cxxUnresolvedConstructExpr);
197296417Sdim  REGISTER_MATCHER(decayedType);
198259701Sdim  REGISTER_MATCHER(decl);
199259701Sdim  REGISTER_MATCHER(declCountIs);
200259701Sdim  REGISTER_MATCHER(declRefExpr);
201259701Sdim  REGISTER_MATCHER(declStmt);
202353358Sdim  REGISTER_MATCHER(declaratorDecl);
203344779Sdim  REGISTER_MATCHER(decltypeType);
204276479Sdim  REGISTER_MATCHER(defaultStmt);
205259701Sdim  REGISTER_MATCHER(dependentSizedArrayType);
206309124Sdim  REGISTER_MATCHER(designatedInitExpr);
207309124Sdim  REGISTER_MATCHER(designatorCountIs);
208259701Sdim  REGISTER_MATCHER(doStmt);
209259701Sdim  REGISTER_MATCHER(eachOf);
210259701Sdim  REGISTER_MATCHER(elaboratedType);
211259701Sdim  REGISTER_MATCHER(enumConstantDecl);
212259701Sdim  REGISTER_MATCHER(enumDecl);
213309124Sdim  REGISTER_MATCHER(enumType);
214276479Sdim  REGISTER_MATCHER(equalsBoundNode);
215280031Sdim  REGISTER_MATCHER(equalsIntegralValue);
216259701Sdim  REGISTER_MATCHER(explicitCastExpr);
217259701Sdim  REGISTER_MATCHER(expr);
218276479Sdim  REGISTER_MATCHER(exprWithCleanups);
219259701Sdim  REGISTER_MATCHER(fieldDecl);
220259701Sdim  REGISTER_MATCHER(floatLiteral);
221259701Sdim  REGISTER_MATCHER(forEach);
222309124Sdim  REGISTER_MATCHER(forEachArgumentWithParam);
223276479Sdim  REGISTER_MATCHER(forEachConstructorInitializer);
224259701Sdim  REGISTER_MATCHER(forEachDescendant);
225327952Sdim  REGISTER_MATCHER(forEachOverridden);
226276479Sdim  REGISTER_MATCHER(forEachSwitchCase);
227259701Sdim  REGISTER_MATCHER(forField);
228309124Sdim  REGISTER_MATCHER(forFunction);
229259701Sdim  REGISTER_MATCHER(forStmt);
230276479Sdim  REGISTER_MATCHER(friendDecl);
231259701Sdim  REGISTER_MATCHER(functionDecl);
232309124Sdim  REGISTER_MATCHER(functionProtoType);
233259701Sdim  REGISTER_MATCHER(functionTemplateDecl);
234259701Sdim  REGISTER_MATCHER(functionType);
235309124Sdim  REGISTER_MATCHER(gnuNullExpr);
236259701Sdim  REGISTER_MATCHER(gotoStmt);
237259701Sdim  REGISTER_MATCHER(has);
238259701Sdim  REGISTER_MATCHER(hasAncestor);
239259701Sdim  REGISTER_MATCHER(hasAnyArgument);
240353358Sdim  REGISTER_MATCHER(hasAnyClause);
241259701Sdim  REGISTER_MATCHER(hasAnyConstructorInitializer);
242314564Sdim  REGISTER_MATCHER(hasAnyDeclaration);
243309124Sdim  REGISTER_MATCHER(hasAnyName);
244259701Sdim  REGISTER_MATCHER(hasAnyParameter);
245344779Sdim  REGISTER_MATCHER(hasAnySelector);
246259701Sdim  REGISTER_MATCHER(hasAnySubstatement);
247259701Sdim  REGISTER_MATCHER(hasAnyTemplateArgument);
248259701Sdim  REGISTER_MATCHER(hasAnyUsingShadowDecl);
249259701Sdim  REGISTER_MATCHER(hasArgument);
250259701Sdim  REGISTER_MATCHER(hasArgumentOfType);
251327952Sdim  REGISTER_MATCHER(hasArraySize);
252280031Sdim  REGISTER_MATCHER(hasAttr);
253296417Sdim  REGISTER_MATCHER(hasAutomaticStorageDuration);
254259701Sdim  REGISTER_MATCHER(hasBase);
255309124Sdim  REGISTER_MATCHER(hasBitWidth);
256259701Sdim  REGISTER_MATCHER(hasBody);
257259701Sdim  REGISTER_MATCHER(hasCanonicalType);
258276479Sdim  REGISTER_MATCHER(hasCaseConstant);
259309124Sdim  REGISTER_MATCHER(hasCastKind);
260259701Sdim  REGISTER_MATCHER(hasCondition);
261259701Sdim  REGISTER_MATCHER(hasConditionVariableStatement);
262296417Sdim  REGISTER_MATCHER(hasDecayedType);
263353358Sdim  REGISTER_MATCHER(hasDeclContext);
264280031Sdim  REGISTER_MATCHER(hasDeclaration);
265259701Sdim  REGISTER_MATCHER(hasDeducedType);
266327952Sdim  REGISTER_MATCHER(hasDefaultArgument);
267327952Sdim  REGISTER_MATCHER(hasDefinition);
268259701Sdim  REGISTER_MATCHER(hasDescendant);
269259701Sdim  REGISTER_MATCHER(hasDestinationType);
270309124Sdim  REGISTER_MATCHER(hasDynamicExceptionSpec);
271259701Sdim  REGISTER_MATCHER(hasEitherOperand);
272259701Sdim  REGISTER_MATCHER(hasElementType);
273280031Sdim  REGISTER_MATCHER(hasElse);
274353358Sdim  REGISTER_MATCHER(hasExplicitSpecifier);
275314564Sdim  REGISTER_MATCHER(hasExternalFormalLinkage);
276259701Sdim  REGISTER_MATCHER(hasFalseExpression);
277276479Sdim  REGISTER_MATCHER(hasGlobalStorage);
278259701Sdim  REGISTER_MATCHER(hasImplicitDestinationType);
279314564Sdim  REGISTER_MATCHER(hasInClassInitializer);
280259701Sdim  REGISTER_MATCHER(hasIncrement);
281259701Sdim  REGISTER_MATCHER(hasIndex);
282344779Sdim  REGISTER_MATCHER(hasInit);
283259701Sdim  REGISTER_MATCHER(hasInitializer);
284360784Sdim  REGISTER_MATCHER(hasInitStatement);
285288943Sdim  REGISTER_MATCHER(hasKeywordSelector);
286259701Sdim  REGISTER_MATCHER(hasLHS);
287259701Sdim  REGISTER_MATCHER(hasLocalQualifiers);
288276479Sdim  REGISTER_MATCHER(hasLocalStorage);
289259701Sdim  REGISTER_MATCHER(hasLoopInit);
290280031Sdim  REGISTER_MATCHER(hasLoopVariable);
291259701Sdim  REGISTER_MATCHER(hasMethod);
292259701Sdim  REGISTER_MATCHER(hasName);
293288943Sdim  REGISTER_MATCHER(hasNullSelector);
294259701Sdim  REGISTER_MATCHER(hasObjectExpression);
295259701Sdim  REGISTER_MATCHER(hasOperatorName);
296259701Sdim  REGISTER_MATCHER(hasOverloadedOperatorName);
297259701Sdim  REGISTER_MATCHER(hasParameter);
298259701Sdim  REGISTER_MATCHER(hasParent);
299259701Sdim  REGISTER_MATCHER(hasQualifier);
300353358Sdim  REGISTER_MATCHER(hasRHS);
301280031Sdim  REGISTER_MATCHER(hasRangeInit);
302341825Sdim  REGISTER_MATCHER(hasReceiver);
303288943Sdim  REGISTER_MATCHER(hasReceiverType);
304314564Sdim  REGISTER_MATCHER(hasReplacementType);
305309124Sdim  REGISTER_MATCHER(hasReturnValue);
306288943Sdim  REGISTER_MATCHER(hasSelector);
307259701Sdim  REGISTER_MATCHER(hasSingleDecl);
308259701Sdim  REGISTER_MATCHER(hasSize);
309259701Sdim  REGISTER_MATCHER(hasSizeExpr);
310259701Sdim  REGISTER_MATCHER(hasSourceExpression);
311344779Sdim  REGISTER_MATCHER(hasSpecializedTemplate);
312296417Sdim  REGISTER_MATCHER(hasStaticStorageDuration);
313353358Sdim  REGISTER_MATCHER(hasStructuredBlock);
314309124Sdim  REGISTER_MATCHER(hasSyntacticForm);
315259701Sdim  REGISTER_MATCHER(hasTargetDecl);
316259701Sdim  REGISTER_MATCHER(hasTemplateArgument);
317280031Sdim  REGISTER_MATCHER(hasThen);
318296417Sdim  REGISTER_MATCHER(hasThreadStorageDuration);
319341825Sdim  REGISTER_MATCHER(hasTrailingReturn);
320259701Sdim  REGISTER_MATCHER(hasTrueExpression);
321276479Sdim  REGISTER_MATCHER(hasTypeLoc);
322259701Sdim  REGISTER_MATCHER(hasUnaryOperand);
323288943Sdim  REGISTER_MATCHER(hasUnarySelector);
324314564Sdim  REGISTER_MATCHER(hasUnderlyingDecl);
325344779Sdim  REGISTER_MATCHER(hasUnderlyingType);
326314564Sdim  REGISTER_MATCHER(hasUnqualifiedDesugaredType);
327259701Sdim  REGISTER_MATCHER(hasValueType);
328259701Sdim  REGISTER_MATCHER(ifStmt);
329353358Sdim  REGISTER_MATCHER(ignoringElidableConstructorCall);
330344779Sdim  REGISTER_MATCHER(ignoringImpCasts);
331309124Sdim  REGISTER_MATCHER(ignoringImplicit);
332259701Sdim  REGISTER_MATCHER(ignoringParenCasts);
333259701Sdim  REGISTER_MATCHER(ignoringParenImpCasts);
334344779Sdim  REGISTER_MATCHER(imaginaryLiteral);
335259701Sdim  REGISTER_MATCHER(implicitCastExpr);
336309124Sdim  REGISTER_MATCHER(implicitValueInitExpr);
337259701Sdim  REGISTER_MATCHER(incompleteArrayType);
338353358Sdim  REGISTER_MATCHER(indirectFieldDecl);
339259701Sdim  REGISTER_MATCHER(initListExpr);
340296417Sdim  REGISTER_MATCHER(injectedClassNameType);
341259701Sdim  REGISTER_MATCHER(innerType);
342259701Sdim  REGISTER_MATCHER(integerLiteral);
343353358Sdim  REGISTER_MATCHER(isAllowedToContainClauseKind);
344296417Sdim  REGISTER_MATCHER(isAnonymous);
345309124Sdim  REGISTER_MATCHER(isAnyCharacter);
346309124Sdim  REGISTER_MATCHER(isAnyPointer);
347327952Sdim  REGISTER_MATCHER(isArray);
348259701Sdim  REGISTER_MATCHER(isArrow);
349341825Sdim  REGISTER_MATCHER(isAssignmentOperator);
350296417Sdim  REGISTER_MATCHER(isBaseInitializer);
351309124Sdim  REGISTER_MATCHER(isBitField);
352288943Sdim  REGISTER_MATCHER(isCatchAll);
353296417Sdim  REGISTER_MATCHER(isClass);
354353358Sdim  REGISTER_MATCHER(isClassMessage);
355353358Sdim  REGISTER_MATCHER(isClassMethod);
356276479Sdim  REGISTER_MATCHER(isConst);
357353358Sdim  REGISTER_MATCHER(isConstQualified);
358321369Sdim  REGISTER_MATCHER(isConstexpr);
359309124Sdim  REGISTER_MATCHER(isCopyAssignmentOperator);
360296417Sdim  REGISTER_MATCHER(isCopyConstructor);
361296417Sdim  REGISTER_MATCHER(isDefaultConstructor);
362309124Sdim  REGISTER_MATCHER(isDefaulted);
363259701Sdim  REGISTER_MATCHER(isDefinition);
364353358Sdim  REGISTER_MATCHER(isDelegatingConstructor);
365280031Sdim  REGISTER_MATCHER(isDeleted);
366296417Sdim  REGISTER_MATCHER(isExceptionVariable);
367344779Sdim  REGISTER_MATCHER(isExpansionInFileMatching);
368344779Sdim  REGISTER_MATCHER(isExpansionInMainFile);
369344779Sdim  REGISTER_MATCHER(isExpansionInSystemHeader);
370296417Sdim  REGISTER_MATCHER(isExplicit);
371259701Sdim  REGISTER_MATCHER(isExplicitTemplateSpecialization);
372276479Sdim  REGISTER_MATCHER(isExpr);
373259701Sdim  REGISTER_MATCHER(isExternC);
374296417Sdim  REGISTER_MATCHER(isFinal);
375344779Sdim  REGISTER_MATCHER(isImplicit);
376353358Sdim  REGISTER_MATCHER(isInStdNamespace);
377353358Sdim  REGISTER_MATCHER(isInTemplateInstantiation);
378296417Sdim  REGISTER_MATCHER(isInline);
379341825Sdim  REGISTER_MATCHER(isInstanceMessage);
380353358Sdim  REGISTER_MATCHER(isInstanceMethod);
381280031Sdim  REGISTER_MATCHER(isInstantiated);
382344779Sdim  REGISTER_MATCHER(isInstantiationDependent);
383259701Sdim  REGISTER_MATCHER(isInteger);
384280031Sdim  REGISTER_MATCHER(isIntegral);
385309124Sdim  REGISTER_MATCHER(isLambda);
386276479Sdim  REGISTER_MATCHER(isListInitialization);
387341825Sdim  REGISTER_MATCHER(isMain);
388296417Sdim  REGISTER_MATCHER(isMemberInitializer);
389309124Sdim  REGISTER_MATCHER(isMoveAssignmentOperator);
390296417Sdim  REGISTER_MATCHER(isMoveConstructor);
391341825Sdim  REGISTER_MATCHER(isNoReturn);
392296417Sdim  REGISTER_MATCHER(isNoThrow);
393353358Sdim  REGISTER_MATCHER(isNoneKind);
394353358Sdim  REGISTER_MATCHER(isOMPStructuredBlock);
395259701Sdim  REGISTER_MATCHER(isOverride);
396259701Sdim  REGISTER_MATCHER(isPrivate);
397259701Sdim  REGISTER_MATCHER(isProtected);
398259701Sdim  REGISTER_MATCHER(isPublic);
399280031Sdim  REGISTER_MATCHER(isPure);
400341825Sdim  REGISTER_MATCHER(isScoped);
401353358Sdim  REGISTER_MATCHER(isSharedKind);
402309124Sdim  REGISTER_MATCHER(isSignedInteger);
403353358Sdim  REGISTER_MATCHER(isStandaloneDirective);
404344779Sdim  REGISTER_MATCHER(isStaticLocal);
405321369Sdim  REGISTER_MATCHER(isStaticStorageClass);
406296417Sdim  REGISTER_MATCHER(isStruct);
407259701Sdim  REGISTER_MATCHER(isTemplateInstantiation);
408344779Sdim  REGISTER_MATCHER(isTypeDependent);
409296417Sdim  REGISTER_MATCHER(isUnion);
410309124Sdim  REGISTER_MATCHER(isUnsignedInteger);
411344779Sdim  REGISTER_MATCHER(isUserProvided);
412344779Sdim  REGISTER_MATCHER(isValueDependent);
413296417Sdim  REGISTER_MATCHER(isVariadic);
414259701Sdim  REGISTER_MATCHER(isVirtual);
415309124Sdim  REGISTER_MATCHER(isVirtualAsWritten);
416296417Sdim  REGISTER_MATCHER(isVolatileQualified);
417259701Sdim  REGISTER_MATCHER(isWritten);
418353358Sdim  REGISTER_MATCHER(lValueReferenceType);
419309124Sdim  REGISTER_MATCHER(labelDecl);
420259701Sdim  REGISTER_MATCHER(labelStmt);
421259701Sdim  REGISTER_MATCHER(lambdaExpr);
422327952Sdim  REGISTER_MATCHER(linkageSpecDecl);
423259701Sdim  REGISTER_MATCHER(matchesName);
424288943Sdim  REGISTER_MATCHER(matchesSelector);
425259701Sdim  REGISTER_MATCHER(materializeTemporaryExpr);
426259701Sdim  REGISTER_MATCHER(member);
427259701Sdim  REGISTER_MATCHER(memberExpr);
428259701Sdim  REGISTER_MATCHER(memberPointerType);
429259701Sdim  REGISTER_MATCHER(namedDecl);
430353358Sdim  REGISTER_MATCHER(namesType);
431296417Sdim  REGISTER_MATCHER(namespaceAliasDecl);
432280031Sdim  REGISTER_MATCHER(namespaceDecl);
433259701Sdim  REGISTER_MATCHER(nestedNameSpecifier);
434259701Sdim  REGISTER_MATCHER(nestedNameSpecifierLoc);
435344779Sdim  REGISTER_MATCHER(nonTypeTemplateParmDecl);
436309124Sdim  REGISTER_MATCHER(nullPointerConstant);
437259701Sdim  REGISTER_MATCHER(nullStmt);
438288943Sdim  REGISTER_MATCHER(numSelectorArgs);
439327952Sdim  REGISTER_MATCHER(objcCatchStmt);
440321369Sdim  REGISTER_MATCHER(objcCategoryDecl);
441327952Sdim  REGISTER_MATCHER(objcCategoryImplDecl);
442327952Sdim  REGISTER_MATCHER(objcFinallyStmt);
443327952Sdim  REGISTER_MATCHER(objcImplementationDecl);
444296417Sdim  REGISTER_MATCHER(objcInterfaceDecl);
445321369Sdim  REGISTER_MATCHER(objcIvarDecl);
446341825Sdim  REGISTER_MATCHER(objcIvarRefExpr);
447288943Sdim  REGISTER_MATCHER(objcMessageExpr);
448321369Sdim  REGISTER_MATCHER(objcMethodDecl);
449296417Sdim  REGISTER_MATCHER(objcObjectPointerType);
450321369Sdim  REGISTER_MATCHER(objcPropertyDecl);
451321369Sdim  REGISTER_MATCHER(objcProtocolDecl);
452327952Sdim  REGISTER_MATCHER(objcThrowStmt);
453327952Sdim  REGISTER_MATCHER(objcTryStmt);
454344779Sdim  REGISTER_MATCHER(ofClass);
455353358Sdim  REGISTER_MATCHER(ompDefaultClause);
456353358Sdim  REGISTER_MATCHER(ompExecutableDirective);
457259701Sdim  REGISTER_MATCHER(on);
458259701Sdim  REGISTER_MATCHER(onImplicitObjectArgument);
459309124Sdim  REGISTER_MATCHER(opaqueValueExpr);
460360784Sdim  REGISTER_MATCHER(optionally);
461259701Sdim  REGISTER_MATCHER(parameterCountIs);
462309124Sdim  REGISTER_MATCHER(parenExpr);
463309124Sdim  REGISTER_MATCHER(parenListExpr);
464259701Sdim  REGISTER_MATCHER(parenType);
465276479Sdim  REGISTER_MATCHER(parmVarDecl);
466259701Sdim  REGISTER_MATCHER(pointee);
467259701Sdim  REGISTER_MATCHER(pointerType);
468309124Sdim  REGISTER_MATCHER(predefinedExpr);
469259701Sdim  REGISTER_MATCHER(qualType);
470353358Sdim  REGISTER_MATCHER(rValueReferenceType);
471309124Sdim  REGISTER_MATCHER(realFloatingPointType);
472259701Sdim  REGISTER_MATCHER(recordDecl);
473259701Sdim  REGISTER_MATCHER(recordType);
474259701Sdim  REGISTER_MATCHER(referenceType);
475259701Sdim  REGISTER_MATCHER(refersToDeclaration);
476280031Sdim  REGISTER_MATCHER(refersToIntegralType);
477353358Sdim  REGISTER_MATCHER(refersToTemplate);
478259701Sdim  REGISTER_MATCHER(refersToType);
479309124Sdim  REGISTER_MATCHER(requiresZeroInitialization);
480353358Sdim  REGISTER_MATCHER(returnStmt);
481280031Sdim  REGISTER_MATCHER(returns);
482259701Sdim  REGISTER_MATCHER(sizeOfExpr);
483259701Sdim  REGISTER_MATCHER(specifiesNamespace);
484259701Sdim  REGISTER_MATCHER(specifiesType);
485259701Sdim  REGISTER_MATCHER(specifiesTypeLoc);
486259701Sdim  REGISTER_MATCHER(statementCountIs);
487288943Sdim  REGISTER_MATCHER(staticAssertDecl);
488259701Sdim  REGISTER_MATCHER(stmt);
489309124Sdim  REGISTER_MATCHER(stmtExpr);
490259701Sdim  REGISTER_MATCHER(stringLiteral);
491280031Sdim  REGISTER_MATCHER(substNonTypeTemplateParmExpr);
492296417Sdim  REGISTER_MATCHER(substTemplateTypeParmType);
493259701Sdim  REGISTER_MATCHER(switchCase);
494259701Sdim  REGISTER_MATCHER(switchStmt);
495344779Sdim  REGISTER_MATCHER(tagType);
496280031Sdim  REGISTER_MATCHER(templateArgument);
497344779Sdim  REGISTER_MATCHER(templateArgumentCountIs);
498314564Sdim  REGISTER_MATCHER(templateName);
499259701Sdim  REGISTER_MATCHER(templateSpecializationType);
500314564Sdim  REGISTER_MATCHER(templateTypeParmDecl);
501296417Sdim  REGISTER_MATCHER(templateTypeParmType);
502259701Sdim  REGISTER_MATCHER(throughUsingDecl);
503259701Sdim  REGISTER_MATCHER(to);
504288943Sdim  REGISTER_MATCHER(translationUnitDecl);
505259701Sdim  REGISTER_MATCHER(type);
506344779Sdim  REGISTER_MATCHER(typeAliasDecl);
507344779Sdim  REGISTER_MATCHER(typeAliasTemplateDecl);
508353358Sdim  REGISTER_MATCHER(typeLoc);
509280031Sdim  REGISTER_MATCHER(typedefDecl);
510309124Sdim  REGISTER_MATCHER(typedefNameDecl);
511280031Sdim  REGISTER_MATCHER(typedefType);
512259701Sdim  REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
513259701Sdim  REGISTER_MATCHER(unaryOperator);
514276479Sdim  REGISTER_MATCHER(unaryTransformType);
515276479Sdim  REGISTER_MATCHER(unless);
516309124Sdim  REGISTER_MATCHER(unresolvedLookupExpr);
517344779Sdim  REGISTER_MATCHER(unresolvedMemberExpr);
518296417Sdim  REGISTER_MATCHER(unresolvedUsingTypenameDecl);
519276479Sdim  REGISTER_MATCHER(unresolvedUsingValueDecl);
520259701Sdim  REGISTER_MATCHER(userDefinedLiteral);
521344779Sdim  REGISTER_MATCHER(usesADL);
522259701Sdim  REGISTER_MATCHER(usingDecl);
523280031Sdim  REGISTER_MATCHER(usingDirectiveDecl);
524280031Sdim  REGISTER_MATCHER(valueDecl);
525259701Sdim  REGISTER_MATCHER(varDecl);
526259701Sdim  REGISTER_MATCHER(variableArrayType);
527280031Sdim  REGISTER_MATCHER(voidType);
528259701Sdim  REGISTER_MATCHER(whileStmt);
529259701Sdim  REGISTER_MATCHER(withInitializer);
530259701Sdim}
531259701Sdim
532327952SdimRegistryMaps::~RegistryMaps() = default;
533259701Sdim
534259701Sdimstatic llvm::ManagedStatic<RegistryMaps> RegistryData;
535259701Sdim
536259701Sdim// static
537276479Sdimllvm::Optional<MatcherCtor> Registry::lookupMatcherCtor(StringRef MatcherName) {
538314564Sdim  auto it = RegistryData->constructors().find(MatcherName);
539276479Sdim  return it == RegistryData->constructors().end()
540276479Sdim             ? llvm::Optional<MatcherCtor>()
541314564Sdim             : it->second.get();
542276479Sdim}
543276479Sdim
544327952Sdimstatic llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
545327952Sdim                                     const std::set<ASTNodeKind> &KS) {
546276479Sdim  unsigned Count = 0;
547276479Sdim  for (std::set<ASTNodeKind>::const_iterator I = KS.begin(), E = KS.end();
548276479Sdim       I != E; ++I) {
549276479Sdim    if (I != KS.begin())
550276479Sdim      OS << "|";
551276479Sdim    if (Count++ == 3) {
552276479Sdim      OS << "...";
553276479Sdim      break;
554276479Sdim    }
555276479Sdim    OS << *I;
556259701Sdim  }
557276479Sdim  return OS;
558276479Sdim}
559259701Sdim
560280031Sdimstd::vector<ArgKind> Registry::getAcceptedCompletionTypes(
561280031Sdim    ArrayRef<std::pair<MatcherCtor, unsigned>> Context) {
562276479Sdim  ASTNodeKind InitialTypes[] = {
563280031Sdim      ASTNodeKind::getFromNodeKind<Decl>(),
564280031Sdim      ASTNodeKind::getFromNodeKind<QualType>(),
565280031Sdim      ASTNodeKind::getFromNodeKind<Type>(),
566280031Sdim      ASTNodeKind::getFromNodeKind<Stmt>(),
567280031Sdim      ASTNodeKind::getFromNodeKind<NestedNameSpecifier>(),
568280031Sdim      ASTNodeKind::getFromNodeKind<NestedNameSpecifierLoc>(),
569280031Sdim      ASTNodeKind::getFromNodeKind<TypeLoc>()};
570276479Sdim
571276479Sdim  // Starting with the above seed of acceptable top-level matcher types, compute
572276479Sdim  // the acceptable type set for the argument indicated by each context element.
573280031Sdim  std::set<ArgKind> TypeSet(std::begin(InitialTypes), std::end(InitialTypes));
574280031Sdim  for (const auto &CtxEntry : Context) {
575280031Sdim    MatcherCtor Ctor = CtxEntry.first;
576280031Sdim    unsigned ArgNumber = CtxEntry.second;
577280031Sdim    std::vector<ArgKind> NextTypeSet;
578280031Sdim    for (const ArgKind &Kind : TypeSet) {
579280031Sdim      if (Kind.getArgKind() == Kind.AK_Matcher &&
580280031Sdim          Ctor->isConvertibleTo(Kind.getMatcherKind()) &&
581280031Sdim          (Ctor->isVariadic() || ArgNumber < Ctor->getNumArgs()))
582280031Sdim        Ctor->getArgKinds(Kind.getMatcherKind(), ArgNumber, NextTypeSet);
583276479Sdim    }
584276479Sdim    TypeSet.clear();
585280031Sdim    TypeSet.insert(NextTypeSet.begin(), NextTypeSet.end());
586276479Sdim  }
587280031Sdim  return std::vector<ArgKind>(TypeSet.begin(), TypeSet.end());
588280031Sdim}
589276479Sdim
590280031Sdimstd::vector<MatcherCompletion>
591280031SdimRegistry::getMatcherCompletions(ArrayRef<ArgKind> AcceptedTypes) {
592280031Sdim  std::vector<MatcherCompletion> Completions;
593276479Sdim
594280031Sdim  // Search the registry for acceptable matchers.
595296417Sdim  for (const auto &M : RegistryData->constructors()) {
596314564Sdim    const MatcherDescriptor& Matcher = *M.getValue();
597296417Sdim    StringRef Name = M.getKey();
598296417Sdim
599276479Sdim    std::set<ASTNodeKind> RetKinds;
600314564Sdim    unsigned NumArgs = Matcher.isVariadic() ? 1 : Matcher.getNumArgs();
601314564Sdim    bool IsPolymorphic = Matcher.isPolymorphic();
602280031Sdim    std::vector<std::vector<ArgKind>> ArgsKinds(NumArgs);
603276479Sdim    unsigned MaxSpecificity = 0;
604280031Sdim    for (const ArgKind& Kind : AcceptedTypes) {
605280031Sdim      if (Kind.getArgKind() != Kind.AK_Matcher)
606280031Sdim        continue;
607276479Sdim      unsigned Specificity;
608276479Sdim      ASTNodeKind LeastDerivedKind;
609314564Sdim      if (Matcher.isConvertibleTo(Kind.getMatcherKind(), &Specificity,
610314564Sdim                                  &LeastDerivedKind)) {
611276479Sdim        if (MaxSpecificity < Specificity)
612276479Sdim          MaxSpecificity = Specificity;
613276479Sdim        RetKinds.insert(LeastDerivedKind);
614276479Sdim        for (unsigned Arg = 0; Arg != NumArgs; ++Arg)
615314564Sdim          Matcher.getArgKinds(Kind.getMatcherKind(), Arg, ArgsKinds[Arg]);
616276479Sdim        if (IsPolymorphic)
617276479Sdim          break;
618276479Sdim      }
619276479Sdim    }
620276479Sdim
621276479Sdim    if (!RetKinds.empty() && MaxSpecificity > 0) {
622276479Sdim      std::string Decl;
623276479Sdim      llvm::raw_string_ostream OS(Decl);
624276479Sdim
625276479Sdim      if (IsPolymorphic) {
626296417Sdim        OS << "Matcher<T> " << Name << "(Matcher<T>";
627276479Sdim      } else {
628296417Sdim        OS << "Matcher<" << RetKinds << "> " << Name << "(";
629280031Sdim        for (const std::vector<ArgKind> &Arg : ArgsKinds) {
630280031Sdim          if (&Arg != &ArgsKinds[0])
631276479Sdim            OS << ", ";
632280031Sdim
633280031Sdim          bool FirstArgKind = true;
634280031Sdim          std::set<ASTNodeKind> MatcherKinds;
635280031Sdim          // Two steps. First all non-matchers, then matchers only.
636280031Sdim          for (const ArgKind &AK : Arg) {
637280031Sdim            if (AK.getArgKind() == ArgKind::AK_Matcher) {
638280031Sdim              MatcherKinds.insert(AK.getMatcherKind());
639280031Sdim            } else {
640280031Sdim              if (!FirstArgKind) OS << "|";
641280031Sdim              FirstArgKind = false;
642280031Sdim              OS << AK.asString();
643280031Sdim            }
644280031Sdim          }
645280031Sdim          if (!MatcherKinds.empty()) {
646280031Sdim            if (!FirstArgKind) OS << "|";
647276479Sdim            OS << "Matcher<" << MatcherKinds << ">";
648276479Sdim          }
649276479Sdim        }
650276479Sdim      }
651314564Sdim      if (Matcher.isVariadic())
652276479Sdim        OS << "...";
653276479Sdim      OS << ")";
654276479Sdim
655296417Sdim      std::string TypedText = Name;
656276479Sdim      TypedText += "(";
657276479Sdim      if (ArgsKinds.empty())
658276479Sdim        TypedText += ")";
659280031Sdim      else if (ArgsKinds[0][0].getArgKind() == ArgKind::AK_String)
660276479Sdim        TypedText += "\"";
661276479Sdim
662280031Sdim      Completions.emplace_back(TypedText, OS.str(), MaxSpecificity);
663276479Sdim    }
664276479Sdim  }
665276479Sdim
666280031Sdim  return Completions;
667276479Sdim}
668276479Sdim
669276479SdimVariantMatcher Registry::constructMatcher(MatcherCtor Ctor,
670296417Sdim                                          SourceRange NameRange,
671276479Sdim                                          ArrayRef<ParserValue> Args,
672276479Sdim                                          Diagnostics *Error) {
673276479Sdim  return Ctor->create(NameRange, Args, Error);
674276479Sdim}
675276479Sdim
676276479SdimVariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor,
677296417Sdim                                               SourceRange NameRange,
678259701Sdim                                               StringRef BindID,
679259701Sdim                                               ArrayRef<ParserValue> Args,
680259701Sdim                                               Diagnostics *Error) {
681276479Sdim  VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error);
682259701Sdim  if (Out.isNull()) return Out;
683259701Sdim
684259701Sdim  llvm::Optional<DynTypedMatcher> Result = Out.getSingleMatcher();
685259701Sdim  if (Result.hasValue()) {
686259701Sdim    llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID);
687259701Sdim    if (Bound.hasValue()) {
688259701Sdim      return VariantMatcher::SingleMatcher(*Bound);
689259701Sdim    }
690259701Sdim  }
691259701Sdim  Error->addError(NameRange, Error->ET_RegistryNotBindable);
692259701Sdim  return VariantMatcher();
693259701Sdim}
694259701Sdim
695327952Sdim} // namespace dynamic
696327952Sdim} // namespace ast_matchers
697327952Sdim} // namespace clang
698