blob: 9e8898e95d88d388ba1891323c1f16c8180df1c2 [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 //
59 // Need DynTypedNode fixes:
60 // hasAnyTemplateArgument
61 // hasTemplateArgument
62 //
63 // Need Variant/Parser fixes:
64 // ofKind
65 //
66 // CXXCtorInitializer support:
67 // hasAnyConstructorInitializer
68 // forField
69 // withInitializer
70 // isWritten
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000071 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000072 // Function overloaded by args:
73 // hasType
74 // callee
75 // hasPrefix
76 // isDerivedFrom
77 // isSameOrDerivedFrom
78 // pointsTo
79 // references
80 // thisPointerType
81 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000082 // Polymorphic + argument overload:
83 // unless
84 // eachOf
85 // anyOf
86 // allOf
87 // findAll
88 //
89 // Adaptative matcher (similar to polymorphic matcher):
90 // has
91 // forEach
92 // forEachDescendant
93 // hasDescendant
94 // hasParent
95 // hasAncestor
96 //
97 // Other:
98 // loc
99 // equals
100 // equalsNode
101 // hasDeclaration
Manuel Klimek24db0f02013-05-14 09:13:00 +0000102
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000103 REGISTER_MATCHER(accessSpecDecl);
104 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000105 REGISTER_MATCHER(anything);
106 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000107 REGISTER_MATCHER(arraySubscriptExpr);
108 REGISTER_MATCHER(arrayType);
109 REGISTER_MATCHER(asString);
110 REGISTER_MATCHER(asmStmt);
111 REGISTER_MATCHER(atomicType);
112 REGISTER_MATCHER(autoType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000113 REGISTER_MATCHER(binaryOperator);
114 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000115 REGISTER_MATCHER(blockPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000116 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000117 REGISTER_MATCHER(breakStmt);
118 REGISTER_MATCHER(builtinType);
119 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000120 REGISTER_MATCHER(callExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000121 REGISTER_MATCHER(castExpr);
122 REGISTER_MATCHER(catchStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000123 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000124 REGISTER_MATCHER(classTemplateDecl);
125 REGISTER_MATCHER(classTemplateSpecializationDecl);
126 REGISTER_MATCHER(complexType);
127 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000128 REGISTER_MATCHER(compoundStmt);
129 REGISTER_MATCHER(conditionalOperator);
130 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000131 REGISTER_MATCHER(constantArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000132 REGISTER_MATCHER(constructExpr);
133 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000134 REGISTER_MATCHER(containsDeclaration);
135 REGISTER_MATCHER(continueStmt);
136 REGISTER_MATCHER(decl);
137 REGISTER_MATCHER(declCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000138 REGISTER_MATCHER(declRefExpr);
139 REGISTER_MATCHER(declStmt);
140 REGISTER_MATCHER(defaultArgExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000141 REGISTER_MATCHER(deleteExpr);
142 REGISTER_MATCHER(dependentSizedArrayType);
143 REGISTER_MATCHER(destructorDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000144 REGISTER_MATCHER(doStmt);
145 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000146 REGISTER_MATCHER(elaboratedType);
147 REGISTER_MATCHER(enumConstantDecl);
148 REGISTER_MATCHER(enumDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000149 REGISTER_MATCHER(explicitCastExpr);
150 REGISTER_MATCHER(expr);
151 REGISTER_MATCHER(fieldDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000152 REGISTER_MATCHER(forRangeStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000153 REGISTER_MATCHER(forStmt);
154 REGISTER_MATCHER(functionDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000155 REGISTER_MATCHER(functionTemplateDecl);
156 REGISTER_MATCHER(functionType);
157 REGISTER_MATCHER(functionalCastExpr);
158 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000159 REGISTER_MATCHER(hasAnyArgument);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000160 REGISTER_MATCHER(hasAnyParameter);
161 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000162 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000163 REGISTER_MATCHER(hasArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000164 REGISTER_MATCHER(hasArgumentOfType);
165 REGISTER_MATCHER(hasBase);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000166 REGISTER_MATCHER(hasBody);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000167 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000168 REGISTER_MATCHER(hasCondition);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000169 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000170 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000171 REGISTER_MATCHER(hasDeducedType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000172 REGISTER_MATCHER(hasDestinationType);
173 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000174 REGISTER_MATCHER(hasElementType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000175 REGISTER_MATCHER(hasFalseExpression);
176 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000177 REGISTER_MATCHER(hasIncrement);
178 REGISTER_MATCHER(hasIndex);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000179 REGISTER_MATCHER(hasInitializer);
180 REGISTER_MATCHER(hasLHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000181 REGISTER_MATCHER(hasLocalQualifiers);
182 REGISTER_MATCHER(hasLoopInit);
183 REGISTER_MATCHER(hasMethod);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000184 REGISTER_MATCHER(hasName);
185 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000186 REGISTER_MATCHER(hasOperatorName);
187 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000188 REGISTER_MATCHER(hasParameter);
189 REGISTER_MATCHER(hasQualifier);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000190 REGISTER_MATCHER(hasRHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000191 REGISTER_MATCHER(hasSingleDecl);
192 REGISTER_MATCHER(hasSize);
193 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000194 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000195 REGISTER_MATCHER(hasTargetDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000196 REGISTER_MATCHER(hasTrueExpression);
197 REGISTER_MATCHER(hasUnaryOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000198 REGISTER_MATCHER(hasValueType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000199 REGISTER_MATCHER(ifStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000200 REGISTER_MATCHER(ignoringImpCasts);
201 REGISTER_MATCHER(ignoringParenCasts);
202 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000203 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000204 REGISTER_MATCHER(incompleteArrayType);
205 REGISTER_MATCHER(initListExpr);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000206 REGISTER_MATCHER(innerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000207 REGISTER_MATCHER(integerLiteral);
208 REGISTER_MATCHER(isArrow);
209 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000210 REGISTER_MATCHER(isDefinition);
211 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000212 REGISTER_MATCHER(isExternC);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000213 REGISTER_MATCHER(isImplicit);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000214 REGISTER_MATCHER(isInteger);
215 REGISTER_MATCHER(isOverride);
216 REGISTER_MATCHER(isPrivate);
217 REGISTER_MATCHER(isProtected);
218 REGISTER_MATCHER(isPublic);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000219 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000220 REGISTER_MATCHER(isVirtual);
221 REGISTER_MATCHER(lValueReferenceType);
222 REGISTER_MATCHER(labelStmt);
223 REGISTER_MATCHER(lambdaExpr);
224 REGISTER_MATCHER(matchesName);
225 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000226 REGISTER_MATCHER(member);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000227 REGISTER_MATCHER(memberCallExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000228 REGISTER_MATCHER(memberExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000229 REGISTER_MATCHER(memberPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000230 REGISTER_MATCHER(methodDecl);
231 REGISTER_MATCHER(namedDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000232 REGISTER_MATCHER(namesType);
233 REGISTER_MATCHER(namespaceDecl);
234 REGISTER_MATCHER(nestedNameSpecifier);
235 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000236 REGISTER_MATCHER(newExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000237 REGISTER_MATCHER(nullPtrLiteralExpr);
238 REGISTER_MATCHER(nullStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000239 REGISTER_MATCHER(ofClass);
240 REGISTER_MATCHER(on);
241 REGISTER_MATCHER(onImplicitObjectArgument);
242 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000243 REGISTER_MATCHER(parameterCountIs);
244 REGISTER_MATCHER(parenType);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000245 REGISTER_MATCHER(pointee);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000246 REGISTER_MATCHER(pointerType);
247 REGISTER_MATCHER(qualType);
248 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000249 REGISTER_MATCHER(recordDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000250 REGISTER_MATCHER(recordType);
251 REGISTER_MATCHER(referenceType);
252 REGISTER_MATCHER(refersToDeclaration);
253 REGISTER_MATCHER(refersToType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000254 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000255 REGISTER_MATCHER(returnStmt);
256 REGISTER_MATCHER(returns);
257 REGISTER_MATCHER(sizeOfExpr);
258 REGISTER_MATCHER(specifiesNamespace);
259 REGISTER_MATCHER(specifiesType);
260 REGISTER_MATCHER(specifiesTypeLoc);
261 REGISTER_MATCHER(statementCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000262 REGISTER_MATCHER(staticCastExpr);
263 REGISTER_MATCHER(stmt);
264 REGISTER_MATCHER(stringLiteral);
265 REGISTER_MATCHER(switchCase);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000266 REGISTER_MATCHER(switchStmt);
267 REGISTER_MATCHER(templateSpecializationType);
268 REGISTER_MATCHER(thisExpr);
269 REGISTER_MATCHER(throughUsingDecl);
270 REGISTER_MATCHER(throwExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000271 REGISTER_MATCHER(to);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000272 REGISTER_MATCHER(tryStmt);
273 REGISTER_MATCHER(type);
274 REGISTER_MATCHER(typeLoc);
275 REGISTER_MATCHER(typedefType);
276 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000277 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000278 REGISTER_MATCHER(userDefinedLiteral);
279 REGISTER_MATCHER(usingDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000280 REGISTER_MATCHER(varDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000281 REGISTER_MATCHER(variableArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000282 REGISTER_MATCHER(whileStmt);
283}
284
285RegistryMaps::~RegistryMaps() {
286 for (ConstructorMap::iterator it = Constructors.begin(),
287 end = Constructors.end();
288 it != end; ++it) {
289 delete it->second;
290 }
291}
292
293static llvm::ManagedStatic<RegistryMaps> RegistryData;
294
295} // anonymous namespace
296
297// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000298MatcherList Registry::constructMatcher(StringRef MatcherName,
299 const SourceRange &NameRange,
300 ArrayRef<ParserValue> Args,
301 Diagnostics *Error) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000302 ConstructorMap::const_iterator it =
303 RegistryData->constructors().find(MatcherName);
304 if (it == RegistryData->constructors().end()) {
305 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotFound)
306 << MatcherName;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000307 return MatcherList();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000308 }
309
310 return it->second->run(NameRange, Args, Error);
311}
312
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000313// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000314MatcherList Registry::constructBoundMatcher(StringRef MatcherName,
315 const SourceRange &NameRange,
316 StringRef BindID,
317 ArrayRef<ParserValue> Args,
318 Diagnostics *Error) {
319 MatcherList Out = constructMatcher(MatcherName, NameRange, Args, Error);
320 if (Out.empty()) return Out;
321
322 ArrayRef<const DynTypedMatcher*> Matchers = Out.matchers();
323 if (Matchers.size() == 1) {
324 OwningPtr<DynTypedMatcher> Bound(Matchers[0]->tryBind(BindID));
325 if (Bound) {
326 return *Bound;
327 }
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000328 }
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000329 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotBindable);
330 return MatcherList();
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000331}
332
Manuel Klimek24db0f02013-05-14 09:13:00 +0000333} // namespace dynamic
334} // namespace ast_matchers
335} // namespace clang