blob: c887f3da603e98ff738fc644f7e97c8f418d78a1 [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 //
72 // Type traversal:
73 // hasElementType
74 // hasValueType
75 // hasDeducedType
76 // innerType
77 // pointee
78 //
79 // Function overloaded by args:
80 // hasType
81 // callee
82 // hasPrefix
83 // isDerivedFrom
84 // isSameOrDerivedFrom
85 // pointsTo
86 // references
87 // thisPointerType
88 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +000089 // Polymorphic + argument overload:
90 // unless
91 // eachOf
92 // anyOf
93 // allOf
94 // findAll
95 //
96 // Adaptative matcher (similar to polymorphic matcher):
97 // has
98 // forEach
99 // forEachDescendant
100 // hasDescendant
101 // hasParent
102 // hasAncestor
103 //
104 // Other:
105 // loc
106 // equals
107 // equalsNode
108 // hasDeclaration
Manuel Klimek24db0f02013-05-14 09:13:00 +0000109
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000110 REGISTER_MATCHER(accessSpecDecl);
111 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000112 REGISTER_MATCHER(anything);
113 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000114 REGISTER_MATCHER(arraySubscriptExpr);
115 REGISTER_MATCHER(arrayType);
116 REGISTER_MATCHER(asString);
117 REGISTER_MATCHER(asmStmt);
118 REGISTER_MATCHER(atomicType);
119 REGISTER_MATCHER(autoType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000120 REGISTER_MATCHER(binaryOperator);
121 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000122 REGISTER_MATCHER(blockPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000123 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000124 REGISTER_MATCHER(breakStmt);
125 REGISTER_MATCHER(builtinType);
126 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000127 REGISTER_MATCHER(callExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000128 REGISTER_MATCHER(castExpr);
129 REGISTER_MATCHER(catchStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000130 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000131 REGISTER_MATCHER(classTemplateDecl);
132 REGISTER_MATCHER(classTemplateSpecializationDecl);
133 REGISTER_MATCHER(complexType);
134 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000135 REGISTER_MATCHER(compoundStmt);
136 REGISTER_MATCHER(conditionalOperator);
137 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000138 REGISTER_MATCHER(constantArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000139 REGISTER_MATCHER(constructExpr);
140 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000141 REGISTER_MATCHER(containsDeclaration);
142 REGISTER_MATCHER(continueStmt);
143 REGISTER_MATCHER(decl);
144 REGISTER_MATCHER(declCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000145 REGISTER_MATCHER(declRefExpr);
146 REGISTER_MATCHER(declStmt);
147 REGISTER_MATCHER(defaultArgExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000148 REGISTER_MATCHER(deleteExpr);
149 REGISTER_MATCHER(dependentSizedArrayType);
150 REGISTER_MATCHER(destructorDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000151 REGISTER_MATCHER(doStmt);
152 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000153 REGISTER_MATCHER(elaboratedType);
154 REGISTER_MATCHER(enumConstantDecl);
155 REGISTER_MATCHER(enumDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000156 REGISTER_MATCHER(explicitCastExpr);
157 REGISTER_MATCHER(expr);
158 REGISTER_MATCHER(fieldDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000159 REGISTER_MATCHER(forRangeStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000160 REGISTER_MATCHER(forStmt);
161 REGISTER_MATCHER(functionDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000162 REGISTER_MATCHER(functionTemplateDecl);
163 REGISTER_MATCHER(functionType);
164 REGISTER_MATCHER(functionalCastExpr);
165 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000166 REGISTER_MATCHER(hasAnyArgument);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000167 REGISTER_MATCHER(hasAnyParameter);
168 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000169 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000170 REGISTER_MATCHER(hasArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000171 REGISTER_MATCHER(hasArgumentOfType);
172 REGISTER_MATCHER(hasBase);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000173 REGISTER_MATCHER(hasBody);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000174 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000175 REGISTER_MATCHER(hasCondition);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000176 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000177 REGISTER_MATCHER(hasDeclContext);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000178 REGISTER_MATCHER(hasDestinationType);
179 REGISTER_MATCHER(hasEitherOperand);
180 REGISTER_MATCHER(hasFalseExpression);
181 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000182 REGISTER_MATCHER(hasIncrement);
183 REGISTER_MATCHER(hasIndex);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000184 REGISTER_MATCHER(hasInitializer);
185 REGISTER_MATCHER(hasLHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000186 REGISTER_MATCHER(hasLocalQualifiers);
187 REGISTER_MATCHER(hasLoopInit);
188 REGISTER_MATCHER(hasMethod);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000189 REGISTER_MATCHER(hasName);
190 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000191 REGISTER_MATCHER(hasOperatorName);
192 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000193 REGISTER_MATCHER(hasParameter);
194 REGISTER_MATCHER(hasQualifier);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000195 REGISTER_MATCHER(hasRHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000196 REGISTER_MATCHER(hasSingleDecl);
197 REGISTER_MATCHER(hasSize);
198 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000199 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000200 REGISTER_MATCHER(hasTargetDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000201 REGISTER_MATCHER(hasTrueExpression);
202 REGISTER_MATCHER(hasUnaryOperand);
203 REGISTER_MATCHER(ifStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000204 REGISTER_MATCHER(ignoringImpCasts);
205 REGISTER_MATCHER(ignoringParenCasts);
206 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000207 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000208 REGISTER_MATCHER(incompleteArrayType);
209 REGISTER_MATCHER(initListExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000210 REGISTER_MATCHER(integerLiteral);
211 REGISTER_MATCHER(isArrow);
212 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000213 REGISTER_MATCHER(isDefinition);
214 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000215 REGISTER_MATCHER(isExternC);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000216 REGISTER_MATCHER(isImplicit);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000217 REGISTER_MATCHER(isInteger);
218 REGISTER_MATCHER(isOverride);
219 REGISTER_MATCHER(isPrivate);
220 REGISTER_MATCHER(isProtected);
221 REGISTER_MATCHER(isPublic);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000222 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000223 REGISTER_MATCHER(isVirtual);
224 REGISTER_MATCHER(lValueReferenceType);
225 REGISTER_MATCHER(labelStmt);
226 REGISTER_MATCHER(lambdaExpr);
227 REGISTER_MATCHER(matchesName);
228 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000229 REGISTER_MATCHER(member);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000230 REGISTER_MATCHER(memberCallExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000231 REGISTER_MATCHER(memberExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000232 REGISTER_MATCHER(memberPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000233 REGISTER_MATCHER(methodDecl);
234 REGISTER_MATCHER(namedDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000235 REGISTER_MATCHER(namesType);
236 REGISTER_MATCHER(namespaceDecl);
237 REGISTER_MATCHER(nestedNameSpecifier);
238 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000239 REGISTER_MATCHER(newExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000240 REGISTER_MATCHER(nullPtrLiteralExpr);
241 REGISTER_MATCHER(nullStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000242 REGISTER_MATCHER(ofClass);
243 REGISTER_MATCHER(on);
244 REGISTER_MATCHER(onImplicitObjectArgument);
245 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000246 REGISTER_MATCHER(parameterCountIs);
247 REGISTER_MATCHER(parenType);
248 REGISTER_MATCHER(pointerType);
249 REGISTER_MATCHER(qualType);
250 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000251 REGISTER_MATCHER(recordDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000252 REGISTER_MATCHER(recordType);
253 REGISTER_MATCHER(referenceType);
254 REGISTER_MATCHER(refersToDeclaration);
255 REGISTER_MATCHER(refersToType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000256 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000257 REGISTER_MATCHER(returnStmt);
258 REGISTER_MATCHER(returns);
259 REGISTER_MATCHER(sizeOfExpr);
260 REGISTER_MATCHER(specifiesNamespace);
261 REGISTER_MATCHER(specifiesType);
262 REGISTER_MATCHER(specifiesTypeLoc);
263 REGISTER_MATCHER(statementCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000264 REGISTER_MATCHER(staticCastExpr);
265 REGISTER_MATCHER(stmt);
266 REGISTER_MATCHER(stringLiteral);
267 REGISTER_MATCHER(switchCase);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000268 REGISTER_MATCHER(switchStmt);
269 REGISTER_MATCHER(templateSpecializationType);
270 REGISTER_MATCHER(thisExpr);
271 REGISTER_MATCHER(throughUsingDecl);
272 REGISTER_MATCHER(throwExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000273 REGISTER_MATCHER(to);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000274 REGISTER_MATCHER(tryStmt);
275 REGISTER_MATCHER(type);
276 REGISTER_MATCHER(typeLoc);
277 REGISTER_MATCHER(typedefType);
278 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000279 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000280 REGISTER_MATCHER(userDefinedLiteral);
281 REGISTER_MATCHER(usingDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000282 REGISTER_MATCHER(varDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000283 REGISTER_MATCHER(variableArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000284 REGISTER_MATCHER(whileStmt);
285}
286
287RegistryMaps::~RegistryMaps() {
288 for (ConstructorMap::iterator it = Constructors.begin(),
289 end = Constructors.end();
290 it != end; ++it) {
291 delete it->second;
292 }
293}
294
295static llvm::ManagedStatic<RegistryMaps> RegistryData;
296
297} // anonymous namespace
298
299// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000300MatcherList Registry::constructMatcher(StringRef MatcherName,
301 const SourceRange &NameRange,
302 ArrayRef<ParserValue> Args,
303 Diagnostics *Error) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000304 ConstructorMap::const_iterator it =
305 RegistryData->constructors().find(MatcherName);
306 if (it == RegistryData->constructors().end()) {
307 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotFound)
308 << MatcherName;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000309 return MatcherList();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000310 }
311
312 return it->second->run(NameRange, Args, Error);
313}
314
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000315// static
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000316MatcherList Registry::constructBoundMatcher(StringRef MatcherName,
317 const SourceRange &NameRange,
318 StringRef BindID,
319 ArrayRef<ParserValue> Args,
320 Diagnostics *Error) {
321 MatcherList Out = constructMatcher(MatcherName, NameRange, Args, Error);
322 if (Out.empty()) return Out;
323
324 ArrayRef<const DynTypedMatcher*> Matchers = Out.matchers();
325 if (Matchers.size() == 1) {
326 OwningPtr<DynTypedMatcher> Bound(Matchers[0]->tryBind(BindID));
327 if (Bound) {
328 return *Bound;
329 }
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000330 }
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000331 Error->pushErrorFrame(NameRange, Error->ET_RegistryNotBindable);
332 return MatcherList();
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000333}
334
Manuel Klimek24db0f02013-05-14 09:13:00 +0000335} // namespace dynamic
336} // namespace ast_matchers
337} // namespace clang