clang  7.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 /// 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 /// 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);
141  REGISTER_MATCHER(booleanType);
155  REGISTER_MATCHER(containsDeclaration);
190  REGISTER_MATCHER(declCountIs);
196  REGISTER_MATCHER(designatorCountIs);
203  REGISTER_MATCHER(equalsBoundNode);
204  REGISTER_MATCHER(equalsIntegralValue);
211  REGISTER_MATCHER(forEachArgumentWithParam);
212  REGISTER_MATCHER(forEachConstructorInitializer);
214  REGISTER_MATCHER(forEachOverridden);
215  REGISTER_MATCHER(forEachSwitchCase);
216  REGISTER_MATCHER(forField);
217  REGISTER_MATCHER(forFunction);
228  REGISTER_MATCHER(hasAnyArgument);
229  REGISTER_MATCHER(hasAnyConstructorInitializer);
230  REGISTER_MATCHER(hasAnyDeclaration);
232  REGISTER_MATCHER(hasAnyParameter);
233  REGISTER_MATCHER(hasAnySubstatement);
234  REGISTER_MATCHER(hasAnyTemplateArgument);
235  REGISTER_MATCHER(hasAnyUsingShadowDecl);
236  REGISTER_MATCHER(hasArgument);
237  REGISTER_MATCHER(hasArgumentOfType);
238  REGISTER_MATCHER(hasArraySize);
240  REGISTER_MATCHER(hasAutomaticStorageDuration);
241  REGISTER_MATCHER(hasBase);
242  REGISTER_MATCHER(hasBitWidth);
243  REGISTER_MATCHER(hasBody);
244  REGISTER_MATCHER(hasCanonicalType);
245  REGISTER_MATCHER(hasCaseConstant);
246  REGISTER_MATCHER(hasCastKind);
247  REGISTER_MATCHER(hasCondition);
248  REGISTER_MATCHER(hasConditionVariableStatement);
249  REGISTER_MATCHER(hasDecayedType);
251  REGISTER_MATCHER(hasDeclContext);
252  REGISTER_MATCHER(hasDeducedType);
253  REGISTER_MATCHER(hasDefaultArgument);
256  REGISTER_MATCHER(hasDestinationType);
257  REGISTER_MATCHER(hasDynamicExceptionSpec);
259  REGISTER_MATCHER(hasElementType);
260  REGISTER_MATCHER(hasElse);
261  REGISTER_MATCHER(hasExternalFormalLinkage);
262  REGISTER_MATCHER(hasFalseExpression);
263  REGISTER_MATCHER(hasGlobalStorage);
264  REGISTER_MATCHER(hasImplicitDestinationType);
265  REGISTER_MATCHER(hasInClassInitializer);
266  REGISTER_MATCHER(hasIncrement);
267  REGISTER_MATCHER(hasIndex);
268  REGISTER_MATCHER(hasInitializer);
269  REGISTER_MATCHER(hasKeywordSelector);
270  REGISTER_MATCHER(hasLHS);
271  REGISTER_MATCHER(hasLocalQualifiers);
272  REGISTER_MATCHER(hasLocalStorage);
273  REGISTER_MATCHER(hasLoopInit);
274  REGISTER_MATCHER(hasLoopVariable);
275  REGISTER_MATCHER(hasMethod);
277  REGISTER_MATCHER(hasNullSelector);
278  REGISTER_MATCHER(hasObjectExpression);
279  REGISTER_MATCHER(hasOperatorName);
281  REGISTER_MATCHER(hasParameter);
283  REGISTER_MATCHER(hasQualifier);
284  REGISTER_MATCHER(hasRangeInit);
285  REGISTER_MATCHER(hasReceiverType);
286  REGISTER_MATCHER(hasReplacementType);
287  REGISTER_MATCHER(hasReturnValue);
288  REGISTER_MATCHER(hasRHS);
289  REGISTER_MATCHER(hasSelector);
291  REGISTER_MATCHER(hasSingleDecl);
292  REGISTER_MATCHER(hasSize);
293  REGISTER_MATCHER(hasSizeExpr);
294  REGISTER_MATCHER(hasSourceExpression);
295  REGISTER_MATCHER(hasStaticStorageDuration);
296  REGISTER_MATCHER(hasSyntacticForm);
297  REGISTER_MATCHER(hasTargetDecl);
298  REGISTER_MATCHER(hasTemplateArgument);
299  REGISTER_MATCHER(hasThen);
300  REGISTER_MATCHER(hasThreadStorageDuration);
301  REGISTER_MATCHER(hasTrailingReturn);
302  REGISTER_MATCHER(hasTrueExpression);
303  REGISTER_MATCHER(hasTypeLoc);
304  REGISTER_MATCHER(hasUnaryOperand);
305  REGISTER_MATCHER(hasUnarySelector);
306  REGISTER_MATCHER(hasUnderlyingDecl);
307  REGISTER_MATCHER(hasUnqualifiedDesugaredType);
308  REGISTER_MATCHER(hasValueType);
310  REGISTER_MATCHER(ignoringImplicit);
311  REGISTER_MATCHER(ignoringImpCasts);
312  REGISTER_MATCHER(ignoringParenCasts);
313  REGISTER_MATCHER(ignoringParenImpCasts);
314  REGISTER_MATCHER(ignoringParens);
320  REGISTER_MATCHER(innerType);
322  REGISTER_MATCHER(isAnonymous);
323  REGISTER_MATCHER(isAnyCharacter);
324  REGISTER_MATCHER(isAnyPointer);
325  REGISTER_MATCHER(isArray);
326  REGISTER_MATCHER(isArrow);
327  REGISTER_MATCHER(isAssignmentOperator);
328  REGISTER_MATCHER(isBaseInitializer);
329  REGISTER_MATCHER(isBitField);
330  REGISTER_MATCHER(isCatchAll);
331  REGISTER_MATCHER(isClass);
332  REGISTER_MATCHER(isConst);
333  REGISTER_MATCHER(isConstexpr);
334  REGISTER_MATCHER(isConstQualified);
335  REGISTER_MATCHER(isCopyAssignmentOperator);
336  REGISTER_MATCHER(isCopyConstructor);
337  REGISTER_MATCHER(isDefaultConstructor);
338  REGISTER_MATCHER(isDefaulted);
339  REGISTER_MATCHER(isDefinition);
340  REGISTER_MATCHER(isDeleted);
341  REGISTER_MATCHER(isExceptionVariable);
342  REGISTER_MATCHER(isExplicit);
343  REGISTER_MATCHER(isExplicitTemplateSpecialization);
344  REGISTER_MATCHER(isExpr);
346  REGISTER_MATCHER(isFinal);
347  REGISTER_MATCHER(isInline);
348  REGISTER_MATCHER(isImplicit);
349  REGISTER_MATCHER(isExpansionInFileMatching);
350  REGISTER_MATCHER(isExpansionInMainFile);
351  REGISTER_MATCHER(isInstantiated);
352  REGISTER_MATCHER(isExpansionInSystemHeader);
353  REGISTER_MATCHER(isInteger);
354  REGISTER_MATCHER(isIntegral);
355  REGISTER_MATCHER(isInTemplateInstantiation);
356  REGISTER_MATCHER(isLambda);
357  REGISTER_MATCHER(isListInitialization);
358  REGISTER_MATCHER(isMemberInitializer);
359  REGISTER_MATCHER(isMoveAssignmentOperator);
360  REGISTER_MATCHER(isMoveConstructor);
361  REGISTER_MATCHER(isNoReturn);
362  REGISTER_MATCHER(isNoThrow);
363  REGISTER_MATCHER(isOverride);
364  REGISTER_MATCHER(isPrivate);
365  REGISTER_MATCHER(isProtected);
366  REGISTER_MATCHER(isPublic);
367  REGISTER_MATCHER(isPure);
368  REGISTER_MATCHER(isScoped);
369  REGISTER_MATCHER(isSignedInteger);
370  REGISTER_MATCHER(isStaticStorageClass);
371  REGISTER_MATCHER(isStruct);
373  REGISTER_MATCHER(isUnion);
374  REGISTER_MATCHER(isUnsignedInteger);
375  REGISTER_MATCHER(isVariadic);
376  REGISTER_MATCHER(isVirtual);
377  REGISTER_MATCHER(isVirtualAsWritten);
378  REGISTER_MATCHER(isVolatileQualified);
379  REGISTER_MATCHER(isWritten);
385  REGISTER_MATCHER(matchesName);
386  REGISTER_MATCHER(matchesSelector);
388  REGISTER_MATCHER(member);
394  REGISTER_MATCHER(namesType);
397  REGISTER_MATCHER(nullPointerConstant);
399  REGISTER_MATCHER(numSelectorArgs);
400  REGISTER_MATCHER(ofClass);
415  REGISTER_MATCHER(on);
416  REGISTER_MATCHER(onImplicitObjectArgument);
418  REGISTER_MATCHER(parameterCountIs);
423  REGISTER_MATCHER(pointee);
427  REGISTER_MATCHER(realFloatingPointType);
431  REGISTER_MATCHER(refersToDeclaration);
432  REGISTER_MATCHER(refersToIntegralType);
433  REGISTER_MATCHER(refersToType);
434  REGISTER_MATCHER(requiresZeroInitialization);
435  REGISTER_MATCHER(returns);
439  REGISTER_MATCHER(specifiesNamespace);
440  REGISTER_MATCHER(specifiesType);
441  REGISTER_MATCHER(specifiesTypeLoc);
442  REGISTER_MATCHER(statementCountIs);
453  REGISTER_MATCHER(templateArgumentCountIs);
457  REGISTER_MATCHER(throughUsingDecl);
458  REGISTER_MATCHER(to);
480  REGISTER_MATCHER(voidType);
482  REGISTER_MATCHER(withInitializer);
483 }
484 
485 RegistryMaps::~RegistryMaps() = default;
486 
487 static llvm::ManagedStatic<RegistryMaps> RegistryData;
488 
489 // static
490 llvm::Optional<MatcherCtor> Registry::lookupMatcherCtor(StringRef MatcherName) {
491  auto it = RegistryData->constructors().find(MatcherName);
492  return it == RegistryData->constructors().end()
494  : it->second.get();
495 }
496 
497 static llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
498  const std::set<ASTNodeKind> &KS) {
499  unsigned Count = 0;
500  for (std::set<ASTNodeKind>::const_iterator I = KS.begin(), E = KS.end();
501  I != E; ++I) {
502  if (I != KS.begin())
503  OS << "|";
504  if (Count++ == 3) {
505  OS << "...";
506  break;
507  }
508  OS << *I;
509  }
510  return OS;
511 }
512 
513 std::vector<ArgKind> Registry::getAcceptedCompletionTypes(
514  ArrayRef<std::pair<MatcherCtor, unsigned>> Context) {
515  ASTNodeKind InitialTypes[] = {
516  ASTNodeKind::getFromNodeKind<Decl>(),
517  ASTNodeKind::getFromNodeKind<QualType>(),
518  ASTNodeKind::getFromNodeKind<Type>(),
519  ASTNodeKind::getFromNodeKind<Stmt>(),
520  ASTNodeKind::getFromNodeKind<NestedNameSpecifier>(),
521  ASTNodeKind::getFromNodeKind<NestedNameSpecifierLoc>(),
522  ASTNodeKind::getFromNodeKind<TypeLoc>()};
523 
524  // Starting with the above seed of acceptable top-level matcher types, compute
525  // the acceptable type set for the argument indicated by each context element.
526  std::set<ArgKind> TypeSet(std::begin(InitialTypes), std::end(InitialTypes));
527  for (const auto &CtxEntry : Context) {
528  MatcherCtor Ctor = CtxEntry.first;
529  unsigned ArgNumber = CtxEntry.second;
530  std::vector<ArgKind> NextTypeSet;
531  for (const ArgKind &Kind : TypeSet) {
532  if (Kind.getArgKind() == Kind.AK_Matcher &&
533  Ctor->isConvertibleTo(Kind.getMatcherKind()) &&
534  (Ctor->isVariadic() || ArgNumber < Ctor->getNumArgs()))
535  Ctor->getArgKinds(Kind.getMatcherKind(), ArgNumber, NextTypeSet);
536  }
537  TypeSet.clear();
538  TypeSet.insert(NextTypeSet.begin(), NextTypeSet.end());
539  }
540  return std::vector<ArgKind>(TypeSet.begin(), TypeSet.end());
541 }
542 
543 std::vector<MatcherCompletion>
544 Registry::getMatcherCompletions(ArrayRef<ArgKind> AcceptedTypes) {
545  std::vector<MatcherCompletion> Completions;
546 
547  // Search the registry for acceptable matchers.
548  for (const auto &M : RegistryData->constructors()) {
549  const MatcherDescriptor& Matcher = *M.getValue();
550  StringRef Name = M.getKey();
551 
552  std::set<ASTNodeKind> RetKinds;
553  unsigned NumArgs = Matcher.isVariadic() ? 1 : Matcher.getNumArgs();
554  bool IsPolymorphic = Matcher.isPolymorphic();
555  std::vector<std::vector<ArgKind>> ArgsKinds(NumArgs);
556  unsigned MaxSpecificity = 0;
557  for (const ArgKind& Kind : AcceptedTypes) {
558  if (Kind.getArgKind() != Kind.AK_Matcher)
559  continue;
560  unsigned Specificity;
561  ASTNodeKind LeastDerivedKind;
562  if (Matcher.isConvertibleTo(Kind.getMatcherKind(), &Specificity,
563  &LeastDerivedKind)) {
564  if (MaxSpecificity < Specificity)
565  MaxSpecificity = Specificity;
566  RetKinds.insert(LeastDerivedKind);
567  for (unsigned Arg = 0; Arg != NumArgs; ++Arg)
568  Matcher.getArgKinds(Kind.getMatcherKind(), Arg, ArgsKinds[Arg]);
569  if (IsPolymorphic)
570  break;
571  }
572  }
573 
574  if (!RetKinds.empty() && MaxSpecificity > 0) {
575  std::string Decl;
576  llvm::raw_string_ostream OS(Decl);
577 
578  if (IsPolymorphic) {
579  OS << "Matcher<T> " << Name << "(Matcher<T>";
580  } else {
581  OS << "Matcher<" << RetKinds << "> " << Name << "(";
582  for (const std::vector<ArgKind> &Arg : ArgsKinds) {
583  if (&Arg != &ArgsKinds[0])
584  OS << ", ";
585 
586  bool FirstArgKind = true;
587  std::set<ASTNodeKind> MatcherKinds;
588  // Two steps. First all non-matchers, then matchers only.
589  for (const ArgKind &AK : Arg) {
590  if (AK.getArgKind() == ArgKind::AK_Matcher) {
591  MatcherKinds.insert(AK.getMatcherKind());
592  } else {
593  if (!FirstArgKind) OS << "|";
594  FirstArgKind = false;
595  OS << AK.asString();
596  }
597  }
598  if (!MatcherKinds.empty()) {
599  if (!FirstArgKind) OS << "|";
600  OS << "Matcher<" << MatcherKinds << ">";
601  }
602  }
603  }
604  if (Matcher.isVariadic())
605  OS << "...";
606  OS << ")";
607 
608  std::string TypedText = Name;
609  TypedText += "(";
610  if (ArgsKinds.empty())
611  TypedText += ")";
612  else if (ArgsKinds[0][0].getArgKind() == ArgKind::AK_String)
613  TypedText += "\"";
614 
615  Completions.emplace_back(TypedText, OS.str(), MaxSpecificity);
616  }
617  }
618 
619  return Completions;
620 }
621 
622 VariantMatcher Registry::constructMatcher(MatcherCtor Ctor,
623  SourceRange NameRange,
625  Diagnostics *Error) {
626  return Ctor->create(NameRange, Args, Error);
627 }
628 
629 VariantMatcher Registry::constructBoundMatcher(MatcherCtor Ctor,
630  SourceRange NameRange,
631  StringRef BindID,
633  Diagnostics *Error) {
634  VariantMatcher Out = constructMatcher(Ctor, NameRange, Args, Error);
635  if (Out.isNull()) return Out;
636 
638  if (Result.hasValue()) {
639  llvm::Optional<DynTypedMatcher> Bound = Result->tryBind(BindID);
640  if (Bound.hasValue()) {
641  return VariantMatcher::SingleMatcher(*Bound);
642  }
643  }
644  Error->addError(NameRange, Error->ET_RegistryNotBindable);
645  return VariantMatcher();
646 }
647 
648 } // namespace dynamic
649 } // namespace ast_matchers
650 } // 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:2666
const internal::VariadicFunction< internal::Matcher< ObjCMessageExpr >, StringRef, internal::hasAnySelectorFunc > hasAnySelector
Matches when at least one of the supplied string equals to the Selector.getAsString() ...
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:487
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:2307
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:2391
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:168
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:2299
static bool hasAttr(const FunctionDecl *D, bool IgnoreImplicitAttr)
Definition: SemaCUDA.cpp:98
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:4123
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:2328
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 internal::VariadicDynCastAllOfMatcher< Decl, BlockDecl > blockDecl
Matches block declarations.
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