Samuel Benzaquen | a76d8cd | 2013-05-15 19:49:05 +0000 | [diff] [blame] | 1 | //===--- Registry.cpp - Matcher registry -------------------------===// |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 2 | // |
| 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 Benzaquen | a76d8cd | 2013-05-15 19:49:05 +0000 | [diff] [blame] | 8 | //===------------------------------------------------------------===// |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 9 | /// |
| 10 | /// \file |
| 11 | /// \brief Registry map populated at static initialization time. |
| 12 | /// |
Samuel Benzaquen | a76d8cd | 2013-05-15 19:49:05 +0000 | [diff] [blame] | 13 | //===------------------------------------------------------------===// |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 14 | |
| 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 | |
| 25 | namespace clang { |
| 26 | namespace ast_matchers { |
| 27 | namespace dynamic { |
| 28 | namespace { |
| 29 | |
| 30 | using internal::MatcherCreateCallback; |
| 31 | |
| 32 | typedef llvm::StringMap<const MatcherCreateCallback *> ConstructorMap; |
| 33 | class RegistryMaps { |
| 34 | public: |
| 35 | RegistryMaps(); |
| 36 | ~RegistryMaps(); |
| 37 | |
| 38 | const ConstructorMap &constructors() const { return Constructors; } |
| 39 | |
| 40 | private: |
| 41 | void registerMatcher(StringRef MatcherName, MatcherCreateCallback *Callback); |
| 42 | ConstructorMap Constructors; |
| 43 | }; |
| 44 | |
| 45 | void RegistryMaps::registerMatcher(StringRef MatcherName, |
| 46 | MatcherCreateCallback *Callback) { |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 47 | assert(Constructors.find(MatcherName) == Constructors.end()); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 48 | Constructors[MatcherName] = Callback; |
| 49 | } |
| 50 | |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 51 | /// \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. |
| 56 | class 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 Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 66 | virtual VariantMatcher run(const SourceRange &NameRange, |
| 67 | ArrayRef<ParserValue> Args, |
| 68 | Diagnostics *Error) const { |
| 69 | std::vector<VariantMatcher> Constructed; |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 70 | Diagnostics::OverloadContext Ctx(Error); |
| 71 | for (size_t i = 0, e = Overloads.size(); i != e; ++i) { |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 72 | VariantMatcher SubMatcher = Overloads[i]->run(NameRange, Args, Error); |
| 73 | if (!SubMatcher.isNull()) { |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 74 | Constructed.push_back(SubMatcher); |
| 75 | } |
| 76 | } |
| 77 | |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 78 | if (Constructed.empty()) return VariantMatcher(); // No overload matched. |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 79 | // 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 Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 84 | return VariantMatcher(); |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 85 | } |
| 86 | return Constructed[0]; |
| 87 | } |
| 88 | |
| 89 | private: |
| 90 | std::vector<MatcherCreateCallback*> Overloads; |
| 91 | }; |
| 92 | |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 93 | #define REGISTER_MATCHER(name) \ |
| 94 | registerMatcher(#name, internal::makeMatcherAutoMarshall( \ |
| 95 | ::clang::ast_matchers::name, #name)); |
| 96 | |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 97 | #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 Benzaquen | 7f8a5b1 | 2013-07-24 14:48:01 +0000 | [diff] [blame] | 112 | /// \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. |
| 120 | template <template <typename ToArg, typename FromArg> class ArgumentAdapterT, |
| 121 | typename FromTypes, typename ToTypes> |
| 122 | struct 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 | |
| 151 | template <template <typename ToArg, typename FromArg> class ArgumentAdapterT, |
| 152 | typename DummyArg, typename FromTypes, typename ToTypes> |
| 153 | void 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 Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 170 | /// \brief Generate a registry map with all the known matchers. |
| 171 | RegistryMaps::RegistryMaps() { |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 172 | // TODO: Here is the list of the missing matchers, grouped by reason. |
| 173 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 174 | // Need Variant/Parser fixes: |
| 175 | // ofKind |
| 176 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 177 | // Polymorphic + argument overload: |
| 178 | // unless |
| 179 | // eachOf |
| 180 | // anyOf |
| 181 | // allOf |
| 182 | // findAll |
| 183 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 184 | // Other: |
| 185 | // loc |
| 186 | // equals |
| 187 | // equalsNode |
| 188 | // hasDeclaration |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 189 | |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 190 | 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 Benzaquen | 7f8a5b1 | 2013-07-24 14:48:01 +0000 | [diff] [blame] | 199 | 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 Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 206 | REGISTER_MATCHER(accessSpecDecl); |
| 207 | REGISTER_MATCHER(alignOfExpr); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 208 | REGISTER_MATCHER(anything); |
| 209 | REGISTER_MATCHER(argumentCountIs); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 210 | REGISTER_MATCHER(arraySubscriptExpr); |
| 211 | REGISTER_MATCHER(arrayType); |
| 212 | REGISTER_MATCHER(asString); |
| 213 | REGISTER_MATCHER(asmStmt); |
| 214 | REGISTER_MATCHER(atomicType); |
| 215 | REGISTER_MATCHER(autoType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 216 | REGISTER_MATCHER(binaryOperator); |
| 217 | REGISTER_MATCHER(bindTemporaryExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 218 | REGISTER_MATCHER(blockPointerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 219 | REGISTER_MATCHER(boolLiteral); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 220 | REGISTER_MATCHER(breakStmt); |
| 221 | REGISTER_MATCHER(builtinType); |
| 222 | REGISTER_MATCHER(cStyleCastExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 223 | REGISTER_MATCHER(callExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 224 | REGISTER_MATCHER(castExpr); |
| 225 | REGISTER_MATCHER(catchStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 226 | REGISTER_MATCHER(characterLiteral); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 227 | REGISTER_MATCHER(classTemplateDecl); |
| 228 | REGISTER_MATCHER(classTemplateSpecializationDecl); |
| 229 | REGISTER_MATCHER(complexType); |
| 230 | REGISTER_MATCHER(compoundLiteralExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 231 | REGISTER_MATCHER(compoundStmt); |
| 232 | REGISTER_MATCHER(conditionalOperator); |
| 233 | REGISTER_MATCHER(constCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 234 | REGISTER_MATCHER(constantArrayType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 235 | REGISTER_MATCHER(constructExpr); |
| 236 | REGISTER_MATCHER(constructorDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 237 | REGISTER_MATCHER(containsDeclaration); |
| 238 | REGISTER_MATCHER(continueStmt); |
Stefanus Du Toit | 403f6dd | 2013-08-15 00:33:08 +0000 | [diff] [blame^] | 239 | REGISTER_MATCHER(ctorInitializer); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 240 | REGISTER_MATCHER(decl); |
| 241 | REGISTER_MATCHER(declCountIs); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 242 | REGISTER_MATCHER(declRefExpr); |
| 243 | REGISTER_MATCHER(declStmt); |
| 244 | REGISTER_MATCHER(defaultArgExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 245 | REGISTER_MATCHER(deleteExpr); |
| 246 | REGISTER_MATCHER(dependentSizedArrayType); |
| 247 | REGISTER_MATCHER(destructorDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 248 | REGISTER_MATCHER(doStmt); |
| 249 | REGISTER_MATCHER(dynamicCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 250 | REGISTER_MATCHER(elaboratedType); |
| 251 | REGISTER_MATCHER(enumConstantDecl); |
| 252 | REGISTER_MATCHER(enumDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 253 | REGISTER_MATCHER(explicitCastExpr); |
| 254 | REGISTER_MATCHER(expr); |
| 255 | REGISTER_MATCHER(fieldDecl); |
Daniel Jasper | 91f1c8c | 2013-07-26 18:52:58 +0000 | [diff] [blame] | 256 | REGISTER_MATCHER(floatLiteral); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 257 | REGISTER_MATCHER(forField); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 258 | REGISTER_MATCHER(forRangeStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 259 | REGISTER_MATCHER(forStmt); |
| 260 | REGISTER_MATCHER(functionDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 261 | REGISTER_MATCHER(functionTemplateDecl); |
| 262 | REGISTER_MATCHER(functionType); |
| 263 | REGISTER_MATCHER(functionalCastExpr); |
| 264 | REGISTER_MATCHER(gotoStmt); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 265 | REGISTER_MATCHER(hasAnyArgument); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 266 | REGISTER_MATCHER(hasAnyConstructorInitializer); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 267 | REGISTER_MATCHER(hasAnyParameter); |
| 268 | REGISTER_MATCHER(hasAnySubstatement); |
Samuel Benzaquen | 21b3da0 | 2013-07-17 15:11:30 +0000 | [diff] [blame] | 269 | REGISTER_MATCHER(hasAnyTemplateArgument); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 270 | REGISTER_MATCHER(hasAnyUsingShadowDecl); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 271 | REGISTER_MATCHER(hasArgument); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 272 | REGISTER_MATCHER(hasArgumentOfType); |
| 273 | REGISTER_MATCHER(hasBase); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 274 | REGISTER_MATCHER(hasBody); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 275 | REGISTER_MATCHER(hasCanonicalType); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 276 | REGISTER_MATCHER(hasCondition); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 277 | REGISTER_MATCHER(hasConditionVariableStatement); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 278 | REGISTER_MATCHER(hasDeclContext); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 279 | REGISTER_MATCHER(hasDeducedType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 280 | REGISTER_MATCHER(hasDestinationType); |
| 281 | REGISTER_MATCHER(hasEitherOperand); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 282 | REGISTER_MATCHER(hasElementType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 283 | REGISTER_MATCHER(hasFalseExpression); |
| 284 | REGISTER_MATCHER(hasImplicitDestinationType); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 285 | REGISTER_MATCHER(hasIncrement); |
| 286 | REGISTER_MATCHER(hasIndex); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 287 | REGISTER_MATCHER(hasInitializer); |
| 288 | REGISTER_MATCHER(hasLHS); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 289 | REGISTER_MATCHER(hasLocalQualifiers); |
| 290 | REGISTER_MATCHER(hasLoopInit); |
| 291 | REGISTER_MATCHER(hasMethod); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 292 | REGISTER_MATCHER(hasName); |
| 293 | REGISTER_MATCHER(hasObjectExpression); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 294 | REGISTER_MATCHER(hasOperatorName); |
| 295 | REGISTER_MATCHER(hasOverloadedOperatorName); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 296 | REGISTER_MATCHER(hasParameter); |
| 297 | REGISTER_MATCHER(hasQualifier); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 298 | REGISTER_MATCHER(hasRHS); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 299 | REGISTER_MATCHER(hasSingleDecl); |
| 300 | REGISTER_MATCHER(hasSize); |
| 301 | REGISTER_MATCHER(hasSizeExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 302 | REGISTER_MATCHER(hasSourceExpression); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 303 | REGISTER_MATCHER(hasTargetDecl); |
Samuel Benzaquen | 21b3da0 | 2013-07-17 15:11:30 +0000 | [diff] [blame] | 304 | REGISTER_MATCHER(hasTemplateArgument); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 305 | REGISTER_MATCHER(hasTrueExpression); |
| 306 | REGISTER_MATCHER(hasUnaryOperand); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 307 | REGISTER_MATCHER(hasValueType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 308 | REGISTER_MATCHER(ifStmt); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 309 | REGISTER_MATCHER(ignoringImpCasts); |
| 310 | REGISTER_MATCHER(ignoringParenCasts); |
| 311 | REGISTER_MATCHER(ignoringParenImpCasts); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 312 | REGISTER_MATCHER(implicitCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 313 | REGISTER_MATCHER(incompleteArrayType); |
| 314 | REGISTER_MATCHER(initListExpr); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 315 | REGISTER_MATCHER(innerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 316 | REGISTER_MATCHER(integerLiteral); |
| 317 | REGISTER_MATCHER(isArrow); |
| 318 | REGISTER_MATCHER(isConstQualified); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 319 | REGISTER_MATCHER(isDefinition); |
| 320 | REGISTER_MATCHER(isExplicitTemplateSpecialization); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 321 | REGISTER_MATCHER(isExternC); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 322 | REGISTER_MATCHER(isImplicit); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 323 | REGISTER_MATCHER(isInteger); |
| 324 | REGISTER_MATCHER(isOverride); |
| 325 | REGISTER_MATCHER(isPrivate); |
| 326 | REGISTER_MATCHER(isProtected); |
| 327 | REGISTER_MATCHER(isPublic); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 328 | REGISTER_MATCHER(isTemplateInstantiation); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 329 | REGISTER_MATCHER(isVirtual); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 330 | REGISTER_MATCHER(isWritten); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 331 | REGISTER_MATCHER(lValueReferenceType); |
| 332 | REGISTER_MATCHER(labelStmt); |
| 333 | REGISTER_MATCHER(lambdaExpr); |
| 334 | REGISTER_MATCHER(matchesName); |
| 335 | REGISTER_MATCHER(materializeTemporaryExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 336 | REGISTER_MATCHER(member); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 337 | REGISTER_MATCHER(memberCallExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 338 | REGISTER_MATCHER(memberExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 339 | REGISTER_MATCHER(memberPointerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 340 | REGISTER_MATCHER(methodDecl); |
| 341 | REGISTER_MATCHER(namedDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 342 | REGISTER_MATCHER(namesType); |
| 343 | REGISTER_MATCHER(namespaceDecl); |
| 344 | REGISTER_MATCHER(nestedNameSpecifier); |
| 345 | REGISTER_MATCHER(nestedNameSpecifierLoc); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 346 | REGISTER_MATCHER(newExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 347 | REGISTER_MATCHER(nullPtrLiteralExpr); |
| 348 | REGISTER_MATCHER(nullStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 349 | REGISTER_MATCHER(ofClass); |
| 350 | REGISTER_MATCHER(on); |
| 351 | REGISTER_MATCHER(onImplicitObjectArgument); |
| 352 | REGISTER_MATCHER(operatorCallExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 353 | REGISTER_MATCHER(parameterCountIs); |
| 354 | REGISTER_MATCHER(parenType); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 355 | REGISTER_MATCHER(pointee); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 356 | REGISTER_MATCHER(pointerType); |
| 357 | REGISTER_MATCHER(qualType); |
| 358 | REGISTER_MATCHER(rValueReferenceType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 359 | REGISTER_MATCHER(recordDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 360 | REGISTER_MATCHER(recordType); |
| 361 | REGISTER_MATCHER(referenceType); |
| 362 | REGISTER_MATCHER(refersToDeclaration); |
| 363 | REGISTER_MATCHER(refersToType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 364 | REGISTER_MATCHER(reinterpretCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 365 | 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 Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 372 | REGISTER_MATCHER(staticCastExpr); |
| 373 | REGISTER_MATCHER(stmt); |
| 374 | REGISTER_MATCHER(stringLiteral); |
| 375 | REGISTER_MATCHER(switchCase); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 376 | REGISTER_MATCHER(switchStmt); |
| 377 | REGISTER_MATCHER(templateSpecializationType); |
| 378 | REGISTER_MATCHER(thisExpr); |
| 379 | REGISTER_MATCHER(throughUsingDecl); |
| 380 | REGISTER_MATCHER(throwExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 381 | REGISTER_MATCHER(to); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 382 | REGISTER_MATCHER(tryStmt); |
| 383 | REGISTER_MATCHER(type); |
| 384 | REGISTER_MATCHER(typeLoc); |
| 385 | REGISTER_MATCHER(typedefType); |
| 386 | REGISTER_MATCHER(unaryExprOrTypeTraitExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 387 | REGISTER_MATCHER(unaryOperator); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 388 | REGISTER_MATCHER(userDefinedLiteral); |
| 389 | REGISTER_MATCHER(usingDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 390 | REGISTER_MATCHER(varDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 391 | REGISTER_MATCHER(variableArrayType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 392 | REGISTER_MATCHER(whileStmt); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 393 | REGISTER_MATCHER(withInitializer); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 394 | } |
| 395 | |
| 396 | RegistryMaps::~RegistryMaps() { |
| 397 | for (ConstructorMap::iterator it = Constructors.begin(), |
| 398 | end = Constructors.end(); |
| 399 | it != end; ++it) { |
| 400 | delete it->second; |
| 401 | } |
| 402 | } |
| 403 | |
| 404 | static llvm::ManagedStatic<RegistryMaps> RegistryData; |
| 405 | |
| 406 | } // anonymous namespace |
| 407 | |
| 408 | // static |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 409 | VariantMatcher Registry::constructMatcher(StringRef MatcherName, |
| 410 | const SourceRange &NameRange, |
| 411 | ArrayRef<ParserValue> Args, |
| 412 | Diagnostics *Error) { |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 413 | ConstructorMap::const_iterator it = |
| 414 | RegistryData->constructors().find(MatcherName); |
| 415 | if (it == RegistryData->constructors().end()) { |
Samuel Benzaquen | a37bb8c | 2013-07-18 19:47:59 +0000 | [diff] [blame] | 416 | Error->addError(NameRange, Error->ET_RegistryNotFound) << MatcherName; |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 417 | return VariantMatcher(); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 418 | } |
| 419 | |
| 420 | return it->second->run(NameRange, Args, Error); |
| 421 | } |
| 422 | |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 423 | // static |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 424 | VariantMatcher 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 Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 431 | |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 432 | const DynTypedMatcher *Result; |
| 433 | if (Out.getSingleMatcher(Result)) { |
| 434 | OwningPtr<DynTypedMatcher> Bound(Result->tryBind(BindID)); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 435 | if (Bound) { |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 436 | return VariantMatcher::SingleMatcher(*Bound); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 437 | } |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 438 | } |
Samuel Benzaquen | a37bb8c | 2013-07-18 19:47:59 +0000 | [diff] [blame] | 439 | Error->addError(NameRange, Error->ET_RegistryNotBindable); |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 440 | return VariantMatcher(); |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 441 | } |
| 442 | |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 443 | } // namespace dynamic |
| 444 | } // namespace ast_matchers |
| 445 | } // namespace clang |