clang  6.0.0svn
Registry.cpp
Go to the documentation of this file.
1 //===- Registry.cpp - Matcher registry ------------------------------------===//
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 //
8 //===----------------------------------------------------------------------===//
9 //
10 /// \file
11 /// \brief Registry map populated at static initialization time.
12 //
13 //===----------------------------------------------------------------------===//
14 
16 #include "Marshallers.h"
21 #include "llvm/ADT/Optional.h"
22 #include "llvm/ADT/STLExtras.h"
23 #include "llvm/ADT/StringMap.h"
24 #include "llvm/ADT/StringRef.h"
25 #include "llvm/Support/ManagedStatic.h"
26 #include "llvm/Support/raw_ostream.h"
27 #include <cassert>
28 #include <iterator>
29 #include <memory>
30 #include <set>
31 #include <string>
32 #include <utility>
33 #include <vector>
34 
35 using namespace clang::ast_type_traits;
36 
37 namespace clang {
38 namespace ast_matchers {
39 namespace dynamic {
40 
41 namespace {
42 
43 using internal::MatcherDescriptor;
44 
45 using ConstructorMap = llvm::StringMap<std::unique_ptr<const MatcherDescriptor>>;
46 
47 class RegistryMaps {
48 public:
49  RegistryMaps();
50  ~RegistryMaps();
51 
52  const ConstructorMap &constructors() const { return Constructors; }
53 
54 private:
55  void registerMatcher(StringRef MatcherName,
56  std::unique_ptr<MatcherDescriptor> Callback);
57 
58  ConstructorMap Constructors;
59 };
60 
61 } // namespace
62 
63 void RegistryMaps::registerMatcher(
64  StringRef MatcherName, std::unique_ptr<MatcherDescriptor> Callback) {
65  assert(Constructors.find(MatcherName) == Constructors.end());
66  Constructors[MatcherName] = std::move(Callback);
67 }
68 
69 #define REGISTER_MATCHER(name) \
70  registerMatcher(#name, internal::makeMatcherAutoMarshall( \
71  ::clang::ast_matchers::name, #name));
72 
73 #define REGISTER_MATCHER_OVERLOAD(name) \
74  registerMatcher(#name, \
75  llvm::make_unique<internal::OverloadedMatcherDescriptor>(name##Callbacks))
76 
77 #define SPECIFIC_MATCHER_OVERLOAD(name, Id) \
78  static_cast<::clang::ast_matchers::name##_Type##Id>( \
79  ::clang::ast_matchers::name)
80 
81 #define MATCHER_OVERLOAD_ENTRY(name, Id) \
82  internal::makeMatcherAutoMarshall(SPECIFIC_MATCHER_OVERLOAD(name, Id), \
83  #name)
84 
85 #define REGISTER_OVERLOADED_2(name) \
86  do { \
87  std::unique_ptr<MatcherDescriptor> name##Callbacks[] = { \
88  MATCHER_OVERLOAD_ENTRY(name, 0), \
89  MATCHER_OVERLOAD_ENTRY(name, 1)}; \
90  REGISTER_MATCHER_OVERLOAD(name); \
91  } while (false)
92 
93 /// \brief Generate a registry map with all the known matchers.
94 RegistryMaps::RegistryMaps() {
95  // TODO: Here is the list of the missing matchers, grouped by reason.
96  //
97  // Need Variant/Parser fixes:
98  // ofKind
99  //
100  // Polymorphic + argument overload:
101  // findAll
102  //
103  // Other:
104  // equalsNode
105 
106  REGISTER_OVERLOADED_2(callee);
107  REGISTER_OVERLOADED_2(hasPrefix);
108  REGISTER_OVERLOADED_2(hasType);
109  REGISTER_OVERLOADED_2(isDerivedFrom);
110  REGISTER_OVERLOADED_2(isSameOrDerivedFrom);
112  REGISTER_OVERLOADED_2(pointsTo);
113  REGISTER_OVERLOADED_2(references);
114  REGISTER_OVERLOADED_2(thisPointerType);
115 
116  std::unique_ptr<MatcherDescriptor> equalsCallbacks[] = {
120  };
122 
129  REGISTER_MATCHER(argumentCountIs);
133  REGISTER_MATCHER(asString);
140  REGISTER_MATCHER(booleanType);
154  REGISTER_MATCHER(containsDeclaration);
189  REGISTER_MATCHER(declCountIs);
195  REGISTER_MATCHER(designatorCountIs);
202  REGISTER_MATCHER(equalsBoundNode);
203  REGISTER_MATCHER(equalsIntegralValue);
210  REGISTER_MATCHER(forEachArgumentWithParam);
211  REGISTER_MATCHER(forEachConstructorInitializer);
213  REGISTER_MATCHER(forEachOverridden);
214  REGISTER_MATCHER(forEachSwitchCase);
215  REGISTER_MATCHER(forField);
216  REGISTER_MATCHER(forFunction);
227  REGISTER_MATCHER(hasAnyArgument);
228  REGISTER_MATCHER(hasAnyConstructorInitializer);
229  REGISTER_MATCHER(hasAnyDeclaration);
231  REGISTER_MATCHER(hasAnyParameter);
232  REGISTER_MATCHER(hasAnySubstatement);
233  REGISTER_MATCHER(hasAnyTemplateArgument);
234  REGISTER_MATCHER(hasAnyUsingShadowDecl);
235  REGISTER_MATCHER(hasArgument);
236  REGISTER_MATCHER(hasArgumentOfType);
237  REGISTER_MATCHER(hasArraySize);
239  REGISTER_MATCHER(hasAutomaticStorageDuration);
240  REGISTER_MATCHER(hasBase);
241  REGISTER_MATCHER(hasBitWidth);
242  REGISTER_MATCHER(hasBody);
243  REGISTER_MATCHER(hasCanonicalType);
244  REGISTER_MATCHER(hasCaseConstant);
245  REGISTER_MATCHER(hasCastKind);
246  REGISTER_MATCHER(hasCondition);
247  REGISTER_MATCHER(hasConditionVariableStatement);
248  REGISTER_MATCHER(hasDecayedType);
250  REGISTER_MATCHER(hasDeclContext);
251  REGISTER_MATCHER(hasDeducedType);
252  REGISTER_MATCHER(hasDefaultArgument);
255  REGISTER_MATCHER(hasDestinationType);
256  REGISTER_MATCHER(hasDynamicExceptionSpec);
258  REGISTER_MATCHER(hasElementType);
259  REGISTER_MATCHER(hasElse);
260  REGISTER_MATCHER(hasExternalFormalLinkage);
261  REGISTER_MATCHER(hasFalseExpression);
262  REGISTER_MATCHER(hasGlobalStorage);
263  REGISTER_MATCHER(hasImplicitDestinationType);
264  REGISTER_MATCHER(hasInClassInitializer);
265  REGISTER_MATCHER(hasIncrement);
266  REGISTER_MATCHER(hasIndex);
267  REGISTER_MATCHER(hasInitializer);
268  REGISTER_MATCHER(hasKeywordSelector);
269  REGISTER_MATCHER(hasLHS);
270  REGISTER_MATCHER(hasLocalQualifiers);
271  REGISTER_MATCHER(hasLocalStorage);
272  REGISTER_MATCHER(hasLoopInit);
273  REGISTER_MATCHER(hasLoopVariable);
274  REGISTER_MATCHER(hasMethod);
276  REGISTER_MATCHER(hasNullSelector);
277  REGISTER_MATCHER(hasObjectExpression);
278  REGISTER_MATCHER(hasOperatorName);
280  REGISTER_MATCHER(hasParameter);
282  REGISTER_MATCHER(hasQualifier);
283  REGISTER_MATCHER(hasRangeInit);
284  REGISTER_MATCHER(hasReceiverType);
285  REGISTER_MATCHER(hasReplacementType);
286  REGISTER_MATCHER(hasReturnValue);
287  REGISTER_MATCHER(hasRHS);
288  REGISTER_MATCHER(hasSelector);
289  REGISTER_MATCHER(hasSingleDecl);
290  REGISTER_MATCHER(hasSize);
291  REGISTER_MATCHER(hasSizeExpr);
292  REGISTER_MATCHER(hasSourceExpression);
293  REGISTER_MATCHER(hasStaticStorageDuration);
294  REGISTER_MATCHER(hasSyntacticForm);
295  REGISTER_MATCHER(hasTargetDecl);
296  REGISTER_MATCHER(hasTemplateArgument);
297  REGISTER_MATCHER(hasThen);
298  REGISTER_MATCHER(hasThreadStorageDuration);
299  REGISTER_MATCHER(hasTrueExpression);
300  REGISTER_MATCHER(hasTypeLoc);
301  REGISTER_MATCHER(hasUnaryOperand);
302  REGISTER_MATCHER(hasUnarySelector);
303  REGISTER_MATCHER(hasUnderlyingDecl);
304  REGISTER_MATCHER(hasUnqualifiedDesugaredType);
305  REGISTER_MATCHER(hasValueType);
307  REGISTER_MATCHER(ignoringImplicit);
308  REGISTER_MATCHER(ignoringImpCasts);
309  REGISTER_MATCHER(ignoringParenCasts);
310  REGISTER_MATCHER(ignoringParenImpCasts);
311  REGISTER_MATCHER(ignoringParens);
317  REGISTER_MATCHER(innerType);
319  REGISTER_MATCHER(isAnonymous);
320  REGISTER_MATCHER(isAnyCharacter);
321  REGISTER_MATCHER(isAnyPointer);
322  REGISTER_MATCHER(isArray);
323  REGISTER_MATCHER(isArrow);
324  REGISTER_MATCHER(isBaseInitializer);
325  REGISTER_MATCHER(isBitField);
326  REGISTER_MATCHER(isCatchAll);
327  REGISTER_MATCHER(isClass);
328  REGISTER_MATCHER(isConst);
329  REGISTER_MATCHER(isConstexpr);
330  REGISTER_MATCHER(isConstQualified);
331  REGISTER_MATCHER(isCopyAssignmentOperator);
332  REGISTER_MATCHER(isCopyConstructor);
333  REGISTER_MATCHER(isDefaultConstructor);
334  REGISTER_MATCHER(isDefaulted);
335  REGISTER_MATCHER(isDefinition);
336  REGISTER_MATCHER(isDeleted);
337  REGISTER_MATCHER(isExceptionVariable);
338  REGISTER_MATCHER(isExplicit);
339  REGISTER_MATCHER(isExplicitTemplateSpecialization);
340  REGISTER_MATCHER(isExpr);
342  REGISTER_MATCHER(isFinal);
343  REGISTER_MATCHER(isInline);
344  REGISTER_MATCHER(isImplicit);
345  REGISTER_MATCHER(isExpansionInFileMatching);
346  REGISTER_MATCHER(isExpansionInMainFile);
347  REGISTER_MATCHER(isInstantiated);
348  REGISTER_MATCHER(isExpansionInSystemHeader);
349  REGISTER_MATCHER(isInteger);
350  REGISTER_MATCHER(isIntegral);
351  REGISTER_MATCHER(isInTemplateInstantiation);
352  REGISTER_MATCHER(isLambda);
353  REGISTER_MATCHER(isListInitialization);
354  REGISTER_MATCHER(isMemberInitializer);
355  REGISTER_MATCHER(isMoveAssignmentOperator);
356  REGISTER_MATCHER(isMoveConstructor);
357  REGISTER_MATCHER(isNoThrow);
358  REGISTER_MATCHER(isOverride);
359  REGISTER_MATCHER(isPrivate);
360  REGISTER_MATCHER(isProtected);
361  REGISTER_MATCHER(isPublic);
362  REGISTER_MATCHER(isPure);
363  REGISTER_MATCHER(isSignedInteger);
364  REGISTER_MATCHER(isStaticStorageClass);
365  REGISTER_MATCHER(isStruct);
367  REGISTER_MATCHER(isUnion);
368  REGISTER_MATCHER(isUnsignedInteger);
369  REGISTER_MATCHER(isVariadic);
370  REGISTER_MATCHER(isVirtual);
371  REGISTER_MATCHER(isVirtualAsWritten);
372  REGISTER_MATCHER(isVolatileQualified);
373  REGISTER_MATCHER(isWritten);
379  REGISTER_MATCHER(matchesName);
380  REGISTER_MATCHER(matchesSelector);
382  REGISTER_MATCHER(member);
388  REGISTER_MATCHER(namesType);
391  REGISTER_MATCHER(nullPointerConstant);
393  REGISTER_MATCHER(numSelectorArgs);
394  REGISTER_MATCHER(ofClass);
409  REGISTER_MATCHER(on);
410  REGISTER_MATCHER(onImplicitObjectArgument);
412  REGISTER_MATCHER(parameterCountIs);
417  REGISTER_MATCHER(pointee);
421  REGISTER_MATCHER(realFloatingPointType);
425  REGISTER_MATCHER(refersToDeclaration);
426  REGISTER_MATCHER(refersToIntegralType);
427  REGISTER_MATCHER(refersToType);
428  REGISTER_MATCHER(requiresZeroInitialization);
429  REGISTER_MATCHER(returns);
433  REGISTER_MATCHER(specifiesNamespace);
434  REGISTER_MATCHER(specifiesType);
435  REGISTER_MATCHER(specifiesTypeLoc);
436  REGISTER_MATCHER(statementCountIs);
447  REGISTER_MATCHER(templateArgumentCountIs);
451  REGISTER_MATCHER(throughUsingDecl);
452  REGISTER_MATCHER(to);
474  REGISTER_MATCHER(voidType);
476  REGISTER_MATCHER(withInitializer);
477 }
478 
479 RegistryMaps::~RegistryMaps() = default;
480 
481 static llvm::ManagedStatic<RegistryMaps> RegistryData;
482 
483 // static
484 llvm::Optional<MatcherCtor> Registry::lookupMatcherCtor(StringRef MatcherName) {
485  auto it = RegistryData->constructors().find(MatcherName);
486  return it == RegistryData->constructors().end()
488  : it->second.get();
489 }
490 
491 static llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
492  const std::set<ASTNodeKind> &KS) {
493  unsigned Count = 0;
494  for (std::set<ASTNodeKind>::const_iterator I = KS.begin(), E = KS.end();
495  I != E; ++I) {
496  if (I != KS.begin())
497  OS << "|";
498  if (Count++ == 3) {
499  OS << "...";
500  break;
501  }
502  OS << *I;
503  }
504  return OS;
505 }
506 
507 std::vector<ArgKind> Registry::getAcceptedCompletionTypes(
508  ArrayRef<std::pair<MatcherCtor, unsigned>> Context) {
509  ASTNodeKind InitialTypes[] = {
510  ASTNodeKind::getFromNodeKind<Decl>(),
511  ASTNodeKind::getFromNodeKind<QualType>(),
512  ASTNodeKind::getFromNodeKind<Type>(),
513  ASTNodeKind::getFromNodeKind<Stmt>(),
514  ASTNodeKind::getFromNodeKind<NestedNameSpecifier>(),
515  ASTNodeKind::getFromNodeKind<NestedNameSpecifierLoc>(),
516  ASTNodeKind::getFromNodeKind<TypeLoc>()};
517 
518  // Starting with the above seed of acceptable top-level matcher types, compute
519  // the acceptable type set for the argument indicated by each context element.
520  std::set<ArgKind> TypeSet(std::begin(InitialTypes), std::end(InitialTypes));
521  for (const auto &CtxEntry : Context) {
522  MatcherCtor Ctor = CtxEntry.first;
523  unsigned ArgNumber = CtxEntry.second;
524  std::vector<ArgKind> NextTypeSet;
525  for (const ArgKind &Kind : TypeSet) {
526  if (Kind.getArgKind() == Kind.AK_Matcher &&
527  Ctor->isConvertibleTo(Kind.getMatcherKind()) &&
528  (Ctor->isVariadic() || ArgNumber < Ctor->getNumArgs()))
529  Ctor->getArgKinds(Kind.getMatcherKind(), ArgNumber, NextTypeSet);
530  }
531  TypeSet.clear();
532  TypeSet.insert(NextTypeSet.begin(), NextTypeSet.end());
533  }
534  return std::vector<ArgKind>(TypeSet.begin(), TypeSet.end());
535 }
536 
537 std::vector<MatcherCompletion>
538 Registry::getMatcherCompletions(ArrayRef<ArgKind> AcceptedTypes) {
539  std::vector<MatcherCompletion> Completions;
540 
541  // Search the registry for acceptable matchers.
542  for (const auto &M : RegistryData->constructors()) {
543  const MatcherDescriptor& Matcher = *M.getValue();
544  StringRef Name = M.getKey();
545 
546  std::set<ASTNodeKind> RetKinds;
547  unsigned NumArgs = Matcher.isVariadic() ? 1 : Matcher.getNumArgs();
548  bool IsPolymorphic = Matcher.isPolymorphic();
549  std::vector<std::vector<ArgKind>> ArgsKinds(NumArgs);
550  unsigned MaxSpecificity = 0;
551  for (const ArgKind& Kind : AcceptedTypes) {
552  if (Kind.getArgKind() != Kind.AK_Matcher)
553  continue;
554  unsigned Specificity;
555  ASTNodeKind LeastDerivedKind;
556  if (Matcher.isConvertibleTo(Kind.getMatcherKind(), &Specificity,
557  &LeastDerivedKind)) {
558  if (MaxSpecificity < Specificity)
559  MaxSpecificity = Specificity;
560  RetKinds.insert(LeastDerivedKind);
561  for (unsigned Arg = 0; Arg != NumArgs; ++Arg)
562  Matcher.getArgKinds(Kind.getMatcherKind(), Arg, ArgsKinds[Arg]);
563  if (IsPolymorphic)
564  break;
565  }
566  }
567 
568  if (!RetKinds.empty() && MaxSpecificity > 0) {
569  std::string Decl;
570  llvm::raw_string_ostream OS(Decl);
571 
572  if (IsPolymorphic) {
573  OS << "Matcher<T> " << Name << "(Matcher<T>";
574  } else {
575  OS << "Matcher<" << RetKinds << "> " << Name << "(";
576  for (const std::vector<ArgKind> &Arg : ArgsKinds) {
577  if (&Arg != &ArgsKinds[0])
578  OS << ", ";
579 
580  bool FirstArgKind = true;
581  std::set<ASTNodeKind> MatcherKinds;
582  // Two steps. First all non-matchers, then matchers only.
583  for (const ArgKind &AK : Arg) {
584  if (AK.getArgKind() == ArgKind::AK_Matcher) {
585  MatcherKinds.insert(AK.getMatcherKind());
586  } else {
587  if (!FirstArgKind) OS << "|";
588  FirstArgKind = false;
589  OS << AK.asString();
590  }
591  }
592  if (!MatcherKinds.empty()) {
593  if (!FirstArgKind) OS << "|";
594  OS << "Matcher<" << MatcherKinds << ">";
595  }
596  }
597  }
598  if (Matcher.isVariadic())
599  OS << "...";
600  OS << ")";
601 
602  std::string TypedText = Name;
603  TypedText += "(";
604  if (ArgsKinds.empty())
605  TypedText += ")";
606  else if (ArgsKinds[0][0].getArgKind() == ArgKind::AK_String)
607  TypedText += "\"";
608 
609  Completions.emplace_back(TypedText, OS.str(), MaxSpecificity);
610  }
611  }
612 
613  return Completions;
614 }
615 
616 VariantMatcher Registry::constructMatcher(MatcherCtor Ctor,
617  SourceRange NameRange,
619  Diagnostics *Error) {
620  return Ctor->create(NameRange, Args, Error);
621 }
622 
623 VariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor,
624  SourceRange NameRange,
625  StringRef BindID,
627  Diagnostics *Error) {
628  VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error);
629  if (Out.isNull()) return Out;
630 
632  if (Result.hasValue()) {
633  llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID);
634  if (Bound.hasValue()) {
635  return VariantMatcher::SingleMatcher(*Bound);
636  }
637  }
638  Error->addError(NameRange, Error->ET_RegistryNotBindable);
639  return VariantMatcher();
640 }
641 
642 } // namespace dynamic
643 } // namespace ast_matchers
644 } // namespace clang
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExpr > cxxThisExpr
Matches implicit and explicit this expressions.
internal::TrueMatcher anything()
Matches any node.
Definition: ASTMatchers.h:168
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtThrowStmt > objcThrowStmt
Matches Objective-C @throw statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > callExpr
Matches call expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenExpr > parenExpr
Matches parentheses used in expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefDecl > typedefDecl
Matches typedef declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, LinkageSpecDecl > linkageSpecDecl
Matches a declaration of a linkage specification.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > forEach
Matches AST nodes that have child AST nodes that match the provided matcher.
const AstTypeMatcher< UnaryTransformType > unaryTransformType
Matches types nodes representing unary type transformations.
const internal::VariadicAllOfMatcher< Stmt > stmt
Matches statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXUnresolvedConstructExpr > cxxUnresolvedConstructExpr
Matches unresolved constructor call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCInterfaceDecl > objcInterfaceDecl
Matches Objective-C interface declarations.
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > has
Matches AST nodes that have child AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBindTemporaryExpr > cxxBindTemporaryExpr
Matches nodes where temporaries are created.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
Registry of all known matchers.
internal::PolymorphicMatcherWithParam1< internal::HasDeclarationMatcher, internal::Matcher< Decl >, void(internal::HasDeclarationSupportedTypes)> hasDeclaration(const internal::Matcher< Decl > &InnerMatcher)
Matches a node if the declaration associated with that node matches the given matcher.
Definition: ASTMatchers.h:2653
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> anyOf
Matches if any of the given matchers matches.
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > hasDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher. ...
const AstTypeMatcher< FunctionType > functionType
Matches FunctionType nodes.
const AstTypeMatcher< SubstTemplateTypeParmType > substTemplateTypeParmType
Matches types that represent the result of substituting a type for a template type parameter...
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> eachOf
Matches if any of the given matchers matches.
const AstTypeMatcher< AutoType > autoType
Matches types nodes representing C++11 auto types.
const AstTypeMatcher< RValueReferenceType > rValueReferenceType
Matches rvalue reference types.
llvm::Optional< DynTypedMatcher > getSingleMatcher() const
Return a single matcher, if there is no ambiguity.
const internal::VariadicAllOfMatcher< TemplateName > templateName
Matches template name.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtTryStmt > objcTryStmt
Matches Objective-C statements.
const AstTypeMatcher< PointerType > pointerType
Matches pointer types, but does not match Objective-C object pointer types.
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> allOf
Matches if all given matchers match.
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryOperator > binaryOperator
Matches binary operator expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStdInitializerListExpr > cxxStdInitializerListExpr
Matches C++ initializer list expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, VarDecl > varDecl
Matches variable declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > functionDecl
Matches function declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, NamedDecl > namedDecl
Matches a declaration of anything that could have a name.
const AstTypeMatcher< BuiltinType > builtinType
Matches builtin Types.
static llvm::ManagedStatic< RegistryMaps > RegistryData
Definition: Registry.cpp:481
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExpr > cxxThrowExpr
Matches throw expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumDecl > enumDecl
Matches enum declarations.
const AstTypeMatcher< RecordType > recordType
Matches record types (e.g.
#define REGISTER_OVERLOADED_2(name)
Definition: Registry.cpp:85
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateDecl > classTemplateDecl
Matches C++ class template declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryDecl > objcCategoryDecl
Matches Objective-C category declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXOperatorCallExpr > cxxOperatorCallExpr
Matches overloaded operator calls.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasTemplateDecl > typeAliasTemplateDecl
Matches type alias template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, DesignatedInitExpr > designatedInitExpr
Matches C99 designated initializer expressions [C99 6.7.8].
const AstTypeMatcher< InjectedClassNameType > injectedClassNameType
Matches injected class name types.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNullPtrLiteralExpr > cxxNullPtrLiteralExpr
Matches nullptr literal.
const AstTypeMatcher< DependentSizedArrayType > dependentSizedArrayType
Matches C++ arrays whose size is a value-dependent expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTryStmt > cxxTryStmt
Matches try statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStaticCastExpr > cxxStaticCastExpr
Matches a C++ static_cast expression.
const AstTypeMatcher< TypedefType > typedefType
Matches typedef types.
const internal::VariadicDynCastAllOfMatcher< Stmt, GotoStmt > gotoStmt
Matches goto statements.
const AstTypeMatcher< ComplexType > complexType
Matches C99 complex types.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFunctionalCastExpr > cxxFunctionalCastExpr
Matches functional cast expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXReinterpretCastExpr > cxxReinterpretCastExpr
Matches a reinterpret_cast expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, FloatingLiteral > floatLiteral
Matches float literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclStmt > declStmt
Matches declaration statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, OpaqueValueExpr > opaqueValueExpr
Matches opaque value expressions.
const AstTypeMatcher< MemberPointerType > memberPointerType
Matches member pointer types.
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExpr > declRefExpr
Matches expressions that refer to declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmt > ifStmt
Matches if statements.
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceDecl > namespaceDecl
Matches a declaration of a namespace.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitValueInitExpr > implicitValueInitExpr
Matches implicit initializers of init list expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchCase > switchCase
Matches case and default statements inside switch statements.
const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunc > hasAnyName
Matches NamedDecl nodes that have any of the specified names.
const internal::VariadicDynCastAllOfMatcher< Stmt, UserDefinedLiteral > userDefinedLiteral
Matches user defined literal operator call.
internal::Matcher< Stmt > sizeOfExpr(const internal::Matcher< UnaryExprOrTypeTraitExpr > &InnerMatcher)
Same as unaryExprOrTypeTraitExpr, but only matching sizeof.
Definition: ASTMatchers.h:2294
Functions templates and classes to wrap matcher construct functions.
const AstTypeMatcher< VariableArrayType > variableArrayType
Matches C arrays with a specified size that is not an integer-constant-expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang&#39;s AST.
internal::PolymorphicMatcherWithParam1< internal::HasOverloadedOperatorNameMatcher, StringRef, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXOperatorCallExpr, FunctionDecl)> hasOverloadedOperatorName(StringRef Name)
Matches overloaded operator names.
Definition: ASTMatchers.h:2380
const internal::VariadicDynCastAllOfMatcher< Decl, ValueDecl > valueDecl
Matches any value declaration.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCPropertyDecl > objcPropertyDecl
Matches Objective-C property declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtFinallyStmt > objcFinallyStmt
Matches Objective-C statements.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionTemplateDecl > functionTemplateDecl
Matches C++ function template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXCatchStmt > cxxCatchStmt
Matches catch statements.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateSpecializationDecl > classTemplateSpecializationDecl
Matches C++ class template specializations.
const internal::VariadicDynCastAllOfMatcher< Stmt, MaterializeTemporaryExpr > materializeTemporaryExpr
Matches nodes where temporaries are materialized.
const internal::VariadicDynCastAllOfMatcher< Stmt, CaseStmt > caseStmt
Matches case statements inside switch statements.
const AstTypeMatcher< ParenType > parenType
Matches ParenType nodes.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDirectiveDecl > usingDirectiveDecl
Matches using namespace declarations.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > forEachDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher. ...
const internal::VariadicDynCastAllOfMatcher< Stmt, AsmStmt > asmStmt
Matches asm statements.
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingTypenameDecl > unresolvedUsingTypenameDecl
Matches unresolved using value declarations that involve the typename.
const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExpr > memberExpr
Matches member expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, AddrLabelExpr > addrLabelExpr
Matches address of label statements (GNU extension).
bool equals(const til::SExpr *E1, const til::SExpr *E2)
const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExpr > explicitCastExpr
Matches explicit cast expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmt > switchStmt
Matches switch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedLookupExpr > unresolvedLookupExpr
Matches reference to a name that can be looked up during parsing but could not be resolved to a speci...
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryConditionalOperator > binaryConditionalOperator
Matches binary conditional operator expressions (GNU extension).
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
const AstTypeMatcher< IncompleteArrayType > incompleteArrayType
Matches C arrays with unspecified size.
const internal::VariadicDynCastAllOfMatcher< Stmt, LabelStmt > labelStmt
Matches label statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CStyleCastExpr > cStyleCastExpr
Matches a C-style cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceAliasDecl > namespaceAliasDecl
Matches a declaration of a namespace alias.
#define REGISTER_MATCHER(name)
Definition: Registry.cpp:69
const internal::VariadicDynCastAllOfMatcher< Decl, FieldDecl > fieldDecl
Matches field declarations.
virtual VariantMatcher create(SourceRange NameRange, ArrayRef< ParserValue > Args, Diagnostics *Error) const =0
const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > conditionalOperator
Matches conditional operator expressions.
Diagnostics class to manage error messages.
const AstTypeMatcher< ArrayType > arrayType
Matches all kinds of arrays.
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecl > typedefNameDecl
Matches typedef name declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, SubstNonTypeTemplateParmExpr > substNonTypeTemplateParmExpr
Matches substitutions of non-type template parameters.
const internal::VariadicDynCastAllOfMatcher< Stmt, ReturnStmt > returnStmt
Matches return statements.
const AstTypeMatcher< FunctionProtoType > functionProtoType
Matches FunctionProtoType nodes.
const internal::VariadicDynCastAllOfMatcher< Stmt, CUDAKernelCallExpr > cudaKernelCallExpr
Matches CUDA kernel call expression.
static bool hasDefinition(const ObjCObjectPointerType *ObjPtr)
const AstTypeMatcher< AtomicType > atomicType
Matches atomic types.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryImplDecl > objcCategoryImplDecl
Matches Objective-C category definitions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ExprWithCleanups > exprWithCleanups
Matches expressions that introduce cleanups to be run at the end of the sub-expression&#39;s evaluation...
const internal::VariadicDynCastAllOfMatcher< Decl, FriendDecl > friendDecl
Matches friend declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, DoStmt > doStmt
Matches do statements.
const internal::ArgumentAdaptingMatcherFunc< internal::HasAncestorMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > hasAncestor
Matches AST nodes that have an ancestor that matches the provided matcher.
bool isTemplateInstantiation(TemplateSpecializationKind Kind)
Determine whether this template specialization kind refers to an instantiation of an entity (as oppos...
Definition: Specifiers.h:167
const AstTypeMatcher< TemplateSpecializationType > templateSpecializationType
Matches template specialization types.
Helper class to manage error messages.
Definition: Diagnostics.h:51
const internal::VariadicAllOfMatcher< NestedNameSpecifierLoc > nestedNameSpecifierLoc
Same as nestedNameSpecifier but matches NestedNameSpecifierLoc.
ArgStream addError(SourceRange Range, ErrorType Error)
Add an error to the diagnostics.
Definition: Diagnostics.cpp:66
const internal::VariadicDynCastAllOfMatcher< Stmt, PredefinedExpr > predefinedExpr
Matches predefined identifier expressions [C99 6.4.2.2].
Kind
const internal::VariadicDynCastAllOfMatcher< Decl, LabelDecl > labelDecl
Matches a declaration of label.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXMemberCallExpr > cxxMemberCallExpr
Matches member call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ParmVarDecl > parmVarDecl
Matches parameter variable declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstCastExpr > cxxConstCastExpr
Matches a const_cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasDecl > typeAliasDecl
Matches type alias declarations.
const internal::VariadicAllOfMatcher< CXXCtorInitializer > cxxCtorInitializer
Matches constructor initializers.
const internal::VariadicDynCastAllOfMatcher< Stmt, GNUNullExpr > gnuNullExpr
Matches GNU __null expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, BreakStmt > breakStmt
Matches break statements.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXMethodDecl > cxxMethodDecl
Matches method declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDynamicCastExpr > cxxDynamicCastExpr
Matches a dynamic_cast expression.
internal::Matcher< Stmt > alignOfExpr(const internal::Matcher< UnaryExprOrTypeTraitExpr > &InnerMatcher)
Same as unaryExprOrTypeTraitExpr, but only matching alignof.
Definition: ASTMatchers.h:2286
static bool hasAttr(const FunctionDecl *D, bool IgnoreImplicitAttr)
Definition: SemaCUDA.cpp:97
const internal::VariadicDynCastAllOfMatcher< Stmt, DefaultStmt > defaultStmt
Matches default statements inside switch statements.
const internal::VariadicDynCastAllOfMatcher< Decl, TranslationUnitDecl > translationUnitDecl
Matches the top declaration context.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmt > cxxForRangeStmt
Matches range-based for statements.
const internal::VariadicAllOfMatcher< TypeLoc > typeLoc
Matches TypeLocs in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, IntegerLiteral > integerLiteral
Matches integer literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstructExpr > cxxConstructExpr
Matches constructor call expressions (including implicit ones).
const internal::VariadicAllOfMatcher< QualType > qualType
Matches QualTypes in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTypeParmDecl > templateTypeParmDecl
Matches template type parameter declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCMethodDecl > objcMethodDecl
Matches Objective-C method declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDecl > usingDecl
Matches using declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArraySubscriptExpr > arraySubscriptExpr
Matches array subscript expressions.
virtual bool isVariadic() const =0
Returns whether the matcher is variadic.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryExprOrTypeTraitExpr > unaryExprOrTypeTraitExpr
Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL)
const internal::ArgumentAdaptingMatcherFunc< internal::HasParentMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc > > hasParent
Matches AST nodes that have a parent that matches the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCIvarDecl > objcIvarDecl
Matches Objective-C instance variable declarations.
const internal::VariadicOperatorMatcherFunc< 1, 1 > unless
Matches if the provided matcher does not match.
const internal::VariadicDynCastAllOfMatcher< Stmt, ForStmt > forStmt
Matches for statements.
virtual unsigned getNumArgs() const =0
Returns the number of arguments accepted by the matcher if not variadic.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCImplementationDecl > objcImplementationDecl
Matches Objective-C implementation declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundLiteralExpr > compoundLiteralExpr
Matches compound (i.e.
Dataflow Directional Tag Classes.
const internal::VariadicDynCastAllOfMatcher< Stmt, AtomicExpr > atomicExpr
Matches atomic builtins.
const internal::VariadicDynCastAllOfMatcher< Decl, StaticAssertDecl > staticAssertDecl
Matches a C++ static_assert declaration.
const AstTypeMatcher< ElaboratedType > elaboratedType
Matches types specified with an elaborated type keyword or with a qualified name. ...
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenListExpr > parenListExpr
Matches paren list expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConversionDecl > cxxConversionDecl
Matches conversion operator declarations.
const internal::VariadicAllOfMatcher< TemplateArgument > templateArgument
Matches template arguments.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCProtocolDecl > objcProtocolDecl
Matches Objective-C protocol declarations.
const AstTypeMatcher< DecayedType > decayedType
Matches decayed type Example matches i[] in declaration of f.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDecl > cxxRecordDecl
Matches C++ class declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDefaultArgExpr > cxxDefaultArgExpr
Matches the value of a default argument at the call site.
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingValueDecl > unresolvedUsingValueDecl
Matches unresolved using value declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, NullStmt > nullStmt
Matches null statements.
bool isNull() const
Whether the matcher is null.
Definition: VariantValue.h:159
#define MATCHER_OVERLOAD_ENTRY(name, Id)
Definition: Registry.cpp:81
const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExpr > lambdaExpr
Matches lambda expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExpr > cxxNewExpr
Matches new expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, InitListExpr > initListExpr
Matches init list expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDeleteExpr > cxxDeleteExpr
Matches delete expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ContinueStmt > continueStmt
Matches continue statements.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumConstantDecl > enumConstantDecl
Matches enum constants.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtCatchStmt > objcCatchStmt
Matches Objective-C statements.
internal::Matcher< BinaryOperator > hasEitherOperand(const internal::Matcher< Expr > &InnerMatcher)
Matches if either the left hand side or the right hand side of a binary operator matches.
Definition: ASTMatchers.h:4009
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryOperator > unaryOperator
Matches unary operator expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CharacterLiteral > characterLiteral
Matches character literals (also matches wchar_t).
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTemporaryObjectExpr > cxxTemporaryObjectExpr
Matches functional cast expressions having N != 1 arguments.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConstructorDecl > cxxConstructorDecl
Matches C++ constructor declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitCastExpr > implicitCastExpr
Matches the implicit cast nodes of Clang&#39;s AST.
const internal::VariadicAllOfMatcher< NestedNameSpecifier > nestedNameSpecifier
Matches nested name specifiers.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBoolLiteralExpr > cxxBoolLiteral
Matches bool literals.
internal::Matcher< NamedDecl > hasName(const std::string &Name)
Matches NamedDecl nodes that have the specified name.
Definition: ASTMatchers.h:2315
const internal::VariadicDynCastAllOfMatcher< Stmt, StmtExpr > stmtExpr
Matches statement expression (GNU extension).
const AstTypeMatcher< ObjCObjectPointerType > objcObjectPointerType
Matches an Objective-C object pointer type, which is different from a pointer type, despite being syntactically similar.
raw_ostream & operator<<(raw_ostream &OS, ASTNodeKind K)
const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDecl > accessSpecDecl
Matches C++ access specifier declarations.
const AstTypeMatcher< TemplateTypeParmType > templateTypeParmType
Matches template type parameter types.
Polymorphic value type.
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundStmt > compoundStmt
Matches compound statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, StringLiteral > stringLiteral
Matches string literals (also matches wide string literals).
const AstTypeMatcher< ConstantArrayType > constantArrayType
Matches C arrays with a specified constant size.
virtual void getArgKinds(ast_type_traits::ASTNodeKind ThisKind, unsigned ArgNo, std::vector< ArgKind > &ArgKinds) const =0
Given that the matcher is being converted to type ThisKind, append the set of argument types accepted...
virtual bool isConvertibleTo(ast_type_traits::ASTNodeKind Kind, unsigned *Specificity=nullptr, ast_type_traits::ASTNodeKind *LeastDerivedKind=nullptr) const =0
Returns whether this matcher is convertible to the given type.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDecl > cxxDestructorDecl
Matches explicit C++ destructor declarations.
const AstTypeMatcher< ReferenceType > referenceType
Matches both lvalue and rvalue reference types.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCMessageExpr > objcMessageExpr
Matches ObjectiveC Message invocation expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, DeclaratorDecl > declaratorDecl
Matches declarator declarations (field, variable, function and non-type template parameter declaratio...
const AstTypeMatcher< LValueReferenceType > lValueReferenceType
Matches lvalue reference types.
const internal::VariadicDynCastAllOfMatcher< Stmt, WhileStmt > whileStmt
Matches while statements.
const AstTypeMatcher< EnumType > enumType
Matches enum types.
const AstTypeMatcher< BlockPointerType > blockPointerType
Matches block pointer types, i.e.
static bool isExternC(const NamedDecl *ND)
Definition: Mangle.cpp:60
#define REGISTER_MATCHER_OVERLOAD(name)
Definition: Registry.cpp:73