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" |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 16 | #include "Marshallers.h" |
| 17 | #include "clang/ASTMatchers/ASTMatchers.h" |
| 18 | #include "llvm/ADT/StringMap.h" |
| 19 | #include "llvm/ADT/StringRef.h" |
| 20 | #include "llvm/Support/ManagedStatic.h" |
Chandler Carruth | 5553d0d | 2014-01-07 11:51:46 +0000 | [diff] [blame] | 21 | #include <utility> |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 22 | |
| 23 | namespace clang { |
| 24 | namespace ast_matchers { |
| 25 | namespace dynamic { |
| 26 | namespace { |
| 27 | |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 28 | using internal::MatcherDescriptor; |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 29 | |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 30 | typedef llvm::StringMap<const MatcherDescriptor *> ConstructorMap; |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 31 | class RegistryMaps { |
| 32 | public: |
| 33 | RegistryMaps(); |
| 34 | ~RegistryMaps(); |
| 35 | |
| 36 | const ConstructorMap &constructors() const { return Constructors; } |
| 37 | |
| 38 | private: |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 39 | void registerMatcher(StringRef MatcherName, MatcherDescriptor *Callback); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 40 | ConstructorMap Constructors; |
| 41 | }; |
| 42 | |
| 43 | void RegistryMaps::registerMatcher(StringRef MatcherName, |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 44 | MatcherDescriptor *Callback) { |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 45 | assert(Constructors.find(MatcherName) == Constructors.end()); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 46 | Constructors[MatcherName] = Callback; |
| 47 | } |
| 48 | |
| 49 | #define REGISTER_MATCHER(name) \ |
| 50 | registerMatcher(#name, internal::makeMatcherAutoMarshall( \ |
| 51 | ::clang::ast_matchers::name, #name)); |
| 52 | |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 53 | #define SPECIFIC_MATCHER_OVERLOAD(name, Id) \ |
| 54 | static_cast< ::clang::ast_matchers::name##_Type##Id>( \ |
| 55 | ::clang::ast_matchers::name) |
| 56 | |
| 57 | #define REGISTER_OVERLOADED_2(name) \ |
| 58 | do { \ |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 59 | MatcherDescriptor *Callbacks[] = { \ |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 60 | internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 0), \ |
| 61 | #name), \ |
| 62 | internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, 1), \ |
| 63 | #name) \ |
| 64 | }; \ |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 65 | registerMatcher(#name, \ |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 66 | new internal::OverloadedMatcherDescriptor(Callbacks)); \ |
Samuel Benzaquen | 7f8a5b1 | 2013-07-24 14:48:01 +0000 | [diff] [blame] | 67 | } while (0) |
| 68 | |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 69 | /// \brief Generate a registry map with all the known matchers. |
| 70 | RegistryMaps::RegistryMaps() { |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 71 | // TODO: Here is the list of the missing matchers, grouped by reason. |
| 72 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 73 | // Need Variant/Parser fixes: |
| 74 | // ofKind |
| 75 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 76 | // Polymorphic + argument overload: |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 77 | // findAll |
| 78 | // |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 79 | // Other: |
| 80 | // loc |
| 81 | // equals |
| 82 | // equalsNode |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 83 | |
Samuel Benzaquen | e0b2c8e | 2013-07-22 16:13:57 +0000 | [diff] [blame] | 84 | REGISTER_OVERLOADED_2(callee); |
| 85 | REGISTER_OVERLOADED_2(hasPrefix); |
| 86 | REGISTER_OVERLOADED_2(hasType); |
| 87 | REGISTER_OVERLOADED_2(isDerivedFrom); |
| 88 | REGISTER_OVERLOADED_2(isSameOrDerivedFrom); |
| 89 | REGISTER_OVERLOADED_2(pointsTo); |
| 90 | REGISTER_OVERLOADED_2(references); |
| 91 | REGISTER_OVERLOADED_2(thisPointerType); |
| 92 | |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 93 | REGISTER_MATCHER(accessSpecDecl); |
| 94 | REGISTER_MATCHER(alignOfExpr); |
Samuel Benzaquen | 4adca62 | 2013-08-28 18:42:04 +0000 | [diff] [blame] | 95 | REGISTER_MATCHER(allOf); |
| 96 | REGISTER_MATCHER(anyOf); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 97 | REGISTER_MATCHER(anything); |
| 98 | REGISTER_MATCHER(argumentCountIs); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 99 | REGISTER_MATCHER(arraySubscriptExpr); |
| 100 | REGISTER_MATCHER(arrayType); |
| 101 | REGISTER_MATCHER(asString); |
| 102 | REGISTER_MATCHER(asmStmt); |
| 103 | REGISTER_MATCHER(atomicType); |
| 104 | REGISTER_MATCHER(autoType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 105 | REGISTER_MATCHER(binaryOperator); |
| 106 | REGISTER_MATCHER(bindTemporaryExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 107 | REGISTER_MATCHER(blockPointerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 108 | REGISTER_MATCHER(boolLiteral); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 109 | REGISTER_MATCHER(breakStmt); |
| 110 | REGISTER_MATCHER(builtinType); |
| 111 | REGISTER_MATCHER(cStyleCastExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 112 | REGISTER_MATCHER(callExpr); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 113 | REGISTER_MATCHER(caseStmt); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 114 | REGISTER_MATCHER(castExpr); |
| 115 | REGISTER_MATCHER(catchStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 116 | REGISTER_MATCHER(characterLiteral); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 117 | REGISTER_MATCHER(classTemplateDecl); |
| 118 | REGISTER_MATCHER(classTemplateSpecializationDecl); |
| 119 | REGISTER_MATCHER(complexType); |
| 120 | REGISTER_MATCHER(compoundLiteralExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 121 | REGISTER_MATCHER(compoundStmt); |
| 122 | REGISTER_MATCHER(conditionalOperator); |
| 123 | REGISTER_MATCHER(constCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 124 | REGISTER_MATCHER(constantArrayType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 125 | REGISTER_MATCHER(constructExpr); |
| 126 | REGISTER_MATCHER(constructorDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 127 | REGISTER_MATCHER(containsDeclaration); |
| 128 | REGISTER_MATCHER(continueStmt); |
Stefanus Du Toit | 403f6dd | 2013-08-15 00:33:08 +0000 | [diff] [blame] | 129 | REGISTER_MATCHER(ctorInitializer); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 130 | REGISTER_MATCHER(decl); |
| 131 | REGISTER_MATCHER(declCountIs); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 132 | REGISTER_MATCHER(declRefExpr); |
| 133 | REGISTER_MATCHER(declStmt); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 134 | REGISTER_MATCHER(declaratorDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 135 | REGISTER_MATCHER(defaultArgExpr); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 136 | REGISTER_MATCHER(defaultStmt); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 137 | REGISTER_MATCHER(deleteExpr); |
| 138 | REGISTER_MATCHER(dependentSizedArrayType); |
| 139 | REGISTER_MATCHER(destructorDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 140 | REGISTER_MATCHER(doStmt); |
| 141 | REGISTER_MATCHER(dynamicCastExpr); |
Samuel Benzaquen | 4adca62 | 2013-08-28 18:42:04 +0000 | [diff] [blame] | 142 | REGISTER_MATCHER(eachOf); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 143 | REGISTER_MATCHER(elaboratedType); |
| 144 | REGISTER_MATCHER(enumConstantDecl); |
| 145 | REGISTER_MATCHER(enumDecl); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 146 | REGISTER_MATCHER(equalsBoundNode); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 147 | REGISTER_MATCHER(explicitCastExpr); |
| 148 | REGISTER_MATCHER(expr); |
| 149 | REGISTER_MATCHER(fieldDecl); |
Daniel Jasper | 91f1c8c | 2013-07-26 18:52:58 +0000 | [diff] [blame] | 150 | REGISTER_MATCHER(floatLiteral); |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 151 | REGISTER_MATCHER(forEach); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 152 | REGISTER_MATCHER(forEachConstructorInitializer); |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 153 | REGISTER_MATCHER(forEachDescendant); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 154 | REGISTER_MATCHER(forEachSwitchCase); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 155 | REGISTER_MATCHER(forField); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 156 | REGISTER_MATCHER(forRangeStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 157 | REGISTER_MATCHER(forStmt); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 158 | REGISTER_MATCHER(friendDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 159 | REGISTER_MATCHER(functionDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 160 | REGISTER_MATCHER(functionTemplateDecl); |
| 161 | REGISTER_MATCHER(functionType); |
| 162 | REGISTER_MATCHER(functionalCastExpr); |
| 163 | REGISTER_MATCHER(gotoStmt); |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 164 | REGISTER_MATCHER(has); |
| 165 | REGISTER_MATCHER(hasAncestor); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 166 | REGISTER_MATCHER(hasAnyArgument); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 167 | REGISTER_MATCHER(hasAnyConstructorInitializer); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 168 | REGISTER_MATCHER(hasAnyParameter); |
| 169 | REGISTER_MATCHER(hasAnySubstatement); |
Samuel Benzaquen | 21b3da0 | 2013-07-17 15:11:30 +0000 | [diff] [blame] | 170 | REGISTER_MATCHER(hasAnyTemplateArgument); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 171 | REGISTER_MATCHER(hasAnyUsingShadowDecl); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 172 | REGISTER_MATCHER(hasArgument); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 173 | REGISTER_MATCHER(hasArgumentOfType); |
| 174 | REGISTER_MATCHER(hasBase); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 175 | REGISTER_MATCHER(hasBody); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 176 | REGISTER_MATCHER(hasCanonicalType); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 177 | REGISTER_MATCHER(hasCaseConstant); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 178 | REGISTER_MATCHER(hasCondition); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 179 | REGISTER_MATCHER(hasConditionVariableStatement); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 180 | REGISTER_MATCHER(hasDeclContext); |
Samuel Benzaquen | 464c1cb | 2013-11-18 14:53:42 +0000 | [diff] [blame] | 181 | REGISTER_MATCHER(hasDeclaration); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 182 | REGISTER_MATCHER(hasDeducedType); |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 183 | REGISTER_MATCHER(hasDescendant); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 184 | REGISTER_MATCHER(hasDestinationType); |
| 185 | REGISTER_MATCHER(hasEitherOperand); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 186 | REGISTER_MATCHER(hasElementType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 187 | REGISTER_MATCHER(hasFalseExpression); |
| 188 | REGISTER_MATCHER(hasImplicitDestinationType); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 189 | REGISTER_MATCHER(hasIncrement); |
| 190 | REGISTER_MATCHER(hasIndex); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 191 | REGISTER_MATCHER(hasInitializer); |
| 192 | REGISTER_MATCHER(hasLHS); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 193 | REGISTER_MATCHER(hasLocalQualifiers); |
| 194 | REGISTER_MATCHER(hasLoopInit); |
| 195 | REGISTER_MATCHER(hasMethod); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 196 | REGISTER_MATCHER(hasName); |
| 197 | REGISTER_MATCHER(hasObjectExpression); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 198 | REGISTER_MATCHER(hasOperatorName); |
| 199 | REGISTER_MATCHER(hasOverloadedOperatorName); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 200 | REGISTER_MATCHER(hasParameter); |
Samuel Benzaquen | bd7d887 | 2013-08-16 16:19:42 +0000 | [diff] [blame] | 201 | REGISTER_MATCHER(hasParent); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 202 | REGISTER_MATCHER(hasQualifier); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 203 | REGISTER_MATCHER(hasRHS); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 204 | REGISTER_MATCHER(hasSingleDecl); |
| 205 | REGISTER_MATCHER(hasSize); |
| 206 | REGISTER_MATCHER(hasSizeExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 207 | REGISTER_MATCHER(hasSourceExpression); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 208 | REGISTER_MATCHER(hasTargetDecl); |
Samuel Benzaquen | 21b3da0 | 2013-07-17 15:11:30 +0000 | [diff] [blame] | 209 | REGISTER_MATCHER(hasTemplateArgument); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 210 | REGISTER_MATCHER(hasTrueExpression); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 211 | REGISTER_MATCHER(hasTypeLoc); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 212 | REGISTER_MATCHER(hasUnaryOperand); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 213 | REGISTER_MATCHER(hasValueType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 214 | REGISTER_MATCHER(ifStmt); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 215 | REGISTER_MATCHER(ignoringImpCasts); |
| 216 | REGISTER_MATCHER(ignoringParenCasts); |
| 217 | REGISTER_MATCHER(ignoringParenImpCasts); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 218 | REGISTER_MATCHER(implicitCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 219 | REGISTER_MATCHER(incompleteArrayType); |
| 220 | REGISTER_MATCHER(initListExpr); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 221 | REGISTER_MATCHER(innerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 222 | REGISTER_MATCHER(integerLiteral); |
| 223 | REGISTER_MATCHER(isArrow); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 224 | REGISTER_MATCHER(isConst); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 225 | REGISTER_MATCHER(isConstQualified); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 226 | REGISTER_MATCHER(isDefinition); |
| 227 | REGISTER_MATCHER(isExplicitTemplateSpecialization); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 228 | REGISTER_MATCHER(isExternC); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 229 | REGISTER_MATCHER(isImplicit); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 230 | REGISTER_MATCHER(isInteger); |
| 231 | REGISTER_MATCHER(isOverride); |
| 232 | REGISTER_MATCHER(isPrivate); |
| 233 | REGISTER_MATCHER(isProtected); |
| 234 | REGISTER_MATCHER(isPublic); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 235 | REGISTER_MATCHER(isTemplateInstantiation); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 236 | REGISTER_MATCHER(isVirtual); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 237 | REGISTER_MATCHER(isWritten); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 238 | REGISTER_MATCHER(lValueReferenceType); |
| 239 | REGISTER_MATCHER(labelStmt); |
| 240 | REGISTER_MATCHER(lambdaExpr); |
| 241 | REGISTER_MATCHER(matchesName); |
| 242 | REGISTER_MATCHER(materializeTemporaryExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 243 | REGISTER_MATCHER(member); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 244 | REGISTER_MATCHER(memberCallExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 245 | REGISTER_MATCHER(memberExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 246 | REGISTER_MATCHER(memberPointerType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 247 | REGISTER_MATCHER(methodDecl); |
| 248 | REGISTER_MATCHER(namedDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 249 | REGISTER_MATCHER(namesType); |
| 250 | REGISTER_MATCHER(namespaceDecl); |
| 251 | REGISTER_MATCHER(nestedNameSpecifier); |
| 252 | REGISTER_MATCHER(nestedNameSpecifierLoc); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 253 | REGISTER_MATCHER(newExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 254 | REGISTER_MATCHER(nullPtrLiteralExpr); |
| 255 | REGISTER_MATCHER(nullStmt); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 256 | REGISTER_MATCHER(ofClass); |
| 257 | REGISTER_MATCHER(on); |
| 258 | REGISTER_MATCHER(onImplicitObjectArgument); |
| 259 | REGISTER_MATCHER(operatorCallExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 260 | REGISTER_MATCHER(parameterCountIs); |
| 261 | REGISTER_MATCHER(parenType); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 262 | REGISTER_MATCHER(parmVarDecl); |
Samuel Benzaquen | 79656e1 | 2013-07-15 19:25:06 +0000 | [diff] [blame] | 263 | REGISTER_MATCHER(pointee); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 264 | REGISTER_MATCHER(pointerType); |
| 265 | REGISTER_MATCHER(qualType); |
| 266 | REGISTER_MATCHER(rValueReferenceType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 267 | REGISTER_MATCHER(recordDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 268 | REGISTER_MATCHER(recordType); |
| 269 | REGISTER_MATCHER(referenceType); |
| 270 | REGISTER_MATCHER(refersToDeclaration); |
| 271 | REGISTER_MATCHER(refersToType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 272 | REGISTER_MATCHER(reinterpretCastExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 273 | REGISTER_MATCHER(returnStmt); |
| 274 | REGISTER_MATCHER(returns); |
| 275 | REGISTER_MATCHER(sizeOfExpr); |
| 276 | REGISTER_MATCHER(specifiesNamespace); |
| 277 | REGISTER_MATCHER(specifiesType); |
| 278 | REGISTER_MATCHER(specifiesTypeLoc); |
| 279 | REGISTER_MATCHER(statementCountIs); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 280 | REGISTER_MATCHER(staticCastExpr); |
| 281 | REGISTER_MATCHER(stmt); |
| 282 | REGISTER_MATCHER(stringLiteral); |
| 283 | REGISTER_MATCHER(switchCase); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 284 | REGISTER_MATCHER(switchStmt); |
| 285 | REGISTER_MATCHER(templateSpecializationType); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 286 | REGISTER_MATCHER(temporaryObjectExpr); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 287 | REGISTER_MATCHER(thisExpr); |
| 288 | REGISTER_MATCHER(throughUsingDecl); |
| 289 | REGISTER_MATCHER(throwExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 290 | REGISTER_MATCHER(to); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 291 | REGISTER_MATCHER(tryStmt); |
| 292 | REGISTER_MATCHER(type); |
| 293 | REGISTER_MATCHER(typeLoc); |
| 294 | REGISTER_MATCHER(typedefType); |
| 295 | REGISTER_MATCHER(unaryExprOrTypeTraitExpr); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 296 | REGISTER_MATCHER(unaryOperator); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 297 | REGISTER_MATCHER(unaryTransformType); |
Samuel Benzaquen | 4d05874 | 2013-11-22 14:41:48 +0000 | [diff] [blame] | 298 | REGISTER_MATCHER(unless); |
Samuel Benzaquen | 0d455abe | 2013-11-25 15:03:44 +0000 | [diff] [blame] | 299 | REGISTER_MATCHER(unresolvedConstructExpr); |
| 300 | REGISTER_MATCHER(unresolvedUsingValueDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 301 | REGISTER_MATCHER(userDefinedLiteral); |
| 302 | REGISTER_MATCHER(usingDecl); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 303 | REGISTER_MATCHER(varDecl); |
Samuel Benzaquen | c31b352 | 2013-06-04 15:46:22 +0000 | [diff] [blame] | 304 | REGISTER_MATCHER(variableArrayType); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 305 | REGISTER_MATCHER(whileStmt); |
Samuel Benzaquen | 06e056c | 2013-07-17 14:28:00 +0000 | [diff] [blame] | 306 | REGISTER_MATCHER(withInitializer); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 307 | } |
| 308 | |
| 309 | RegistryMaps::~RegistryMaps() { |
| 310 | for (ConstructorMap::iterator it = Constructors.begin(), |
| 311 | end = Constructors.end(); |
| 312 | it != end; ++it) { |
| 313 | delete it->second; |
| 314 | } |
| 315 | } |
| 316 | |
| 317 | static llvm::ManagedStatic<RegistryMaps> RegistryData; |
| 318 | |
| 319 | } // anonymous namespace |
| 320 | |
| 321 | // static |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 322 | llvm::Optional<MatcherCtor> |
| 323 | Registry::lookupMatcherCtor(StringRef MatcherName, const SourceRange &NameRange, |
| 324 | Diagnostics *Error) { |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 325 | ConstructorMap::const_iterator it = |
| 326 | RegistryData->constructors().find(MatcherName); |
| 327 | if (it == RegistryData->constructors().end()) { |
Samuel Benzaquen | a37bb8c | 2013-07-18 19:47:59 +0000 | [diff] [blame] | 328 | Error->addError(NameRange, Error->ET_RegistryNotFound) << MatcherName; |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 329 | return llvm::Optional<MatcherCtor>(); |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 330 | } |
| 331 | |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 332 | return it->second; |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 333 | } |
| 334 | |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 335 | // static |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 336 | VariantMatcher Registry::constructMatcher(MatcherCtor Ctor, |
| 337 | const SourceRange &NameRange, |
| 338 | ArrayRef<ParserValue> Args, |
| 339 | Diagnostics *Error) { |
Peter Collingbourne | f43e694 | 2013-11-23 01:34:36 +0000 | [diff] [blame] | 340 | return Ctor->create(NameRange, Args, Error); |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 341 | } |
| 342 | |
| 343 | // static |
| 344 | VariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor, |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 345 | const SourceRange &NameRange, |
| 346 | StringRef BindID, |
| 347 | ArrayRef<ParserValue> Args, |
| 348 | Diagnostics *Error) { |
Peter Collingbourne | 00cba4f | 2013-11-23 01:13:16 +0000 | [diff] [blame] | 349 | VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error); |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 350 | if (Out.isNull()) return Out; |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 351 | |
Samuel Benzaquen | f34ac3e | 2013-10-29 14:37:15 +0000 | [diff] [blame] | 352 | llvm::Optional<DynTypedMatcher> Result = Out.getSingleMatcher(); |
| 353 | if (Result.hasValue()) { |
| 354 | llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID); |
| 355 | if (Bound.hasValue()) { |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 356 | return VariantMatcher::SingleMatcher(*Bound); |
Samuel Benzaquen | c6f2c9b | 2013-06-21 15:51:31 +0000 | [diff] [blame] | 357 | } |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 358 | } |
Samuel Benzaquen | a37bb8c | 2013-07-18 19:47:59 +0000 | [diff] [blame] | 359 | Error->addError(NameRange, Error->ET_RegistryNotBindable); |
Samuel Benzaquen | 0239b69 | 2013-08-13 14:54:51 +0000 | [diff] [blame] | 360 | return VariantMatcher(); |
Samuel Benzaquen | 31edb51 | 2013-06-03 19:31:08 +0000 | [diff] [blame] | 361 | } |
| 362 | |
Manuel Klimek | 24db0f0 | 2013-05-14 09:13:00 +0000 | [diff] [blame] | 363 | } // namespace dynamic |
| 364 | } // namespace ast_matchers |
| 365 | } // namespace clang |