blob: 4bc50a0f2a967a76019fd56f059e4050e709b238 [file] [log] [blame]
Samuel Benzaquene30903d2013-05-15 19:49:05 +00001//===--- Registry.cpp - Matcher registry -------------------------===//
Manuel Klimekf7f295f2013-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 Benzaquene30903d2013-05-15 19:49:05 +00008//===------------------------------------------------------------===//
Manuel Klimekf7f295f2013-05-14 09:13:00 +00009///
10/// \file
11/// \brief Registry map populated at static initialization time.
12///
Samuel Benzaquene30903d2013-05-15 19:49:05 +000013//===------------------------------------------------------------===//
Manuel Klimekf7f295f2013-05-14 09:13:00 +000014
15#include "clang/ASTMatchers/Dynamic/Registry.h"
Manuel Klimekf7f295f2013-05-14 09:13:00 +000016#include "Marshallers.h"
17#include "clang/ASTMatchers/ASTMatchers.h"
18#include "llvm/ADT/StringMap.h"
19#include "llvm/ADT/StringRef.h"
20#include "llvm/Support/ManagedStatic.h"
Stephen Hines651f13c2014-04-23 16:59:28 -070021#include <set>
22#include <utility>
23
24using namespace clang::ast_type_traits;
Manuel Klimekf7f295f2013-05-14 09:13:00 +000025
26namespace clang {
27namespace ast_matchers {
28namespace dynamic {
29namespace {
30
Stephen Hines651f13c2014-04-23 16:59:28 -070031using internal::MatcherDescriptor;
Manuel Klimekf7f295f2013-05-14 09:13:00 +000032
Stephen Hines651f13c2014-04-23 16:59:28 -070033typedef llvm::StringMap<const MatcherDescriptor *> ConstructorMap;
Manuel Klimekf7f295f2013-05-14 09:13:00 +000034class RegistryMaps {
35public:
36 RegistryMaps();
37 ~RegistryMaps();
38
39 const ConstructorMap &constructors() const { return Constructors; }
40
41private:
Stephen Hines651f13c2014-04-23 16:59:28 -070042 void registerMatcher(StringRef MatcherName, MatcherDescriptor *Callback);
Manuel Klimekf7f295f2013-05-14 09:13:00 +000043 ConstructorMap Constructors;
44};
45
46void RegistryMaps::registerMatcher(StringRef MatcherName,
Stephen Hines651f13c2014-04-23 16:59:28 -070047 MatcherDescriptor *Callback) {
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000048 assert(Constructors.find(MatcherName) == Constructors.end());
Manuel Klimekf7f295f2013-05-14 09:13:00 +000049 Constructors[MatcherName] = Callback;
50}
51
52#define REGISTER_MATCHER(name) \
53 registerMatcher(#name, internal::makeMatcherAutoMarshall( \
54 ::clang::ast_matchers::name, #name));
55
Samuel Benzaquen0e1896a2013-07-22 16:13:57 +000056#define SPECIFIC_MATCHER_OVERLOAD(name, Id) \
57 static_cast< ::clang::ast_matchers::name##_Type##Id>( \
58 ::clang::ast_matchers::name)
59
60#define REGISTER_OVERLOADED_2(name) \
61 do { \
Stephen Hines651f13c2014-04-23 16:59:28 -070062 MatcherDescriptor *Callbacks[] = { \
Samuel Benzaquen0e1896a2013-07-22 16:13:57 +000063 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 0), \
64 #name), \
65 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 1), \
66 #name) \
67 }; \
Samuel Benzaquenee0da952013-08-16 16:19:42 +000068 registerMatcher(#name, \
Stephen Hines651f13c2014-04-23 16:59:28 -070069 new internal::OverloadedMatcherDescriptor(Callbacks)); \
Samuel Benzaquen6de440e2013-07-24 14:48:01 +000070 } while (0)
71
Manuel Klimekf7f295f2013-05-14 09:13:00 +000072/// \brief Generate a registry map with all the known matchers.
73RegistryMaps::RegistryMaps() {
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000074 // TODO: Here is the list of the missing matchers, grouped by reason.
75 //
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000076 // Need Variant/Parser fixes:
77 // ofKind
78 //
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000079 // Polymorphic + argument overload:
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000080 // findAll
81 //
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000082 // Other:
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000083 // equals
84 // equalsNode
Manuel Klimekf7f295f2013-05-14 09:13:00 +000085
Samuel Benzaquen0e1896a2013-07-22 16:13:57 +000086 REGISTER_OVERLOADED_2(callee);
87 REGISTER_OVERLOADED_2(hasPrefix);
88 REGISTER_OVERLOADED_2(hasType);
89 REGISTER_OVERLOADED_2(isDerivedFrom);
90 REGISTER_OVERLOADED_2(isSameOrDerivedFrom);
Stephen Hines651f13c2014-04-23 16:59:28 -070091 REGISTER_OVERLOADED_2(loc);
Samuel Benzaquen0e1896a2013-07-22 16:13:57 +000092 REGISTER_OVERLOADED_2(pointsTo);
93 REGISTER_OVERLOADED_2(references);
94 REGISTER_OVERLOADED_2(thisPointerType);
95
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000096 REGISTER_MATCHER(accessSpecDecl);
97 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquena7350902013-08-28 18:42:04 +000098 REGISTER_MATCHER(allOf);
99 REGISTER_MATCHER(anyOf);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000100 REGISTER_MATCHER(anything);
101 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000102 REGISTER_MATCHER(arraySubscriptExpr);
103 REGISTER_MATCHER(arrayType);
104 REGISTER_MATCHER(asString);
105 REGISTER_MATCHER(asmStmt);
106 REGISTER_MATCHER(atomicType);
107 REGISTER_MATCHER(autoType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000108 REGISTER_MATCHER(binaryOperator);
109 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000110 REGISTER_MATCHER(blockPointerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000111 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000112 REGISTER_MATCHER(breakStmt);
113 REGISTER_MATCHER(builtinType);
114 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000115 REGISTER_MATCHER(callExpr);
Stephen Hines651f13c2014-04-23 16:59:28 -0700116 REGISTER_MATCHER(caseStmt);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000117 REGISTER_MATCHER(castExpr);
118 REGISTER_MATCHER(catchStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000119 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000120 REGISTER_MATCHER(classTemplateDecl);
121 REGISTER_MATCHER(classTemplateSpecializationDecl);
122 REGISTER_MATCHER(complexType);
123 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000124 REGISTER_MATCHER(compoundStmt);
125 REGISTER_MATCHER(conditionalOperator);
126 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000127 REGISTER_MATCHER(constantArrayType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000128 REGISTER_MATCHER(constructExpr);
129 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000130 REGISTER_MATCHER(containsDeclaration);
131 REGISTER_MATCHER(continueStmt);
Stefanus Du Toit30d405b2013-08-15 00:33:08 +0000132 REGISTER_MATCHER(ctorInitializer);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000133 REGISTER_MATCHER(decl);
134 REGISTER_MATCHER(declCountIs);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000135 REGISTER_MATCHER(declRefExpr);
136 REGISTER_MATCHER(declStmt);
Stephen Hines651f13c2014-04-23 16:59:28 -0700137 REGISTER_MATCHER(declaratorDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000138 REGISTER_MATCHER(defaultArgExpr);
Stephen Hines651f13c2014-04-23 16:59:28 -0700139 REGISTER_MATCHER(defaultStmt);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000140 REGISTER_MATCHER(deleteExpr);
141 REGISTER_MATCHER(dependentSizedArrayType);
142 REGISTER_MATCHER(destructorDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000143 REGISTER_MATCHER(doStmt);
144 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquena7350902013-08-28 18:42:04 +0000145 REGISTER_MATCHER(eachOf);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000146 REGISTER_MATCHER(elaboratedType);
147 REGISTER_MATCHER(enumConstantDecl);
148 REGISTER_MATCHER(enumDecl);
Stephen Hines651f13c2014-04-23 16:59:28 -0700149 REGISTER_MATCHER(equalsBoundNode);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000150 REGISTER_MATCHER(explicitCastExpr);
151 REGISTER_MATCHER(expr);
Stephen Hines651f13c2014-04-23 16:59:28 -0700152 REGISTER_MATCHER(exprWithCleanups);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000153 REGISTER_MATCHER(fieldDecl);
Daniel Jasperc5ae7172013-07-26 18:52:58 +0000154 REGISTER_MATCHER(floatLiteral);
Samuel Benzaquenee0da952013-08-16 16:19:42 +0000155 REGISTER_MATCHER(forEach);
Stephen Hines651f13c2014-04-23 16:59:28 -0700156 REGISTER_MATCHER(forEachConstructorInitializer);
Samuel Benzaquenee0da952013-08-16 16:19:42 +0000157 REGISTER_MATCHER(forEachDescendant);
Stephen Hines651f13c2014-04-23 16:59:28 -0700158 REGISTER_MATCHER(forEachSwitchCase);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000159 REGISTER_MATCHER(forField);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000160 REGISTER_MATCHER(forRangeStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000161 REGISTER_MATCHER(forStmt);
Stephen Hines651f13c2014-04-23 16:59:28 -0700162 REGISTER_MATCHER(friendDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000163 REGISTER_MATCHER(functionDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000164 REGISTER_MATCHER(functionTemplateDecl);
165 REGISTER_MATCHER(functionType);
166 REGISTER_MATCHER(functionalCastExpr);
167 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenee0da952013-08-16 16:19:42 +0000168 REGISTER_MATCHER(has);
169 REGISTER_MATCHER(hasAncestor);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000170 REGISTER_MATCHER(hasAnyArgument);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000171 REGISTER_MATCHER(hasAnyConstructorInitializer);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000172 REGISTER_MATCHER(hasAnyParameter);
173 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquen671840a2013-07-17 15:11:30 +0000174 REGISTER_MATCHER(hasAnyTemplateArgument);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000175 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000176 REGISTER_MATCHER(hasArgument);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000177 REGISTER_MATCHER(hasArgumentOfType);
178 REGISTER_MATCHER(hasBase);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000179 REGISTER_MATCHER(hasBody);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000180 REGISTER_MATCHER(hasCanonicalType);
Stephen Hines651f13c2014-04-23 16:59:28 -0700181 REGISTER_MATCHER(hasCaseConstant);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000182 REGISTER_MATCHER(hasCondition);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000183 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000184 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen6c1dc782013-11-18 14:53:42 +0000185 REGISTER_MATCHER(hasDeclaration);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000186 REGISTER_MATCHER(hasDeducedType);
Samuel Benzaquenee0da952013-08-16 16:19:42 +0000187 REGISTER_MATCHER(hasDescendant);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000188 REGISTER_MATCHER(hasDestinationType);
189 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000190 REGISTER_MATCHER(hasElementType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000191 REGISTER_MATCHER(hasFalseExpression);
Stephen Hinesef822542014-07-21 00:47:37 -0700192 REGISTER_MATCHER(hasGlobalStorage);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000193 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000194 REGISTER_MATCHER(hasIncrement);
195 REGISTER_MATCHER(hasIndex);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000196 REGISTER_MATCHER(hasInitializer);
197 REGISTER_MATCHER(hasLHS);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000198 REGISTER_MATCHER(hasLocalQualifiers);
Stephen Hinesef822542014-07-21 00:47:37 -0700199 REGISTER_MATCHER(hasLocalStorage);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000200 REGISTER_MATCHER(hasLoopInit);
201 REGISTER_MATCHER(hasMethod);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000202 REGISTER_MATCHER(hasName);
203 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000204 REGISTER_MATCHER(hasOperatorName);
205 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000206 REGISTER_MATCHER(hasParameter);
Samuel Benzaquenee0da952013-08-16 16:19:42 +0000207 REGISTER_MATCHER(hasParent);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000208 REGISTER_MATCHER(hasQualifier);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000209 REGISTER_MATCHER(hasRHS);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000210 REGISTER_MATCHER(hasSingleDecl);
211 REGISTER_MATCHER(hasSize);
212 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000213 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000214 REGISTER_MATCHER(hasTargetDecl);
Samuel Benzaquen671840a2013-07-17 15:11:30 +0000215 REGISTER_MATCHER(hasTemplateArgument);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000216 REGISTER_MATCHER(hasTrueExpression);
Stephen Hines651f13c2014-04-23 16:59:28 -0700217 REGISTER_MATCHER(hasTypeLoc);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000218 REGISTER_MATCHER(hasUnaryOperand);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000219 REGISTER_MATCHER(hasValueType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000220 REGISTER_MATCHER(ifStmt);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000221 REGISTER_MATCHER(ignoringImpCasts);
222 REGISTER_MATCHER(ignoringParenCasts);
223 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000224 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000225 REGISTER_MATCHER(incompleteArrayType);
226 REGISTER_MATCHER(initListExpr);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000227 REGISTER_MATCHER(innerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000228 REGISTER_MATCHER(integerLiteral);
229 REGISTER_MATCHER(isArrow);
Stephen Hines651f13c2014-04-23 16:59:28 -0700230 REGISTER_MATCHER(isConst);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000231 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000232 REGISTER_MATCHER(isDefinition);
233 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Stephen Hines651f13c2014-04-23 16:59:28 -0700234 REGISTER_MATCHER(isExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000235 REGISTER_MATCHER(isExternC);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000236 REGISTER_MATCHER(isImplicit);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000237 REGISTER_MATCHER(isInteger);
Stephen Hines651f13c2014-04-23 16:59:28 -0700238 REGISTER_MATCHER(isListInitialization);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000239 REGISTER_MATCHER(isOverride);
240 REGISTER_MATCHER(isPrivate);
241 REGISTER_MATCHER(isProtected);
242 REGISTER_MATCHER(isPublic);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000243 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000244 REGISTER_MATCHER(isVirtual);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000245 REGISTER_MATCHER(isWritten);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000246 REGISTER_MATCHER(lValueReferenceType);
247 REGISTER_MATCHER(labelStmt);
248 REGISTER_MATCHER(lambdaExpr);
249 REGISTER_MATCHER(matchesName);
250 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000251 REGISTER_MATCHER(member);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000252 REGISTER_MATCHER(memberCallExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000253 REGISTER_MATCHER(memberExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000254 REGISTER_MATCHER(memberPointerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000255 REGISTER_MATCHER(methodDecl);
256 REGISTER_MATCHER(namedDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000257 REGISTER_MATCHER(namesType);
258 REGISTER_MATCHER(namespaceDecl);
259 REGISTER_MATCHER(nestedNameSpecifier);
260 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000261 REGISTER_MATCHER(newExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000262 REGISTER_MATCHER(nullPtrLiteralExpr);
263 REGISTER_MATCHER(nullStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000264 REGISTER_MATCHER(ofClass);
265 REGISTER_MATCHER(on);
266 REGISTER_MATCHER(onImplicitObjectArgument);
267 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000268 REGISTER_MATCHER(parameterCountIs);
269 REGISTER_MATCHER(parenType);
Stephen Hines651f13c2014-04-23 16:59:28 -0700270 REGISTER_MATCHER(parmVarDecl);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000271 REGISTER_MATCHER(pointee);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000272 REGISTER_MATCHER(pointerType);
273 REGISTER_MATCHER(qualType);
274 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000275 REGISTER_MATCHER(recordDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000276 REGISTER_MATCHER(recordType);
277 REGISTER_MATCHER(referenceType);
278 REGISTER_MATCHER(refersToDeclaration);
279 REGISTER_MATCHER(refersToType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000280 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000281 REGISTER_MATCHER(returnStmt);
282 REGISTER_MATCHER(returns);
283 REGISTER_MATCHER(sizeOfExpr);
284 REGISTER_MATCHER(specifiesNamespace);
285 REGISTER_MATCHER(specifiesType);
286 REGISTER_MATCHER(specifiesTypeLoc);
287 REGISTER_MATCHER(statementCountIs);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000288 REGISTER_MATCHER(staticCastExpr);
289 REGISTER_MATCHER(stmt);
290 REGISTER_MATCHER(stringLiteral);
291 REGISTER_MATCHER(switchCase);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000292 REGISTER_MATCHER(switchStmt);
293 REGISTER_MATCHER(templateSpecializationType);
Stephen Hines651f13c2014-04-23 16:59:28 -0700294 REGISTER_MATCHER(temporaryObjectExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000295 REGISTER_MATCHER(thisExpr);
296 REGISTER_MATCHER(throughUsingDecl);
297 REGISTER_MATCHER(throwExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000298 REGISTER_MATCHER(to);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000299 REGISTER_MATCHER(tryStmt);
300 REGISTER_MATCHER(type);
301 REGISTER_MATCHER(typeLoc);
302 REGISTER_MATCHER(typedefType);
303 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000304 REGISTER_MATCHER(unaryOperator);
Stephen Hines651f13c2014-04-23 16:59:28 -0700305 REGISTER_MATCHER(unaryTransformType);
306 REGISTER_MATCHER(unless);
307 REGISTER_MATCHER(unresolvedConstructExpr);
308 REGISTER_MATCHER(unresolvedUsingValueDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000309 REGISTER_MATCHER(userDefinedLiteral);
310 REGISTER_MATCHER(usingDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000311 REGISTER_MATCHER(varDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000312 REGISTER_MATCHER(variableArrayType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000313 REGISTER_MATCHER(whileStmt);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000314 REGISTER_MATCHER(withInitializer);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000315}
316
317RegistryMaps::~RegistryMaps() {
318 for (ConstructorMap::iterator it = Constructors.begin(),
319 end = Constructors.end();
320 it != end; ++it) {
321 delete it->second;
322 }
323}
324
325static llvm::ManagedStatic<RegistryMaps> RegistryData;
326
327} // anonymous namespace
328
329// static
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700330llvm::Optional<MatcherCtor> Registry::lookupMatcherCtor(StringRef MatcherName) {
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000331 ConstructorMap::const_iterator it =
332 RegistryData->constructors().find(MatcherName);
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700333 return it == RegistryData->constructors().end()
334 ? llvm::Optional<MatcherCtor>()
335 : it->second;
Stephen Hines651f13c2014-04-23 16:59:28 -0700336}
337
338namespace {
339
340llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
341 const std::set<ASTNodeKind> &KS) {
342 unsigned Count = 0;
343 for (std::set<ASTNodeKind>::const_iterator I = KS.begin(), E = KS.end();
344 I != E; ++I) {
345 if (I != KS.begin())
346 OS << "|";
347 if (Count++ == 3) {
348 OS << "...";
349 break;
350 }
351 OS << *I;
352 }
353 return OS;
354}
355
356struct ReverseSpecificityThenName {
357 bool operator()(const std::pair<unsigned, std::string> &A,
358 const std::pair<unsigned, std::string> &B) const {
359 return A.first > B.first || (A.first == B.first && A.second < B.second);
360 }
361};
362
363}
364
365std::vector<MatcherCompletion> Registry::getCompletions(
Stephen Hinesef822542014-07-21 00:47:37 -0700366 ArrayRef<std::pair<MatcherCtor, unsigned> > Context) {
Stephen Hines651f13c2014-04-23 16:59:28 -0700367 ASTNodeKind InitialTypes[] = {
368 ASTNodeKind::getFromNodeKind<Decl>(),
369 ASTNodeKind::getFromNodeKind<QualType>(),
370 ASTNodeKind::getFromNodeKind<Type>(),
371 ASTNodeKind::getFromNodeKind<Stmt>(),
372 ASTNodeKind::getFromNodeKind<NestedNameSpecifier>(),
373 ASTNodeKind::getFromNodeKind<NestedNameSpecifierLoc>(),
374 ASTNodeKind::getFromNodeKind<TypeLoc>()
375 };
Stephen Hinesef822542014-07-21 00:47:37 -0700376 ArrayRef<ASTNodeKind> InitialTypesRef(InitialTypes);
Stephen Hines651f13c2014-04-23 16:59:28 -0700377
378 // Starting with the above seed of acceptable top-level matcher types, compute
379 // the acceptable type set for the argument indicated by each context element.
380 std::set<ASTNodeKind> TypeSet(InitialTypesRef.begin(), InitialTypesRef.end());
Stephen Hinesef822542014-07-21 00:47:37 -0700381 for (ArrayRef<std::pair<MatcherCtor, unsigned> >::iterator
Stephen Hines651f13c2014-04-23 16:59:28 -0700382 CtxI = Context.begin(),
383 CtxE = Context.end();
384 CtxI != CtxE; ++CtxI) {
385 std::vector<internal::ArgKind> NextTypeSet;
386 for (std::set<ASTNodeKind>::iterator I = TypeSet.begin(), E = TypeSet.end();
387 I != E; ++I) {
388 if (CtxI->first->isConvertibleTo(*I) &&
389 (CtxI->first->isVariadic() ||
390 CtxI->second < CtxI->first->getNumArgs()))
391 CtxI->first->getArgKinds(*I, CtxI->second, NextTypeSet);
392 }
393 TypeSet.clear();
394 for (std::vector<internal::ArgKind>::iterator I = NextTypeSet.begin(),
395 E = NextTypeSet.end();
396 I != E; ++I) {
397 if (I->getArgKind() == internal::ArgKind::AK_Matcher)
398 TypeSet.insert(I->getMatcherKind());
399 }
400 }
401
402 typedef std::map<std::pair<unsigned, std::string>, MatcherCompletion,
403 ReverseSpecificityThenName> CompletionsTy;
404 CompletionsTy Completions;
405
406 // TypeSet now contains the list of acceptable types for the argument we are
407 // completing. Search the registry for acceptable matchers.
408 for (ConstructorMap::const_iterator I = RegistryData->constructors().begin(),
409 E = RegistryData->constructors().end();
410 I != E; ++I) {
411 std::set<ASTNodeKind> RetKinds;
412 unsigned NumArgs = I->second->isVariadic() ? 1 : I->second->getNumArgs();
413 bool IsPolymorphic = I->second->isPolymorphic();
414 std::vector<std::vector<internal::ArgKind> > ArgsKinds(NumArgs);
415 unsigned MaxSpecificity = 0;
416 for (std::set<ASTNodeKind>::iterator TI = TypeSet.begin(),
417 TE = TypeSet.end();
418 TI != TE; ++TI) {
419 unsigned Specificity;
420 ASTNodeKind LeastDerivedKind;
421 if (I->second->isConvertibleTo(*TI, &Specificity, &LeastDerivedKind)) {
422 if (MaxSpecificity < Specificity)
423 MaxSpecificity = Specificity;
424 RetKinds.insert(LeastDerivedKind);
425 for (unsigned Arg = 0; Arg != NumArgs; ++Arg)
426 I->second->getArgKinds(*TI, Arg, ArgsKinds[Arg]);
427 if (IsPolymorphic)
428 break;
429 }
430 }
431
432 if (!RetKinds.empty() && MaxSpecificity > 0) {
433 std::string Decl;
434 llvm::raw_string_ostream OS(Decl);
435
436 if (IsPolymorphic) {
437 OS << "Matcher<T> " << I->first() << "(Matcher<T>";
438 } else {
439 OS << "Matcher<" << RetKinds << "> " << I->first() << "(";
440 for (std::vector<std::vector<internal::ArgKind> >::iterator
441 KI = ArgsKinds.begin(),
442 KE = ArgsKinds.end();
443 KI != KE; ++KI) {
444 if (KI != ArgsKinds.begin())
445 OS << ", ";
446 // This currently assumes that a matcher may not overload a
447 // non-matcher, and all non-matcher overloads have identical
448 // arguments.
449 if ((*KI)[0].getArgKind() == internal::ArgKind::AK_Matcher) {
450 std::set<ASTNodeKind> MatcherKinds;
451 std::transform(
452 KI->begin(), KI->end(),
453 std::inserter(MatcherKinds, MatcherKinds.end()),
454 std::mem_fun_ref(&internal::ArgKind::getMatcherKind));
455 OS << "Matcher<" << MatcherKinds << ">";
456 } else {
457 OS << (*KI)[0].asString();
458 }
459 }
460 }
461 if (I->second->isVariadic())
462 OS << "...";
463 OS << ")";
464
465 std::string TypedText = I->first();
466 TypedText += "(";
467 if (ArgsKinds.empty())
468 TypedText += ")";
469 else if (ArgsKinds[0][0].getArgKind() == internal::ArgKind::AK_String)
470 TypedText += "\"";
471
472 Completions[std::make_pair(MaxSpecificity, I->first())] =
473 MatcherCompletion(TypedText, OS.str());
474 }
475 }
476
477 std::vector<MatcherCompletion> RetVal;
478 for (CompletionsTy::iterator I = Completions.begin(), E = Completions.end();
479 I != E; ++I)
480 RetVal.push_back(I->second);
481 return RetVal;
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000482}
483
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000484// static
Stephen Hines651f13c2014-04-23 16:59:28 -0700485VariantMatcher Registry::constructMatcher(MatcherCtor Ctor,
486 const SourceRange &NameRange,
487 ArrayRef<ParserValue> Args,
488 Diagnostics *Error) {
489 return Ctor->create(NameRange, Args, Error);
490}
491
492// static
493VariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor,
Samuel Benzaquen9d028072013-08-13 14:54:51 +0000494 const SourceRange &NameRange,
495 StringRef BindID,
496 ArrayRef<ParserValue> Args,
497 Diagnostics *Error) {
Stephen Hines651f13c2014-04-23 16:59:28 -0700498 VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error);
Samuel Benzaquen9d028072013-08-13 14:54:51 +0000499 if (Out.isNull()) return Out;
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000500
Samuel Benzaquenb7488d72013-10-29 14:37:15 +0000501 llvm::Optional<DynTypedMatcher> Result = Out.getSingleMatcher();
502 if (Result.hasValue()) {
503 llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID);
504 if (Bound.hasValue()) {
Samuel Benzaquen9d028072013-08-13 14:54:51 +0000505 return VariantMatcher::SingleMatcher(*Bound);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000506 }
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000507 }
Samuel Benzaquen8a77c202013-07-18 19:47:59 +0000508 Error->addError(NameRange, Error->ET_RegistryNotBindable);
Samuel Benzaquen9d028072013-08-13 14:54:51 +0000509 return VariantMatcher();
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000510}
511
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000512} // namespace dynamic
513} // namespace ast_matchers
514} // namespace clang