blob: 6cab4073b962b5e7b8e6bf54b771dc2c6d8a968a [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"
16
17#include <utility>
18
19#include "Marshallers.h"
20#include "clang/ASTMatchers/ASTMatchers.h"
21#include "llvm/ADT/StringMap.h"
22#include "llvm/ADT/StringRef.h"
23#include "llvm/Support/ManagedStatic.h"
24
25namespace clang {
26namespace ast_matchers {
27namespace dynamic {
28namespace {
29
30using internal::MatcherCreateCallback;
31
32typedef llvm::StringMap<const MatcherCreateCallback *> ConstructorMap;
33class RegistryMaps {
34public:
35 RegistryMaps();
36 ~RegistryMaps();
37
38 const ConstructorMap &constructors() const { return Constructors; }
39
40private:
41 void registerMatcher(StringRef MatcherName, MatcherCreateCallback *Callback);
42 ConstructorMap Constructors;
43};
44
45void RegistryMaps::registerMatcher(StringRef MatcherName,
46 MatcherCreateCallback *Callback) {
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000047 assert(Constructors.find(MatcherName) == Constructors.end());
Manuel Klimek24db0f02013-05-14 09:13:00 +000048 Constructors[MatcherName] = Callback;
49}
50
51#define REGISTER_MATCHER(name) \
52 registerMatcher(#name, internal::makeMatcherAutoMarshall( \
53 ::clang::ast_matchers::name, #name));
54
55/// \brief Generate a registry map with all the known matchers.
56RegistryMaps::RegistryMaps() {
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000057 // TODO: Here is the list of the missing matchers, grouped by reason.
58 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000059 // Need Variant/Parser fixes:
60 // ofKind
61 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000062 // Function overloaded by args:
63 // hasType
64 // callee
65 // hasPrefix
66 // isDerivedFrom
67 // isSameOrDerivedFrom
68 // pointsTo
69 // references
70 // thisPointerType
71 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000072 // Polymorphic + argument overload:
73 // unless
74 // eachOf
75 // anyOf
76 // allOf
77 // findAll
78 //
79 // Adaptative matcher (similar to polymorphic matcher):
80 // has
81 // forEach
82 // forEachDescendant
83 // hasDescendant
84 // hasParent
85 // hasAncestor
86 //
87 // Other:
88 // loc
89 // equals
90 // equalsNode
91 // hasDeclaration
Manuel Klimek24db0f02013-05-14 09:13:00 +000092
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000093 REGISTER_MATCHER(accessSpecDecl);
94 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +000095 REGISTER_MATCHER(anything);
96 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000097 REGISTER_MATCHER(arraySubscriptExpr);
98 REGISTER_MATCHER(arrayType);
99 REGISTER_MATCHER(asString);
100 REGISTER_MATCHER(asmStmt);
101 REGISTER_MATCHER(atomicType);
102 REGISTER_MATCHER(autoType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000103 REGISTER_MATCHER(binaryOperator);
104 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000105 REGISTER_MATCHER(blockPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000106 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000107 REGISTER_MATCHER(breakStmt);
108 REGISTER_MATCHER(builtinType);
109 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000110 REGISTER_MATCHER(callExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000111 REGISTER_MATCHER(castExpr);
112 REGISTER_MATCHER(catchStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000113 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000114 REGISTER_MATCHER(classTemplateDecl);
115 REGISTER_MATCHER(classTemplateSpecializationDecl);
116 REGISTER_MATCHER(complexType);
117 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000118 REGISTER_MATCHER(compoundStmt);
119 REGISTER_MATCHER(conditionalOperator);
120 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000121 REGISTER_MATCHER(constantArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000122 REGISTER_MATCHER(constructExpr);
123 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000124 REGISTER_MATCHER(containsDeclaration);
125 REGISTER_MATCHER(continueStmt);
126 REGISTER_MATCHER(decl);
127 REGISTER_MATCHER(declCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000128 REGISTER_MATCHER(declRefExpr);
129 REGISTER_MATCHER(declStmt);
130 REGISTER_MATCHER(defaultArgExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000131 REGISTER_MATCHER(deleteExpr);
132 REGISTER_MATCHER(dependentSizedArrayType);
133 REGISTER_MATCHER(destructorDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000134 REGISTER_MATCHER(doStmt);
135 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000136 REGISTER_MATCHER(elaboratedType);
137 REGISTER_MATCHER(enumConstantDecl);
138 REGISTER_MATCHER(enumDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000139 REGISTER_MATCHER(explicitCastExpr);
140 REGISTER_MATCHER(expr);
141 REGISTER_MATCHER(fieldDecl);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000142 REGISTER_MATCHER(forField);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000143 REGISTER_MATCHER(forRangeStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000144 REGISTER_MATCHER(forStmt);
145 REGISTER_MATCHER(functionDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000146 REGISTER_MATCHER(functionTemplateDecl);
147 REGISTER_MATCHER(functionType);
148 REGISTER_MATCHER(functionalCastExpr);
149 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000150 REGISTER_MATCHER(hasAnyArgument);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000151 REGISTER_MATCHER(hasAnyConstructorInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000152 REGISTER_MATCHER(hasAnyParameter);
153 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000154 REGISTER_MATCHER(hasAnyTemplateArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000155 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000156 REGISTER_MATCHER(hasArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000157 REGISTER_MATCHER(hasArgumentOfType);
158 REGISTER_MATCHER(hasBase);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000159 REGISTER_MATCHER(hasBody);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000160 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000161 REGISTER_MATCHER(hasCondition);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000162 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000163 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000164 REGISTER_MATCHER(hasDeducedType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000165 REGISTER_MATCHER(hasDestinationType);
166 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000167 REGISTER_MATCHER(hasElementType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000168 REGISTER_MATCHER(hasFalseExpression);
169 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000170 REGISTER_MATCHER(hasIncrement);
171 REGISTER_MATCHER(hasIndex);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000172 REGISTER_MATCHER(hasInitializer);
173 REGISTER_MATCHER(hasLHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000174 REGISTER_MATCHER(hasLocalQualifiers);
175 REGISTER_MATCHER(hasLoopInit);
176 REGISTER_MATCHER(hasMethod);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000177 REGISTER_MATCHER(hasName);
178 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000179 REGISTER_MATCHER(hasOperatorName);
180 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000181 REGISTER_MATCHER(hasParameter);
182 REGISTER_MATCHER(hasQualifier);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000183 REGISTER_MATCHER(hasRHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000184 REGISTER_MATCHER(hasSingleDecl);
185 REGISTER_MATCHER(hasSize);
186 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000187 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000188 REGISTER_MATCHER(hasTargetDecl);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000189 REGISTER_MATCHER(hasTemplateArgument);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000190 REGISTER_MATCHER(hasTrueExpression);
191 REGISTER_MATCHER(hasUnaryOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000192 REGISTER_MATCHER(hasValueType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000193 REGISTER_MATCHER(ifStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000194 REGISTER_MATCHER(ignoringImpCasts);
195 REGISTER_MATCHER(ignoringParenCasts);
196 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000197 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000198 REGISTER_MATCHER(incompleteArrayType);
199 REGISTER_MATCHER(initListExpr);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000200 REGISTER_MATCHER(innerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000201 REGISTER_MATCHER(integerLiteral);
202 REGISTER_MATCHER(isArrow);
203 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000204 REGISTER_MATCHER(isDefinition);
205 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000206 REGISTER_MATCHER(isExternC);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000207 REGISTER_MATCHER(isImplicit);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000208 REGISTER_MATCHER(isInteger);
209 REGISTER_MATCHER(isOverride);
210 REGISTER_MATCHER(isPrivate);
211 REGISTER_MATCHER(isProtected);
212 REGISTER_MATCHER(isPublic);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000213 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000214 REGISTER_MATCHER(isVirtual);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000215 REGISTER_MATCHER(isWritten);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000216 REGISTER_MATCHER(lValueReferenceType);
217 REGISTER_MATCHER(labelStmt);
218 REGISTER_MATCHER(lambdaExpr);
219 REGISTER_MATCHER(matchesName);
220 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000221 REGISTER_MATCHER(member);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000222 REGISTER_MATCHER(memberCallExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000223 REGISTER_MATCHER(memberExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000224 REGISTER_MATCHER(memberPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000225 REGISTER_MATCHER(methodDecl);
226 REGISTER_MATCHER(namedDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000227 REGISTER_MATCHER(namesType);
228 REGISTER_MATCHER(namespaceDecl);
229 REGISTER_MATCHER(nestedNameSpecifier);
230 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000231 REGISTER_MATCHER(newExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000232 REGISTER_MATCHER(nullPtrLiteralExpr);
233 REGISTER_MATCHER(nullStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000234 REGISTER_MATCHER(ofClass);
235 REGISTER_MATCHER(on);
236 REGISTER_MATCHER(onImplicitObjectArgument);
237 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000238 REGISTER_MATCHER(parameterCountIs);
239 REGISTER_MATCHER(parenType);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000240 REGISTER_MATCHER(pointee);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000241 REGISTER_MATCHER(pointerType);
242 REGISTER_MATCHER(qualType);
243 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000244 REGISTER_MATCHER(recordDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000245 REGISTER_MATCHER(recordType);
246 REGISTER_MATCHER(referenceType);
247 REGISTER_MATCHER(refersToDeclaration);
248 REGISTER_MATCHER(refersToType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000249 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000250 REGISTER_MATCHER(returnStmt);
251 REGISTER_MATCHER(returns);
252 REGISTER_MATCHER(sizeOfExpr);
253 REGISTER_MATCHER(specifiesNamespace);
254 REGISTER_MATCHER(specifiesType);
255 REGISTER_MATCHER(specifiesTypeLoc);
256 REGISTER_MATCHER(statementCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000257 REGISTER_MATCHER(staticCastExpr);
258 REGISTER_MATCHER(stmt);
259 REGISTER_MATCHER(stringLiteral);
260 REGISTER_MATCHER(switchCase);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000261 REGISTER_MATCHER(switchStmt);
262 REGISTER_MATCHER(templateSpecializationType);
263 REGISTER_MATCHER(thisExpr);
264 REGISTER_MATCHER(throughUsingDecl);
265 REGISTER_MATCHER(throwExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000266 REGISTER_MATCHER(to);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000267 REGISTER_MATCHER(tryStmt);
268 REGISTER_MATCHER(type);
269 REGISTER_MATCHER(typeLoc);
270 REGISTER_MATCHER(typedefType);
271 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000272 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000273 REGISTER_MATCHER(userDefinedLiteral);
274 REGISTER_MATCHER(usingDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000275 REGISTER_MATCHER(varDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000276 REGISTER_MATCHER(variableArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000277 REGISTER_MATCHER(whileStmt);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000278 REGISTER_MATCHER(withInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000279}
280
281RegistryMaps::~RegistryMaps() {
282 for (ConstructorMap::iterator it = Constructors.begin(),
283 end = Constructors.end();
284 it != end; ++it) {
285 delete it->second;
286 }
287}
288
289static llvm::ManagedStatic<RegistryMaps> RegistryData;
290
291} // anonymous namespace
292
293// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000294MatcherList Registry::constructMatcher(StringRef MatcherName,
295 const SourceRange &NameRange,
296 ArrayRef<ParserValue> Args,
297 Diagnostics *Error) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000298 ConstructorMap::const_iterator it =
299 RegistryData->constructors().find(MatcherName);
300 if (it == RegistryData->constructors().end()) {
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000301 Error->addError(NameRange, Error->ET_RegistryNotFound) << MatcherName;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000302 return MatcherList();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000303 }
304
305 return it->second->run(NameRange, Args, Error);
306}
307
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000308// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000309MatcherList Registry::constructBoundMatcher(StringRef MatcherName,
310 const SourceRange &NameRange,
311 StringRef BindID,
312 ArrayRef<ParserValue> Args,
313 Diagnostics *Error) {
314 MatcherList Out = constructMatcher(MatcherName, NameRange, Args, Error);
315 if (Out.empty()) return Out;
316
317 ArrayRef<const DynTypedMatcher*> Matchers = Out.matchers();
318 if (Matchers.size() == 1) {
319 OwningPtr<DynTypedMatcher> Bound(Matchers[0]->tryBind(BindID));
320 if (Bound) {
321 return *Bound;
322 }
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000323 }
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000324 Error->addError(NameRange, Error->ET_RegistryNotBindable);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000325 return MatcherList();
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000326}
327
Manuel Klimek24db0f02013-05-14 09:13:00 +0000328} // namespace dynamic
329} // namespace ast_matchers
330} // namespace clang