blob: 9cfccdc2ab1505ee21640498f3877a8709a0de71 [file] [log] [blame]
Samuel Benzaquena76d8cd2013-05-15 19:49:05 +00001//===--- Registry.cpp - Matcher registry -------------------------===//
Manuel Klimek24db0f02013-05-14 09:13:00 +00002//
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//
Samuel Benzaquena76d8cd2013-05-15 19:49:05 +00008//===------------------------------------------------------------===//
Manuel Klimek24db0f02013-05-14 09:13:00 +00009///
10/// \file
11/// \brief Registry map populated at static initialization time.
12///
Samuel Benzaquena76d8cd2013-05-15 19:49:05 +000013//===------------------------------------------------------------===//
Manuel Klimek24db0f02013-05-14 09:13:00 +000014
15#include "clang/ASTMatchers/Dynamic/Registry.h"
Manuel Klimek24db0f02013-05-14 09:13:00 +000016#include "Marshallers.h"
17#include "clang/ASTMatchers/ASTMatchers.h"
Aaron Ballman7596bcf2015-08-12 20:05:18 +000018#include "llvm/ADT/STLExtras.h"
Manuel Klimek24db0f02013-05-14 09:13:00 +000019#include "llvm/ADT/StringMap.h"
20#include "llvm/ADT/StringRef.h"
21#include "llvm/Support/ManagedStatic.h"
Peter Collingbourned32e28c2014-01-23 22:48:38 +000022#include <set>
Chandler Carruth5553d0d2014-01-07 11:51:46 +000023#include <utility>
Manuel Klimek24db0f02013-05-14 09:13:00 +000024
Peter Collingbourned32e28c2014-01-23 22:48:38 +000025using namespace clang::ast_type_traits;
26
Manuel Klimek24db0f02013-05-14 09:13:00 +000027namespace clang {
28namespace ast_matchers {
29namespace dynamic {
30namespace {
31
Peter Collingbournef43e6942013-11-23 01:34:36 +000032using internal::MatcherDescriptor;
Manuel Klimek24db0f02013-05-14 09:13:00 +000033
Peter Collingbournef43e6942013-11-23 01:34:36 +000034typedef llvm::StringMap<const MatcherDescriptor *> ConstructorMap;
Manuel Klimek24db0f02013-05-14 09:13:00 +000035class RegistryMaps {
36public:
37 RegistryMaps();
38 ~RegistryMaps();
39
40 const ConstructorMap &constructors() const { return Constructors; }
41
42private:
Peter Collingbournef43e6942013-11-23 01:34:36 +000043 void registerMatcher(StringRef MatcherName, MatcherDescriptor *Callback);
Manuel Klimek24db0f02013-05-14 09:13:00 +000044 ConstructorMap Constructors;
45};
46
47void RegistryMaps::registerMatcher(StringRef MatcherName,
Peter Collingbournef43e6942013-11-23 01:34:36 +000048 MatcherDescriptor *Callback) {
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000049 assert(Constructors.find(MatcherName) == Constructors.end());
Manuel Klimek24db0f02013-05-14 09:13:00 +000050 Constructors[MatcherName] = Callback;
51}
52
53#define REGISTER_MATCHER(name) \
54 registerMatcher(#name, internal::makeMatcherAutoMarshall( \
55 ::clang::ast_matchers::name, #name));
56
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000057#define SPECIFIC_MATCHER_OVERLOAD(name, Id) \
58 static_cast< ::clang::ast_matchers::name##_Type##Id>( \
59 ::clang::ast_matchers::name)
60
61#define REGISTER_OVERLOADED_2(name) \
62 do { \
Peter Collingbournef43e6942013-11-23 01:34:36 +000063 MatcherDescriptor *Callbacks[] = { \
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000064 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 0), \
65 #name), \
66 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 1), \
67 #name) \
68 }; \
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +000069 registerMatcher(#name, \
Peter Collingbournef43e6942013-11-23 01:34:36 +000070 new internal::OverloadedMatcherDescriptor(Callbacks)); \
Samuel Benzaquen7f8a5b12013-07-24 14:48:01 +000071 } while (0)
72
Manuel Klimek24db0f02013-05-14 09:13:00 +000073/// \brief Generate a registry map with all the known matchers.
74RegistryMaps::RegistryMaps() {
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000075 // TODO: Here is the list of the missing matchers, grouped by reason.
76 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000077 // Need Variant/Parser fixes:
78 // ofKind
79 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000080 // Polymorphic + argument overload:
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000081 // findAll
82 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000083 // Other:
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000084 // equals
85 // equalsNode
Manuel Klimek24db0f02013-05-14 09:13:00 +000086
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000087 REGISTER_OVERLOADED_2(callee);
88 REGISTER_OVERLOADED_2(hasPrefix);
89 REGISTER_OVERLOADED_2(hasType);
90 REGISTER_OVERLOADED_2(isDerivedFrom);
91 REGISTER_OVERLOADED_2(isSameOrDerivedFrom);
Samuel Benzaquena0839352014-03-10 15:40:23 +000092 REGISTER_OVERLOADED_2(loc);
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000093 REGISTER_OVERLOADED_2(pointsTo);
94 REGISTER_OVERLOADED_2(references);
95 REGISTER_OVERLOADED_2(thisPointerType);
96
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000097 REGISTER_MATCHER(accessSpecDecl);
98 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquen4adca622013-08-28 18:42:04 +000099 REGISTER_MATCHER(allOf);
100 REGISTER_MATCHER(anyOf);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000101 REGISTER_MATCHER(anything);
102 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000103 REGISTER_MATCHER(arraySubscriptExpr);
104 REGISTER_MATCHER(arrayType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000105 REGISTER_MATCHER(asmStmt);
Manuel Klimek7735e402014-10-09 13:06:22 +0000106 REGISTER_MATCHER(asString);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000107 REGISTER_MATCHER(atomicType);
108 REGISTER_MATCHER(autoType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000109 REGISTER_MATCHER(binaryOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000110 REGISTER_MATCHER(blockPointerType);
Samuel Benzaquenbd3232a2015-12-22 20:06:40 +0000111 REGISTER_MATCHER(booleanType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000112 REGISTER_MATCHER(breakStmt);
113 REGISTER_MATCHER(builtinType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000114 REGISTER_MATCHER(callExpr);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000115 REGISTER_MATCHER(caseStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000116 REGISTER_MATCHER(castExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000117 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000118 REGISTER_MATCHER(classTemplateDecl);
119 REGISTER_MATCHER(classTemplateSpecializationDecl);
120 REGISTER_MATCHER(complexType);
121 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000122 REGISTER_MATCHER(compoundStmt);
123 REGISTER_MATCHER(conditionalOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000124 REGISTER_MATCHER(constantArrayType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000125 REGISTER_MATCHER(containsDeclaration);
126 REGISTER_MATCHER(continueStmt);
Manuel Klimek7735e402014-10-09 13:06:22 +0000127 REGISTER_MATCHER(cStyleCastExpr);
Aaron Ballman512fb642015-09-17 13:30:52 +0000128 REGISTER_MATCHER(cudaKernelCallExpr);
129 REGISTER_MATCHER(cxxBindTemporaryExpr);
130 REGISTER_MATCHER(cxxBoolLiteral);
131 REGISTER_MATCHER(cxxCatchStmt);
132 REGISTER_MATCHER(cxxConstCastExpr);
133 REGISTER_MATCHER(cxxConstructExpr);
134 REGISTER_MATCHER(cxxConstructorDecl);
135 REGISTER_MATCHER(cxxConversionDecl);
136 REGISTER_MATCHER(cxxCtorInitializer);
137 REGISTER_MATCHER(cxxDefaultArgExpr);
138 REGISTER_MATCHER(cxxDeleteExpr);
139 REGISTER_MATCHER(cxxDestructorDecl);
140 REGISTER_MATCHER(cxxDynamicCastExpr);
141 REGISTER_MATCHER(cxxForRangeStmt);
142 REGISTER_MATCHER(cxxFunctionalCastExpr);
143 REGISTER_MATCHER(cxxMemberCallExpr);
144 REGISTER_MATCHER(cxxMethodDecl);
145 REGISTER_MATCHER(cxxNewExpr);
146 REGISTER_MATCHER(cxxNullPtrLiteralExpr);
147 REGISTER_MATCHER(cxxOperatorCallExpr);
148 REGISTER_MATCHER(cxxRecordDecl);
149 REGISTER_MATCHER(cxxReinterpretCastExpr);
150 REGISTER_MATCHER(cxxStaticCastExpr);
151 REGISTER_MATCHER(cxxTemporaryObjectExpr);
152 REGISTER_MATCHER(cxxThisExpr);
153 REGISTER_MATCHER(cxxThrowExpr);
154 REGISTER_MATCHER(cxxTryStmt);
155 REGISTER_MATCHER(cxxUnresolvedConstructExpr);
Matthias Gehre2cf7e802015-10-12 21:46:07 +0000156 REGISTER_MATCHER(decayedType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000157 REGISTER_MATCHER(decl);
Manuel Klimek7735e402014-10-09 13:06:22 +0000158 REGISTER_MATCHER(declaratorDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000159 REGISTER_MATCHER(declCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000160 REGISTER_MATCHER(declRefExpr);
161 REGISTER_MATCHER(declStmt);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000162 REGISTER_MATCHER(defaultStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000163 REGISTER_MATCHER(dependentSizedArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000164 REGISTER_MATCHER(doStmt);
Samuel Benzaquen4adca622013-08-28 18:42:04 +0000165 REGISTER_MATCHER(eachOf);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000166 REGISTER_MATCHER(elaboratedType);
167 REGISTER_MATCHER(enumConstantDecl);
168 REGISTER_MATCHER(enumDecl);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000169 REGISTER_MATCHER(equalsBoundNode);
Manuel Klimek7735e402014-10-09 13:06:22 +0000170 REGISTER_MATCHER(equalsIntegralValue);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000171 REGISTER_MATCHER(explicitCastExpr);
172 REGISTER_MATCHER(expr);
Samuel Benzaquenf1066292014-04-02 13:12:14 +0000173 REGISTER_MATCHER(exprWithCleanups);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000174 REGISTER_MATCHER(fieldDecl);
Daniel Jasper91f1c8c2013-07-26 18:52:58 +0000175 REGISTER_MATCHER(floatLiteral);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000176 REGISTER_MATCHER(forEach);
Manuel Klimekce28f9e2016-01-18 11:20:09 +0000177 REGISTER_MATCHER(forEachArgumentWithParam);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000178 REGISTER_MATCHER(forEachConstructorInitializer);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000179 REGISTER_MATCHER(forEachDescendant);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000180 REGISTER_MATCHER(forEachSwitchCase);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000181 REGISTER_MATCHER(forField);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000182 REGISTER_MATCHER(forStmt);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000183 REGISTER_MATCHER(friendDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000184 REGISTER_MATCHER(functionDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000185 REGISTER_MATCHER(functionTemplateDecl);
186 REGISTER_MATCHER(functionType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000187 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000188 REGISTER_MATCHER(has);
189 REGISTER_MATCHER(hasAncestor);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000190 REGISTER_MATCHER(hasAnyArgument);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000191 REGISTER_MATCHER(hasAnyConstructorInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000192 REGISTER_MATCHER(hasAnyParameter);
193 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000194 REGISTER_MATCHER(hasAnyTemplateArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000195 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000196 REGISTER_MATCHER(hasArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000197 REGISTER_MATCHER(hasArgumentOfType);
Manuel Klimek3fe8a382014-08-25 11:23:50 +0000198 REGISTER_MATCHER(hasAttr);
Aaron Ballman8e7f00b2015-11-18 17:56:55 +0000199 REGISTER_MATCHER(hasAutomaticStorageDuration);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000200 REGISTER_MATCHER(hasBase);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000201 REGISTER_MATCHER(hasBody);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000202 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000203 REGISTER_MATCHER(hasCaseConstant);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000204 REGISTER_MATCHER(hasCondition);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000205 REGISTER_MATCHER(hasConditionVariableStatement);
Matthias Gehre2cf7e802015-10-12 21:46:07 +0000206 REGISTER_MATCHER(hasDecayedType);
Samuel Benzaquen464c1cb2013-11-18 14:53:42 +0000207 REGISTER_MATCHER(hasDeclaration);
Manuel Klimek7735e402014-10-09 13:06:22 +0000208 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000209 REGISTER_MATCHER(hasDeducedType);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000210 REGISTER_MATCHER(hasDescendant);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000211 REGISTER_MATCHER(hasDestinationType);
212 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000213 REGISTER_MATCHER(hasElementType);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000214 REGISTER_MATCHER(hasElse);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000215 REGISTER_MATCHER(hasFalseExpression);
Samuel Benzaquenf56a2992014-06-05 18:22:14 +0000216 REGISTER_MATCHER(hasGlobalStorage);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000217 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000218 REGISTER_MATCHER(hasIncrement);
219 REGISTER_MATCHER(hasIndex);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000220 REGISTER_MATCHER(hasInitializer);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000221 REGISTER_MATCHER(hasKeywordSelector);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000222 REGISTER_MATCHER(hasLHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000223 REGISTER_MATCHER(hasLocalQualifiers);
Samuel Benzaquenf56a2992014-06-05 18:22:14 +0000224 REGISTER_MATCHER(hasLocalStorage);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000225 REGISTER_MATCHER(hasLoopInit);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000226 REGISTER_MATCHER(hasLoopVariable);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000227 REGISTER_MATCHER(hasMethod);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000228 REGISTER_MATCHER(hasName);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000229 REGISTER_MATCHER(hasNullSelector);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000230 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000231 REGISTER_MATCHER(hasOperatorName);
232 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000233 REGISTER_MATCHER(hasParameter);
Samuel Benzaquenbd7d8872013-08-16 16:19:42 +0000234 REGISTER_MATCHER(hasParent);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000235 REGISTER_MATCHER(hasQualifier);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000236 REGISTER_MATCHER(hasRangeInit);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000237 REGISTER_MATCHER(hasReceiverType);
Manuel Klimek7735e402014-10-09 13:06:22 +0000238 REGISTER_MATCHER(hasRHS);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000239 REGISTER_MATCHER(hasSelector);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000240 REGISTER_MATCHER(hasSingleDecl);
241 REGISTER_MATCHER(hasSize);
242 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000243 REGISTER_MATCHER(hasSourceExpression);
Aaron Ballman8e7f00b2015-11-18 17:56:55 +0000244 REGISTER_MATCHER(hasStaticStorageDuration);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000245 REGISTER_MATCHER(hasTargetDecl);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000246 REGISTER_MATCHER(hasTemplateArgument);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000247 REGISTER_MATCHER(hasThen);
Aaron Ballman8e7f00b2015-11-18 17:56:55 +0000248 REGISTER_MATCHER(hasThreadStorageDuration);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000249 REGISTER_MATCHER(hasTrueExpression);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000250 REGISTER_MATCHER(hasTypeLoc);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000251 REGISTER_MATCHER(hasUnaryOperand);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000252 REGISTER_MATCHER(hasUnarySelector);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000253 REGISTER_MATCHER(hasValueType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000254 REGISTER_MATCHER(ifStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000255 REGISTER_MATCHER(ignoringImpCasts);
256 REGISTER_MATCHER(ignoringParenCasts);
257 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000258 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000259 REGISTER_MATCHER(incompleteArrayType);
260 REGISTER_MATCHER(initListExpr);
Aaron Ballmanb85be662015-09-11 11:51:24 +0000261 REGISTER_MATCHER(injectedClassNameType);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000262 REGISTER_MATCHER(innerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000263 REGISTER_MATCHER(integerLiteral);
Aaron Ballman11825f22015-08-18 19:55:20 +0000264 REGISTER_MATCHER(isAnonymous);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000265 REGISTER_MATCHER(isArrow);
Aaron Ballman1ca258e2015-08-05 12:11:30 +0000266 REGISTER_MATCHER(isBaseInitializer);
Aaron Ballman9b869aa2015-07-02 12:53:22 +0000267 REGISTER_MATCHER(isCatchAll);
Aaron Ballman512fb642015-09-17 13:30:52 +0000268 REGISTER_MATCHER(isClass);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000269 REGISTER_MATCHER(isConst);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000270 REGISTER_MATCHER(isConstQualified);
Aaron Ballman1ca258e2015-08-05 12:11:30 +0000271 REGISTER_MATCHER(isCopyConstructor);
272 REGISTER_MATCHER(isDefaultConstructor);
Aaron Ballmaneb85b042016-01-18 20:37:44 +0000273 REGISTER_MATCHER(isDefaulted);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000274 REGISTER_MATCHER(isDefinition);
Samuel Benzaquen8e7f9962014-08-15 14:20:59 +0000275 REGISTER_MATCHER(isDeleted);
Aaron Ballman39918462015-07-15 17:11:21 +0000276 REGISTER_MATCHER(isExceptionVariable);
Aaron Ballman6f6d0b62015-08-11 21:09:52 +0000277 REGISTER_MATCHER(isExplicit);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000278 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Peter Collingbourne564597f2014-02-20 19:18:03 +0000279 REGISTER_MATCHER(isExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000280 REGISTER_MATCHER(isExternC);
Aaron Ballman41143bb2015-07-24 12:35:41 +0000281 REGISTER_MATCHER(isFinal);
Aaron Ballman11825f22015-08-18 19:55:20 +0000282 REGISTER_MATCHER(isInline);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000283 REGISTER_MATCHER(isImplicit);
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000284 REGISTER_MATCHER(isExpansionInFileMatching);
285 REGISTER_MATCHER(isExpansionInMainFile);
Benjamin Kramer7ab84762014-09-03 12:08:14 +0000286 REGISTER_MATCHER(isInstantiated);
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000287 REGISTER_MATCHER(isExpansionInSystemHeader);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000288 REGISTER_MATCHER(isInteger);
Manuel Klimek7735e402014-10-09 13:06:22 +0000289 REGISTER_MATCHER(isIntegral);
Benjamin Kramer7ab84762014-09-03 12:08:14 +0000290 REGISTER_MATCHER(isInTemplateInstantiation);
Peter Collingbourne1fec3df2014-02-06 21:52:24 +0000291 REGISTER_MATCHER(isListInitialization);
Aaron Ballmaned455d42015-08-11 20:42:00 +0000292 REGISTER_MATCHER(isMemberInitializer);
Aaron Ballman1ca258e2015-08-05 12:11:30 +0000293 REGISTER_MATCHER(isMoveConstructor);
Aaron Ballmana60bcda2015-12-02 15:23:59 +0000294 REGISTER_MATCHER(isNoThrow);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000295 REGISTER_MATCHER(isOverride);
296 REGISTER_MATCHER(isPrivate);
297 REGISTER_MATCHER(isProtected);
298 REGISTER_MATCHER(isPublic);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000299 REGISTER_MATCHER(isPure);
Aaron Ballman512fb642015-09-17 13:30:52 +0000300 REGISTER_MATCHER(isStruct);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000301 REGISTER_MATCHER(isTemplateInstantiation);
Aaron Ballman512fb642015-09-17 13:30:52 +0000302 REGISTER_MATCHER(isUnion);
Aaron Ballman3fd6c112015-10-05 14:41:27 +0000303 REGISTER_MATCHER(isVariadic);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000304 REGISTER_MATCHER(isVirtual);
Aaron Ballman6290fc92015-11-23 17:09:24 +0000305 REGISTER_MATCHER(isVolatileQualified);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000306 REGISTER_MATCHER(isWritten);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000307 REGISTER_MATCHER(labelStmt);
308 REGISTER_MATCHER(lambdaExpr);
Manuel Klimek7735e402014-10-09 13:06:22 +0000309 REGISTER_MATCHER(lValueReferenceType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000310 REGISTER_MATCHER(matchesName);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000311 REGISTER_MATCHER(matchesSelector);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000312 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000313 REGISTER_MATCHER(member);
314 REGISTER_MATCHER(memberExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000315 REGISTER_MATCHER(memberPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000316 REGISTER_MATCHER(namedDecl);
Aaron Ballman6c79f352015-08-28 19:39:21 +0000317 REGISTER_MATCHER(namespaceAliasDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000318 REGISTER_MATCHER(namespaceDecl);
Manuel Klimek7735e402014-10-09 13:06:22 +0000319 REGISTER_MATCHER(namesType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000320 REGISTER_MATCHER(nestedNameSpecifier);
321 REGISTER_MATCHER(nestedNameSpecifierLoc);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000322 REGISTER_MATCHER(nullStmt);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000323 REGISTER_MATCHER(numSelectorArgs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000324 REGISTER_MATCHER(ofClass);
Aaron Ballmanb85be662015-09-11 11:51:24 +0000325 REGISTER_MATCHER(objcInterfaceDecl);
Manuel Klimekbfa43572015-03-12 15:48:15 +0000326 REGISTER_MATCHER(objcMessageExpr);
Aaron Ballmanb85be662015-09-11 11:51:24 +0000327 REGISTER_MATCHER(objcObjectPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000328 REGISTER_MATCHER(on);
329 REGISTER_MATCHER(onImplicitObjectArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000330 REGISTER_MATCHER(parameterCountIs);
Aaron Ballmane8295d72016-01-20 16:17:39 +0000331 REGISTER_MATCHER(parenExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000332 REGISTER_MATCHER(parenType);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000333 REGISTER_MATCHER(parmVarDecl);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000334 REGISTER_MATCHER(pointee);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000335 REGISTER_MATCHER(pointerType);
336 REGISTER_MATCHER(qualType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000337 REGISTER_MATCHER(recordDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000338 REGISTER_MATCHER(recordType);
339 REGISTER_MATCHER(referenceType);
340 REGISTER_MATCHER(refersToDeclaration);
Manuel Klimek7735e402014-10-09 13:06:22 +0000341 REGISTER_MATCHER(refersToIntegralType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000342 REGISTER_MATCHER(refersToType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000343 REGISTER_MATCHER(returns);
Manuel Klimek7735e402014-10-09 13:06:22 +0000344 REGISTER_MATCHER(returnStmt);
345 REGISTER_MATCHER(rValueReferenceType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000346 REGISTER_MATCHER(sizeOfExpr);
347 REGISTER_MATCHER(specifiesNamespace);
348 REGISTER_MATCHER(specifiesType);
349 REGISTER_MATCHER(specifiesTypeLoc);
350 REGISTER_MATCHER(statementCountIs);
David Majnemer8423df92015-06-05 22:40:53 +0000351 REGISTER_MATCHER(staticAssertDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000352 REGISTER_MATCHER(stmt);
353 REGISTER_MATCHER(stringLiteral);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000354 REGISTER_MATCHER(substNonTypeTemplateParmExpr);
Samuel Benzaquenf8ec4542015-08-26 16:15:59 +0000355 REGISTER_MATCHER(substTemplateTypeParmType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000356 REGISTER_MATCHER(switchCase);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000357 REGISTER_MATCHER(switchStmt);
Manuel Klimek7735e402014-10-09 13:06:22 +0000358 REGISTER_MATCHER(templateArgument);
359 REGISTER_MATCHER(templateArgumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000360 REGISTER_MATCHER(templateSpecializationType);
Aaron Ballmanb85be662015-09-11 11:51:24 +0000361 REGISTER_MATCHER(templateTypeParmType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000362 REGISTER_MATCHER(throughUsingDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000363 REGISTER_MATCHER(to);
Samuel Benzaquenef621f42015-02-10 14:46:45 +0000364 REGISTER_MATCHER(translationUnitDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000365 REGISTER_MATCHER(type);
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000366 REGISTER_MATCHER(typedefDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000367 REGISTER_MATCHER(typedefType);
Manuel Klimek7735e402014-10-09 13:06:22 +0000368 REGISTER_MATCHER(typeLoc);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000369 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000370 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000371 REGISTER_MATCHER(unaryTransformType);
Samuel Benzaquen4d058742013-11-22 14:41:48 +0000372 REGISTER_MATCHER(unless);
Aaron Ballmanb85be662015-09-11 11:51:24 +0000373 REGISTER_MATCHER(unresolvedUsingTypenameDecl);
Samuel Benzaquen0d455abe2013-11-25 15:03:44 +0000374 REGISTER_MATCHER(unresolvedUsingValueDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000375 REGISTER_MATCHER(userDefinedLiteral);
376 REGISTER_MATCHER(usingDecl);
Samuel Benzaquene1e74932014-08-15 19:13:27 +0000377 REGISTER_MATCHER(usingDirectiveDecl);
Samuel Benzaquenc640ef52014-10-28 13:33:58 +0000378 REGISTER_MATCHER(valueDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000379 REGISTER_MATCHER(varDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000380 REGISTER_MATCHER(variableArrayType);
Samuel Benzaquenb405c082014-12-15 15:09:22 +0000381 REGISTER_MATCHER(voidType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000382 REGISTER_MATCHER(whileStmt);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000383 REGISTER_MATCHER(withInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000384}
385
386RegistryMaps::~RegistryMaps() {
Aaron Ballman7596bcf2015-08-12 20:05:18 +0000387 llvm::DeleteContainerSeconds(Constructors);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000388}
389
390static llvm::ManagedStatic<RegistryMaps> RegistryData;
391
392} // anonymous namespace
393
394// static
Samuel Benzaquenf434c4f2014-04-14 13:51:21 +0000395llvm::Optional<MatcherCtor> Registry::lookupMatcherCtor(StringRef MatcherName) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000396 ConstructorMap::const_iterator it =
397 RegistryData->constructors().find(MatcherName);
Samuel Benzaquenf434c4f2014-04-14 13:51:21 +0000398 return it == RegistryData->constructors().end()
399 ? llvm::Optional<MatcherCtor>()
400 : it->second;
Manuel Klimek24db0f02013-05-14 09:13:00 +0000401}
402
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000403namespace {
404
405llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
406 const std::set<ASTNodeKind> &KS) {
407 unsigned Count = 0;
408 for (std::set<ASTNodeKind>::const_iterator I = KS.begin(), E = KS.end();
409 I != E; ++I) {
410 if (I != KS.begin())
411 OS << "|";
412 if (Count++ == 3) {
413 OS << "...";
414 break;
415 }
416 OS << *I;
417 }
418 return OS;
419}
420
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000421} // namespace
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000422
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000423std::vector<ArgKind> Registry::getAcceptedCompletionTypes(
424 ArrayRef<std::pair<MatcherCtor, unsigned>> Context) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000425 ASTNodeKind InitialTypes[] = {
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000426 ASTNodeKind::getFromNodeKind<Decl>(),
427 ASTNodeKind::getFromNodeKind<QualType>(),
428 ASTNodeKind::getFromNodeKind<Type>(),
429 ASTNodeKind::getFromNodeKind<Stmt>(),
430 ASTNodeKind::getFromNodeKind<NestedNameSpecifier>(),
431 ASTNodeKind::getFromNodeKind<NestedNameSpecifierLoc>(),
432 ASTNodeKind::getFromNodeKind<TypeLoc>()};
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000433
434 // Starting with the above seed of acceptable top-level matcher types, compute
435 // the acceptable type set for the argument indicated by each context element.
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000436 std::set<ArgKind> TypeSet(std::begin(InitialTypes), std::end(InitialTypes));
437 for (const auto &CtxEntry : Context) {
438 MatcherCtor Ctor = CtxEntry.first;
439 unsigned ArgNumber = CtxEntry.second;
440 std::vector<ArgKind> NextTypeSet;
441 for (const ArgKind &Kind : TypeSet) {
442 if (Kind.getArgKind() == Kind.AK_Matcher &&
443 Ctor->isConvertibleTo(Kind.getMatcherKind()) &&
444 (Ctor->isVariadic() || ArgNumber < Ctor->getNumArgs()))
445 Ctor->getArgKinds(Kind.getMatcherKind(), ArgNumber, NextTypeSet);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000446 }
447 TypeSet.clear();
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000448 TypeSet.insert(NextTypeSet.begin(), NextTypeSet.end());
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000449 }
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000450 return std::vector<ArgKind>(TypeSet.begin(), TypeSet.end());
451}
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000452
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000453std::vector<MatcherCompletion>
454Registry::getMatcherCompletions(ArrayRef<ArgKind> AcceptedTypes) {
455 std::vector<MatcherCompletion> Completions;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000456
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000457 // Search the registry for acceptable matchers.
Aaron Ballman001f1682015-08-12 19:00:39 +0000458 for (const auto &M : RegistryData->constructors()) {
459 const auto *Matcher = M.getValue();
460 StringRef Name = M.getKey();
461
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000462 std::set<ASTNodeKind> RetKinds;
Aaron Ballman001f1682015-08-12 19:00:39 +0000463 unsigned NumArgs = Matcher->isVariadic() ? 1 : Matcher->getNumArgs();
464 bool IsPolymorphic = Matcher->isPolymorphic();
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000465 std::vector<std::vector<ArgKind>> ArgsKinds(NumArgs);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000466 unsigned MaxSpecificity = 0;
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000467 for (const ArgKind& Kind : AcceptedTypes) {
468 if (Kind.getArgKind() != Kind.AK_Matcher)
469 continue;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000470 unsigned Specificity;
471 ASTNodeKind LeastDerivedKind;
Aaron Ballman001f1682015-08-12 19:00:39 +0000472 if (Matcher->isConvertibleTo(Kind.getMatcherKind(), &Specificity,
473 &LeastDerivedKind)) {
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000474 if (MaxSpecificity < Specificity)
475 MaxSpecificity = Specificity;
476 RetKinds.insert(LeastDerivedKind);
477 for (unsigned Arg = 0; Arg != NumArgs; ++Arg)
Aaron Ballman001f1682015-08-12 19:00:39 +0000478 Matcher->getArgKinds(Kind.getMatcherKind(), Arg, ArgsKinds[Arg]);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000479 if (IsPolymorphic)
480 break;
481 }
482 }
483
484 if (!RetKinds.empty() && MaxSpecificity > 0) {
485 std::string Decl;
486 llvm::raw_string_ostream OS(Decl);
487
488 if (IsPolymorphic) {
Aaron Ballman001f1682015-08-12 19:00:39 +0000489 OS << "Matcher<T> " << Name << "(Matcher<T>";
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000490 } else {
Aaron Ballman001f1682015-08-12 19:00:39 +0000491 OS << "Matcher<" << RetKinds << "> " << Name << "(";
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000492 for (const std::vector<ArgKind> &Arg : ArgsKinds) {
493 if (&Arg != &ArgsKinds[0])
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000494 OS << ", ";
Samuel Benzaquenb63c2512014-10-09 22:08:52 +0000495
496 bool FirstArgKind = true;
497 std::set<ASTNodeKind> MatcherKinds;
498 // Two steps. First all non-matchers, then matchers only.
499 for (const ArgKind &AK : Arg) {
500 if (AK.getArgKind() == ArgKind::AK_Matcher) {
501 MatcherKinds.insert(AK.getMatcherKind());
502 } else {
503 if (!FirstArgKind) OS << "|";
504 FirstArgKind = false;
505 OS << AK.asString();
506 }
507 }
508 if (!MatcherKinds.empty()) {
509 if (!FirstArgKind) OS << "|";
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000510 OS << "Matcher<" << MatcherKinds << ">";
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000511 }
512 }
513 }
Aaron Ballman001f1682015-08-12 19:00:39 +0000514 if (Matcher->isVariadic())
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000515 OS << "...";
516 OS << ")";
517
Aaron Ballman001f1682015-08-12 19:00:39 +0000518 std::string TypedText = Name;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000519 TypedText += "(";
520 if (ArgsKinds.empty())
521 TypedText += ")";
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000522 else if (ArgsKinds[0][0].getArgKind() == ArgKind::AK_String)
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000523 TypedText += "\"";
524
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000525 Completions.emplace_back(TypedText, OS.str(), MaxSpecificity);
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000526 }
527 }
528
Samuel Benzaquen646f23b2014-08-12 21:11:37 +0000529 return Completions;
Peter Collingbourned32e28c2014-01-23 22:48:38 +0000530}
531
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000532// static
Peter Collingbourne00cba4f2013-11-23 01:13:16 +0000533VariantMatcher Registry::constructMatcher(MatcherCtor Ctor,
Craig Toppere335f252015-10-04 04:53:55 +0000534 SourceRange NameRange,
Peter Collingbourne00cba4f2013-11-23 01:13:16 +0000535 ArrayRef<ParserValue> Args,
536 Diagnostics *Error) {
Peter Collingbournef43e6942013-11-23 01:34:36 +0000537 return Ctor->create(NameRange, Args, Error);
Peter Collingbourne00cba4f2013-11-23 01:13:16 +0000538}
539
540// static
541VariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor,
Craig Toppere335f252015-10-04 04:53:55 +0000542 SourceRange NameRange,
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000543 StringRef BindID,
544 ArrayRef<ParserValue> Args,
545 Diagnostics *Error) {
Peter Collingbourne00cba4f2013-11-23 01:13:16 +0000546 VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error);
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000547 if (Out.isNull()) return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000548
Samuel Benzaquenf34ac3e2013-10-29 14:37:15 +0000549 llvm::Optional<DynTypedMatcher> Result = Out.getSingleMatcher();
550 if (Result.hasValue()) {
551 llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID);
552 if (Bound.hasValue()) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000553 return VariantMatcher::SingleMatcher(*Bound);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000554 }
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000555 }
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000556 Error->addError(NameRange, Error->ET_RegistryNotBindable);
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000557 return VariantMatcher();
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000558}
559
Manuel Klimek24db0f02013-05-14 09:13:00 +0000560} // namespace dynamic
561} // namespace ast_matchers
562} // namespace clang