blob: 51d7bd856e6f15a87343013dbf68a100d1508869 [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
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000051/// \brief MatcherCreateCallback that wraps multiple "overloads" of the same
52/// matcher.
53///
54/// It will try every overload and generate appropriate errors for when none or
55/// more than one overloads match the arguments.
56class OverloadedMatcherCreateCallback : public MatcherCreateCallback {
57 public:
58 OverloadedMatcherCreateCallback(ArrayRef<MatcherCreateCallback *> Callbacks)
59 : Overloads(Callbacks) {}
60
61 virtual ~OverloadedMatcherCreateCallback() {
62 for (size_t i = 0, e = Overloads.size(); i != e; ++i)
63 delete Overloads[i];
64 }
65
Samuel Benzaquen0239b692013-08-13 14:54:51 +000066 virtual VariantMatcher run(const SourceRange &NameRange,
67 ArrayRef<ParserValue> Args,
68 Diagnostics *Error) const {
69 std::vector<VariantMatcher> Constructed;
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000070 Diagnostics::OverloadContext Ctx(Error);
71 for (size_t i = 0, e = Overloads.size(); i != e; ++i) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +000072 VariantMatcher SubMatcher = Overloads[i]->run(NameRange, Args, Error);
73 if (!SubMatcher.isNull()) {
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000074 Constructed.push_back(SubMatcher);
75 }
76 }
77
Samuel Benzaquen0239b692013-08-13 14:54:51 +000078 if (Constructed.empty()) return VariantMatcher(); // No overload matched.
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000079 // We ignore the errors if any matcher succeeded.
80 Ctx.revertErrors();
81 if (Constructed.size() > 1) {
82 // More than one constructed. It is ambiguous.
83 Error->addError(NameRange, Error->ET_RegistryAmbiguousOverload);
Samuel Benzaquen0239b692013-08-13 14:54:51 +000084 return VariantMatcher();
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000085 }
86 return Constructed[0];
87 }
88
89 private:
90 std::vector<MatcherCreateCallback*> Overloads;
91};
92
Manuel Klimek24db0f02013-05-14 09:13:00 +000093#define REGISTER_MATCHER(name) \
94 registerMatcher(#name, internal::makeMatcherAutoMarshall( \
95 ::clang::ast_matchers::name, #name));
96
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +000097#define SPECIFIC_MATCHER_OVERLOAD(name, Id) \
98 static_cast< ::clang::ast_matchers::name##_Type##Id>( \
99 ::clang::ast_matchers::name)
100
101#define REGISTER_OVERLOADED_2(name) \
102 do { \
103 MatcherCreateCallback *Callbacks[] = { \
104 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 0), \
105 #name), \
106 internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 1), \
107 #name) \
108 }; \
109 registerMatcher(#name, new OverloadedMatcherCreateCallback(Callbacks)); \
110 } while (0)
111
Samuel Benzaquen7f8a5b12013-07-24 14:48:01 +0000112/// \brief Class that allows us to bind to the constructor of an
113/// \c ArgumentAdaptingMatcher.
114/// This class, together with \c collectAdaptativeMatcherOverloads below, help
115/// us detect the Adapter class and create overload functions for the
116/// appropriate To/From types.
117/// We instantiate the \c createAdatingMatcher function for every type in
118/// \c FromTypes. \c ToTypes is handled on the marshaller side by using the
119/// \c ReturnTypes typedef in \c ArgumentAdaptingMatcher.
120template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
121 typename FromTypes, typename ToTypes>
122struct AdaptativeMatcherWrapper {
123 template <typename FromArg>
124 static ast_matchers::internal::ArgumentAdaptingMatcher<
125 ArgumentAdapterT, FromArg, FromTypes, ToTypes>
126 createAdatingMatcher(
127 const ast_matchers::internal::Matcher<FromArg> &InnerMatcher) {
128 return ast_matchers::internal::ArgumentAdaptingMatcher<
129 ArgumentAdapterT, FromArg, FromTypes, ToTypes>(InnerMatcher);
130 }
131
132 static void collectOverloads(StringRef Name,
133 std::vector<MatcherCreateCallback *> &Out,
134 ast_matchers::internal::EmptyTypeList) {}
135
136 template <typename FromTypeList>
137 static void collectOverloads(StringRef Name,
138 std::vector<MatcherCreateCallback *> &Out,
139 FromTypeList TypeList) {
140 Out.push_back(internal::makeMatcherAutoMarshall(
141 &createAdatingMatcher<typename FromTypeList::head>, Name));
142 collectOverloads(Name, Out, typename FromTypeList::tail());
143 }
144
145 static void collectOverloads(StringRef Name,
146 std::vector<MatcherCreateCallback *> &Out) {
147 collectOverloads(Name, Out, FromTypes());
148 }
149};
150
151template <template <typename ToArg, typename FromArg> class ArgumentAdapterT,
152 typename DummyArg, typename FromTypes, typename ToTypes>
153void collectAdaptativeMatcherOverloads(
154 StringRef Name,
155 ast_matchers::internal::ArgumentAdaptingMatcher<ArgumentAdapterT, DummyArg,
156 FromTypes, ToTypes>(
157 *func)(const ast_matchers::internal::Matcher<DummyArg> &),
158 std::vector<MatcherCreateCallback *> &Out) {
159 AdaptativeMatcherWrapper<ArgumentAdapterT, FromTypes,
160 ToTypes>::collectOverloads(Name, Out);
161}
162
163#define REGISTER_ADAPTATIVE(name) \
164 do { \
165 std::vector<MatcherCreateCallback *> Overloads; \
166 collectAdaptativeMatcherOverloads(#name, &name<Decl>, Overloads); \
167 registerMatcher(#name, new OverloadedMatcherCreateCallback(Overloads)); \
168 } while (0)
169
Manuel Klimek24db0f02013-05-14 09:13:00 +0000170/// \brief Generate a registry map with all the known matchers.
171RegistryMaps::RegistryMaps() {
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000172 // TODO: Here is the list of the missing matchers, grouped by reason.
173 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000174 // Need Variant/Parser fixes:
175 // ofKind
176 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000177 // Polymorphic + argument overload:
178 // unless
179 // eachOf
180 // anyOf
181 // allOf
182 // findAll
183 //
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000184 // Other:
185 // loc
186 // equals
187 // equalsNode
188 // hasDeclaration
Manuel Klimek24db0f02013-05-14 09:13:00 +0000189
Samuel Benzaquene0b2c8e2013-07-22 16:13:57 +0000190 REGISTER_OVERLOADED_2(callee);
191 REGISTER_OVERLOADED_2(hasPrefix);
192 REGISTER_OVERLOADED_2(hasType);
193 REGISTER_OVERLOADED_2(isDerivedFrom);
194 REGISTER_OVERLOADED_2(isSameOrDerivedFrom);
195 REGISTER_OVERLOADED_2(pointsTo);
196 REGISTER_OVERLOADED_2(references);
197 REGISTER_OVERLOADED_2(thisPointerType);
198
Samuel Benzaquen7f8a5b12013-07-24 14:48:01 +0000199 REGISTER_ADAPTATIVE(forEach);
200 REGISTER_ADAPTATIVE(forEachDescendant);
201 REGISTER_ADAPTATIVE(has);
202 REGISTER_ADAPTATIVE(hasAncestor);
203 REGISTER_ADAPTATIVE(hasDescendant);
204 REGISTER_ADAPTATIVE(hasParent);
205
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000206 REGISTER_MATCHER(accessSpecDecl);
207 REGISTER_MATCHER(alignOfExpr);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000208 REGISTER_MATCHER(anything);
209 REGISTER_MATCHER(argumentCountIs);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000210 REGISTER_MATCHER(arraySubscriptExpr);
211 REGISTER_MATCHER(arrayType);
212 REGISTER_MATCHER(asString);
213 REGISTER_MATCHER(asmStmt);
214 REGISTER_MATCHER(atomicType);
215 REGISTER_MATCHER(autoType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000216 REGISTER_MATCHER(binaryOperator);
217 REGISTER_MATCHER(bindTemporaryExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000218 REGISTER_MATCHER(blockPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000219 REGISTER_MATCHER(boolLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000220 REGISTER_MATCHER(breakStmt);
221 REGISTER_MATCHER(builtinType);
222 REGISTER_MATCHER(cStyleCastExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000223 REGISTER_MATCHER(callExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000224 REGISTER_MATCHER(castExpr);
225 REGISTER_MATCHER(catchStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000226 REGISTER_MATCHER(characterLiteral);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000227 REGISTER_MATCHER(classTemplateDecl);
228 REGISTER_MATCHER(classTemplateSpecializationDecl);
229 REGISTER_MATCHER(complexType);
230 REGISTER_MATCHER(compoundLiteralExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000231 REGISTER_MATCHER(compoundStmt);
232 REGISTER_MATCHER(conditionalOperator);
233 REGISTER_MATCHER(constCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000234 REGISTER_MATCHER(constantArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000235 REGISTER_MATCHER(constructExpr);
236 REGISTER_MATCHER(constructorDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000237 REGISTER_MATCHER(containsDeclaration);
238 REGISTER_MATCHER(continueStmt);
Stefanus Du Toit403f6dd2013-08-15 00:33:08 +0000239 REGISTER_MATCHER(ctorInitializer);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000240 REGISTER_MATCHER(decl);
241 REGISTER_MATCHER(declCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000242 REGISTER_MATCHER(declRefExpr);
243 REGISTER_MATCHER(declStmt);
244 REGISTER_MATCHER(defaultArgExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000245 REGISTER_MATCHER(deleteExpr);
246 REGISTER_MATCHER(dependentSizedArrayType);
247 REGISTER_MATCHER(destructorDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000248 REGISTER_MATCHER(doStmt);
249 REGISTER_MATCHER(dynamicCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000250 REGISTER_MATCHER(elaboratedType);
251 REGISTER_MATCHER(enumConstantDecl);
252 REGISTER_MATCHER(enumDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000253 REGISTER_MATCHER(explicitCastExpr);
254 REGISTER_MATCHER(expr);
255 REGISTER_MATCHER(fieldDecl);
Daniel Jasper91f1c8c2013-07-26 18:52:58 +0000256 REGISTER_MATCHER(floatLiteral);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000257 REGISTER_MATCHER(forField);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000258 REGISTER_MATCHER(forRangeStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000259 REGISTER_MATCHER(forStmt);
260 REGISTER_MATCHER(functionDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000261 REGISTER_MATCHER(functionTemplateDecl);
262 REGISTER_MATCHER(functionType);
263 REGISTER_MATCHER(functionalCastExpr);
264 REGISTER_MATCHER(gotoStmt);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000265 REGISTER_MATCHER(hasAnyArgument);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000266 REGISTER_MATCHER(hasAnyConstructorInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000267 REGISTER_MATCHER(hasAnyParameter);
268 REGISTER_MATCHER(hasAnySubstatement);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000269 REGISTER_MATCHER(hasAnyTemplateArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000270 REGISTER_MATCHER(hasAnyUsingShadowDecl);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000271 REGISTER_MATCHER(hasArgument);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000272 REGISTER_MATCHER(hasArgumentOfType);
273 REGISTER_MATCHER(hasBase);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000274 REGISTER_MATCHER(hasBody);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000275 REGISTER_MATCHER(hasCanonicalType);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000276 REGISTER_MATCHER(hasCondition);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000277 REGISTER_MATCHER(hasConditionVariableStatement);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000278 REGISTER_MATCHER(hasDeclContext);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000279 REGISTER_MATCHER(hasDeducedType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000280 REGISTER_MATCHER(hasDestinationType);
281 REGISTER_MATCHER(hasEitherOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000282 REGISTER_MATCHER(hasElementType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000283 REGISTER_MATCHER(hasFalseExpression);
284 REGISTER_MATCHER(hasImplicitDestinationType);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000285 REGISTER_MATCHER(hasIncrement);
286 REGISTER_MATCHER(hasIndex);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000287 REGISTER_MATCHER(hasInitializer);
288 REGISTER_MATCHER(hasLHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000289 REGISTER_MATCHER(hasLocalQualifiers);
290 REGISTER_MATCHER(hasLoopInit);
291 REGISTER_MATCHER(hasMethod);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000292 REGISTER_MATCHER(hasName);
293 REGISTER_MATCHER(hasObjectExpression);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000294 REGISTER_MATCHER(hasOperatorName);
295 REGISTER_MATCHER(hasOverloadedOperatorName);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000296 REGISTER_MATCHER(hasParameter);
297 REGISTER_MATCHER(hasQualifier);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000298 REGISTER_MATCHER(hasRHS);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000299 REGISTER_MATCHER(hasSingleDecl);
300 REGISTER_MATCHER(hasSize);
301 REGISTER_MATCHER(hasSizeExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000302 REGISTER_MATCHER(hasSourceExpression);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000303 REGISTER_MATCHER(hasTargetDecl);
Samuel Benzaquen21b3da02013-07-17 15:11:30 +0000304 REGISTER_MATCHER(hasTemplateArgument);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000305 REGISTER_MATCHER(hasTrueExpression);
306 REGISTER_MATCHER(hasUnaryOperand);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000307 REGISTER_MATCHER(hasValueType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000308 REGISTER_MATCHER(ifStmt);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000309 REGISTER_MATCHER(ignoringImpCasts);
310 REGISTER_MATCHER(ignoringParenCasts);
311 REGISTER_MATCHER(ignoringParenImpCasts);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000312 REGISTER_MATCHER(implicitCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000313 REGISTER_MATCHER(incompleteArrayType);
314 REGISTER_MATCHER(initListExpr);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000315 REGISTER_MATCHER(innerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000316 REGISTER_MATCHER(integerLiteral);
317 REGISTER_MATCHER(isArrow);
318 REGISTER_MATCHER(isConstQualified);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000319 REGISTER_MATCHER(isDefinition);
320 REGISTER_MATCHER(isExplicitTemplateSpecialization);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000321 REGISTER_MATCHER(isExternC);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000322 REGISTER_MATCHER(isImplicit);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000323 REGISTER_MATCHER(isInteger);
324 REGISTER_MATCHER(isOverride);
325 REGISTER_MATCHER(isPrivate);
326 REGISTER_MATCHER(isProtected);
327 REGISTER_MATCHER(isPublic);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000328 REGISTER_MATCHER(isTemplateInstantiation);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000329 REGISTER_MATCHER(isVirtual);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000330 REGISTER_MATCHER(isWritten);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000331 REGISTER_MATCHER(lValueReferenceType);
332 REGISTER_MATCHER(labelStmt);
333 REGISTER_MATCHER(lambdaExpr);
334 REGISTER_MATCHER(matchesName);
335 REGISTER_MATCHER(materializeTemporaryExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000336 REGISTER_MATCHER(member);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000337 REGISTER_MATCHER(memberCallExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000338 REGISTER_MATCHER(memberExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000339 REGISTER_MATCHER(memberPointerType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000340 REGISTER_MATCHER(methodDecl);
341 REGISTER_MATCHER(namedDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000342 REGISTER_MATCHER(namesType);
343 REGISTER_MATCHER(namespaceDecl);
344 REGISTER_MATCHER(nestedNameSpecifier);
345 REGISTER_MATCHER(nestedNameSpecifierLoc);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000346 REGISTER_MATCHER(newExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000347 REGISTER_MATCHER(nullPtrLiteralExpr);
348 REGISTER_MATCHER(nullStmt);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000349 REGISTER_MATCHER(ofClass);
350 REGISTER_MATCHER(on);
351 REGISTER_MATCHER(onImplicitObjectArgument);
352 REGISTER_MATCHER(operatorCallExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000353 REGISTER_MATCHER(parameterCountIs);
354 REGISTER_MATCHER(parenType);
Samuel Benzaquen79656e12013-07-15 19:25:06 +0000355 REGISTER_MATCHER(pointee);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000356 REGISTER_MATCHER(pointerType);
357 REGISTER_MATCHER(qualType);
358 REGISTER_MATCHER(rValueReferenceType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000359 REGISTER_MATCHER(recordDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000360 REGISTER_MATCHER(recordType);
361 REGISTER_MATCHER(referenceType);
362 REGISTER_MATCHER(refersToDeclaration);
363 REGISTER_MATCHER(refersToType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000364 REGISTER_MATCHER(reinterpretCastExpr);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000365 REGISTER_MATCHER(returnStmt);
366 REGISTER_MATCHER(returns);
367 REGISTER_MATCHER(sizeOfExpr);
368 REGISTER_MATCHER(specifiesNamespace);
369 REGISTER_MATCHER(specifiesType);
370 REGISTER_MATCHER(specifiesTypeLoc);
371 REGISTER_MATCHER(statementCountIs);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000372 REGISTER_MATCHER(staticCastExpr);
373 REGISTER_MATCHER(stmt);
374 REGISTER_MATCHER(stringLiteral);
375 REGISTER_MATCHER(switchCase);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000376 REGISTER_MATCHER(switchStmt);
377 REGISTER_MATCHER(templateSpecializationType);
378 REGISTER_MATCHER(thisExpr);
379 REGISTER_MATCHER(throughUsingDecl);
380 REGISTER_MATCHER(throwExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000381 REGISTER_MATCHER(to);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000382 REGISTER_MATCHER(tryStmt);
383 REGISTER_MATCHER(type);
384 REGISTER_MATCHER(typeLoc);
385 REGISTER_MATCHER(typedefType);
386 REGISTER_MATCHER(unaryExprOrTypeTraitExpr);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000387 REGISTER_MATCHER(unaryOperator);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000388 REGISTER_MATCHER(userDefinedLiteral);
389 REGISTER_MATCHER(usingDecl);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000390 REGISTER_MATCHER(varDecl);
Samuel Benzaquenc31b3522013-06-04 15:46:22 +0000391 REGISTER_MATCHER(variableArrayType);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000392 REGISTER_MATCHER(whileStmt);
Samuel Benzaquen06e056c2013-07-17 14:28:00 +0000393 REGISTER_MATCHER(withInitializer);
Manuel Klimek24db0f02013-05-14 09:13:00 +0000394}
395
396RegistryMaps::~RegistryMaps() {
397 for (ConstructorMap::iterator it = Constructors.begin(),
398 end = Constructors.end();
399 it != end; ++it) {
400 delete it->second;
401 }
402}
403
404static llvm::ManagedStatic<RegistryMaps> RegistryData;
405
406} // anonymous namespace
407
408// static
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000409VariantMatcher Registry::constructMatcher(StringRef MatcherName,
410 const SourceRange &NameRange,
411 ArrayRef<ParserValue> Args,
412 Diagnostics *Error) {
Manuel Klimek24db0f02013-05-14 09:13:00 +0000413 ConstructorMap::const_iterator it =
414 RegistryData->constructors().find(MatcherName);
415 if (it == RegistryData->constructors().end()) {
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000416 Error->addError(NameRange, Error->ET_RegistryNotFound) << MatcherName;
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000417 return VariantMatcher();
Manuel Klimek24db0f02013-05-14 09:13:00 +0000418 }
419
420 return it->second->run(NameRange, Args, Error);
421}
422
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000423// static
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000424VariantMatcher Registry::constructBoundMatcher(StringRef MatcherName,
425 const SourceRange &NameRange,
426 StringRef BindID,
427 ArrayRef<ParserValue> Args,
428 Diagnostics *Error) {
429 VariantMatcher Out = constructMatcher(MatcherName, NameRange, Args, Error);
430 if (Out.isNull()) return Out;
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000431
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000432 const DynTypedMatcher *Result;
433 if (Out.getSingleMatcher(Result)) {
434 OwningPtr<DynTypedMatcher> Bound(Result->tryBind(BindID));
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000435 if (Bound) {
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000436 return VariantMatcher::SingleMatcher(*Bound);
Samuel Benzaquenc6f2c9b2013-06-21 15:51:31 +0000437 }
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000438 }
Samuel Benzaquena37bb8c2013-07-18 19:47:59 +0000439 Error->addError(NameRange, Error->ET_RegistryNotBindable);
Samuel Benzaquen0239b692013-08-13 14:54:51 +0000440 return VariantMatcher();
Samuel Benzaquen31edb512013-06-03 19:31:08 +0000441}
442
Manuel Klimek24db0f02013-05-14 09:13:00 +0000443} // namespace dynamic
444} // namespace ast_matchers
445} // namespace clang