blob: 4b43b4bf687b1e09048b81d3c7d60481aa146177 [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"
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 Benzaquen7a337af2013-06-04 15:46:22 +000047 assert(Constructors.find(MatcherName) == Constructors.end());
Manuel Klimekf7f295f2013-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 Benzaquen7a337af2013-06-04 15:46:22 +000057 // TODO: Here is the list of the missing matchers, grouped by reason.
58 //
59 // Need DynTypedNode fixes:
60 // hasAnyTemplateArgument
61 // hasTemplateArgument
62 //
63 // Need Variant/Parser fixes:
64 // ofKind
65 //
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000066 // Function overloaded by args:
67 // hasType
68 // callee
69 // hasPrefix
70 // isDerivedFrom
71 // isSameOrDerivedFrom
72 // pointsTo
73 // references
74 // thisPointerType
75 //
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000076 // Polymorphic + argument overload:
77 // unless
78 // eachOf
79 // anyOf
80 // allOf
81 // findAll
82 //
83 // Adaptative matcher (similar to polymorphic matcher):
84 // has
85 // forEach
86 // forEachDescendant
87 // hasDescendant
88 // hasParent
89 // hasAncestor
90 //
91 // Other:
92 // loc
93 // equals
94 // equalsNode
95 // hasDeclaration
Manuel Klimekf7f295f2013-05-14 09:13:00 +000096
Samuel Benzaquen7a337af2013-06-04 15:46:22 +000097 REGISTER_MATCHER(accessSpecDecl);
98 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +000099 REGISTER_MATCHER(anything);
100 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000101 REGISTER_MATCHER(arraySubscriptExpr);
102 REGISTER_MATCHER(arrayType);
103 REGISTER_MATCHER(asString);
104 REGISTER_MATCHER(asmStmt);
105 REGISTER_MATCHER(atomicType);
106 REGISTER_MATCHER(autoType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000107 REGISTER_MATCHER(binaryOperator);
108 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000109 REGISTER_MATCHER(blockPointerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000110 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000111 REGISTER_MATCHER(breakStmt);
112 REGISTER_MATCHER(builtinType);
113 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000114 REGISTER_MATCHER(callExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000115 REGISTER_MATCHER(castExpr);
116 REGISTER_MATCHER(catchStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000117 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000118 REGISTER_MATCHER(classTemplateDecl);
119 REGISTER_MATCHER(classTemplateSpecializationDecl);
120 REGISTER_MATCHER(complexType);
121 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000122 REGISTER_MATCHER(compoundStmt);
123 REGISTER_MATCHER(conditionalOperator);
124 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000125 REGISTER_MATCHER(constantArrayType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000126 REGISTER_MATCHER(constructExpr);
127 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000128 REGISTER_MATCHER(containsDeclaration);
129 REGISTER_MATCHER(continueStmt);
130 REGISTER_MATCHER(decl);
131 REGISTER_MATCHER(declCountIs);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000132 REGISTER_MATCHER(declRefExpr);
133 REGISTER_MATCHER(declStmt);
134 REGISTER_MATCHER(defaultArgExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000135 REGISTER_MATCHER(deleteExpr);
136 REGISTER_MATCHER(dependentSizedArrayType);
137 REGISTER_MATCHER(destructorDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000138 REGISTER_MATCHER(doStmt);
139 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000140 REGISTER_MATCHER(elaboratedType);
141 REGISTER_MATCHER(enumConstantDecl);
142 REGISTER_MATCHER(enumDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000143 REGISTER_MATCHER(explicitCastExpr);
144 REGISTER_MATCHER(expr);
145 REGISTER_MATCHER(fieldDecl);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000146 REGISTER_MATCHER(forField);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000147 REGISTER_MATCHER(forRangeStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000148 REGISTER_MATCHER(forStmt);
149 REGISTER_MATCHER(functionDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000150 REGISTER_MATCHER(functionTemplateDecl);
151 REGISTER_MATCHER(functionType);
152 REGISTER_MATCHER(functionalCastExpr);
153 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000154 REGISTER_MATCHER(hasAnyArgument);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000155 REGISTER_MATCHER(hasAnyConstructorInitializer);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000156 REGISTER_MATCHER(hasAnyParameter);
157 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000158 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000159 REGISTER_MATCHER(hasArgument);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000160 REGISTER_MATCHER(hasArgumentOfType);
161 REGISTER_MATCHER(hasBase);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000162 REGISTER_MATCHER(hasBody);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000163 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000164 REGISTER_MATCHER(hasCondition);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000165 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000166 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000167 REGISTER_MATCHER(hasDeducedType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000168 REGISTER_MATCHER(hasDestinationType);
169 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000170 REGISTER_MATCHER(hasElementType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000171 REGISTER_MATCHER(hasFalseExpression);
172 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000173 REGISTER_MATCHER(hasIncrement);
174 REGISTER_MATCHER(hasIndex);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000175 REGISTER_MATCHER(hasInitializer);
176 REGISTER_MATCHER(hasLHS);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000177 REGISTER_MATCHER(hasLocalQualifiers);
178 REGISTER_MATCHER(hasLoopInit);
179 REGISTER_MATCHER(hasMethod);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000180 REGISTER_MATCHER(hasName);
181 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000182 REGISTER_MATCHER(hasOperatorName);
183 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000184 REGISTER_MATCHER(hasParameter);
185 REGISTER_MATCHER(hasQualifier);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000186 REGISTER_MATCHER(hasRHS);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000187 REGISTER_MATCHER(hasSingleDecl);
188 REGISTER_MATCHER(hasSize);
189 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000190 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000191 REGISTER_MATCHER(hasTargetDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000192 REGISTER_MATCHER(hasTrueExpression);
193 REGISTER_MATCHER(hasUnaryOperand);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000194 REGISTER_MATCHER(hasValueType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000195 REGISTER_MATCHER(ifStmt);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000196 REGISTER_MATCHER(ignoringImpCasts);
197 REGISTER_MATCHER(ignoringParenCasts);
198 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000199 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000200 REGISTER_MATCHER(incompleteArrayType);
201 REGISTER_MATCHER(initListExpr);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000202 REGISTER_MATCHER(innerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000203 REGISTER_MATCHER(integerLiteral);
204 REGISTER_MATCHER(isArrow);
205 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000206 REGISTER_MATCHER(isDefinition);
207 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000208 REGISTER_MATCHER(isExternC);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000209 REGISTER_MATCHER(isImplicit);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000210 REGISTER_MATCHER(isInteger);
211 REGISTER_MATCHER(isOverride);
212 REGISTER_MATCHER(isPrivate);
213 REGISTER_MATCHER(isProtected);
214 REGISTER_MATCHER(isPublic);
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000215 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000216 REGISTER_MATCHER(isVirtual);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000217 REGISTER_MATCHER(isWritten);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000218 REGISTER_MATCHER(lValueReferenceType);
219 REGISTER_MATCHER(labelStmt);
220 REGISTER_MATCHER(lambdaExpr);
221 REGISTER_MATCHER(matchesName);
222 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000223 REGISTER_MATCHER(member);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000224 REGISTER_MATCHER(memberCallExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000225 REGISTER_MATCHER(memberExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000226 REGISTER_MATCHER(memberPointerType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000227 REGISTER_MATCHER(methodDecl);
228 REGISTER_MATCHER(namedDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000229 REGISTER_MATCHER(namesType);
230 REGISTER_MATCHER(namespaceDecl);
231 REGISTER_MATCHER(nestedNameSpecifier);
232 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000233 REGISTER_MATCHER(newExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000234 REGISTER_MATCHER(nullPtrLiteralExpr);
235 REGISTER_MATCHER(nullStmt);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000236 REGISTER_MATCHER(ofClass);
237 REGISTER_MATCHER(on);
238 REGISTER_MATCHER(onImplicitObjectArgument);
239 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000240 REGISTER_MATCHER(parameterCountIs);
241 REGISTER_MATCHER(parenType);
Samuel Benzaquen3f84bb32013-07-15 19:25:06 +0000242 REGISTER_MATCHER(pointee);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000243 REGISTER_MATCHER(pointerType);
244 REGISTER_MATCHER(qualType);
245 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000246 REGISTER_MATCHER(recordDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000247 REGISTER_MATCHER(recordType);
248 REGISTER_MATCHER(referenceType);
249 REGISTER_MATCHER(refersToDeclaration);
250 REGISTER_MATCHER(refersToType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000251 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000252 REGISTER_MATCHER(returnStmt);
253 REGISTER_MATCHER(returns);
254 REGISTER_MATCHER(sizeOfExpr);
255 REGISTER_MATCHER(specifiesNamespace);
256 REGISTER_MATCHER(specifiesType);
257 REGISTER_MATCHER(specifiesTypeLoc);
258 REGISTER_MATCHER(statementCountIs);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000259 REGISTER_MATCHER(staticCastExpr);
260 REGISTER_MATCHER(stmt);
261 REGISTER_MATCHER(stringLiteral);
262 REGISTER_MATCHER(switchCase);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000263 REGISTER_MATCHER(switchStmt);
264 REGISTER_MATCHER(templateSpecializationType);
265 REGISTER_MATCHER(thisExpr);
266 REGISTER_MATCHER(throughUsingDecl);
267 REGISTER_MATCHER(throwExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000268 REGISTER_MATCHER(to);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000269 REGISTER_MATCHER(tryStmt);
270 REGISTER_MATCHER(type);
271 REGISTER_MATCHER(typeLoc);
272 REGISTER_MATCHER(typedefType);
273 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000274 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000275 REGISTER_MATCHER(userDefinedLiteral);
276 REGISTER_MATCHER(usingDecl);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000277 REGISTER_MATCHER(varDecl);
Samuel Benzaquen7a337af2013-06-04 15:46:22 +0000278 REGISTER_MATCHER(variableArrayType);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000279 REGISTER_MATCHER(whileStmt);
Samuel Benzaquen86e4d742013-07-17 14:28:00 +0000280 REGISTER_MATCHER(withInitializer);
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000281}
282
283RegistryMaps::~RegistryMaps() {
284 for (ConstructorMap::iterator it = Constructors.begin(),
285 end = Constructors.end();
286 it != end; ++it) {
287 delete it->second;
288 }
289}
290
291static llvm::ManagedStatic<RegistryMaps> RegistryData;
292
293} // anonymous namespace
294
295// static
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000296MatcherList Registry::constructMatcher(StringRef MatcherName,
297 const SourceRange &NameRange,
298 ArrayRef<ParserValue> Args,
299 Diagnostics *Error) {
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000300 ConstructorMap::const_iterator it =
301 RegistryData->constructors().find(MatcherName);
302 if (it == RegistryData->constructors().end()) {
303 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotFound)
304 << MatcherName;
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000305 return MatcherList();
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000306 }
307
308 return it->second->run(NameRange, Args, Error);
309}
310
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000311// static
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000312MatcherList Registry::constructBoundMatcher(StringRef MatcherName,
313 const SourceRange &NameRange,
314 StringRef BindID,
315 ArrayRef<ParserValue> Args,
316 Diagnostics *Error) {
317 MatcherList Out = constructMatcher(MatcherName, NameRange, Args, Error);
318 if (Out.empty()) return Out;
319
320 ArrayRef<const DynTypedMatcher*> Matchers = Out.matchers();
321 if (Matchers.size() == 1) {
322 OwningPtr<DynTypedMatcher> Bound(Matchers[0]->tryBind(BindID));
323 if (Bound) {
324 return *Bound;
325 }
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000326 }
Samuel Benzaquenef7eb022013-06-21 15:51:31 +0000327 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotBindable);
328 return MatcherList();
Samuel Benzaquen4f37d922013-06-03 19:31:08 +0000329}
330
Manuel Klimekf7f295f2013-05-14 09:13:00 +0000331} // namespace dynamic
332} // namespace ast_matchers
333} // namespace clang