clang  10.0.0git
ASTMatchersInternal.cpp
Go to the documentation of this file.
1 //===- ASTMatchersInternal.cpp - Structural query framework ---------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Implements the base layer of the matcher framework.
10 //
11 //===----------------------------------------------------------------------===//
12 
14 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/Decl.h"
17 #include "clang/AST/DeclTemplate.h"
20 #include "clang/Basic/LLVM.h"
21 #include "llvm/ADT/ArrayRef.h"
22 #include "llvm/ADT/IntrusiveRefCntPtr.h"
23 #include "llvm/ADT/None.h"
24 #include "llvm/ADT/SmallString.h"
25 #include "llvm/ADT/SmallVector.h"
26 #include "llvm/ADT/StringRef.h"
27 #include "llvm/Support/Casting.h"
28 #include "llvm/Support/ErrorHandling.h"
29 #include "llvm/Support/ManagedStatic.h"
30 #include "llvm/Support/raw_ostream.h"
31 #include <algorithm>
32 #include <cassert>
33 #include <cstddef>
34 #include <string>
35 #include <utility>
36 #include <vector>
37 
38 namespace clang {
39 namespace ast_matchers {
40 
41 AST_MATCHER_P(ObjCMessageExpr, hasAnySelectorMatcher, std::vector<std::string>,
42  Matches) {
43  std::string SelString = Node.getSelector().getAsString();
44  for (const std::string &S : Matches)
45  if (S == SelString)
46  return true;
47  return false;
48 }
49 
50 namespace internal {
51 
53  ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder,
54  ArrayRef<DynTypedMatcher> InnerMatchers);
55 
57  ASTMatchFinder *Finder,
58  BoundNodesTreeBuilder *Builder,
59  ArrayRef<DynTypedMatcher> InnerMatchers);
60 
62  ASTMatchFinder *Finder,
63  BoundNodesTreeBuilder *Builder,
64  ArrayRef<DynTypedMatcher> InnerMatchers);
65 
67  ASTMatchFinder *Finder,
68  BoundNodesTreeBuilder *Builder,
69  ArrayRef<DynTypedMatcher> InnerMatchers);
70 
72  ASTMatchFinder *Finder,
73  BoundNodesTreeBuilder *Builder,
74  ArrayRef<DynTypedMatcher> InnerMatchers);
75 
76 void BoundNodesTreeBuilder::visitMatches(Visitor *ResultVisitor) {
77  if (Bindings.empty())
78  Bindings.push_back(BoundNodesMap());
79  for (BoundNodesMap &Binding : Bindings) {
80  ResultVisitor->visitMatch(BoundNodes(Binding));
81  }
82 }
83 
84 namespace {
85 
86 using VariadicOperatorFunction = bool (*)(
87  const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder,
88  BoundNodesTreeBuilder *Builder, ArrayRef<DynTypedMatcher> InnerMatchers);
89 
90 template <VariadicOperatorFunction Func>
91 class VariadicMatcher : public DynMatcherInterface {
92 public:
93  VariadicMatcher(std::vector<DynTypedMatcher> InnerMatchers)
94  : InnerMatchers(std::move(InnerMatchers)) {}
95 
96  bool dynMatches(const ast_type_traits::DynTypedNode &DynNode,
97  ASTMatchFinder *Finder,
98  BoundNodesTreeBuilder *Builder) const override {
99  return Func(DynNode, Finder, Builder, InnerMatchers);
100  }
101 
102 private:
103  std::vector<DynTypedMatcher> InnerMatchers;
104 };
105 
106 class IdDynMatcher : public DynMatcherInterface {
107 public:
108  IdDynMatcher(StringRef ID,
110  : ID(ID), InnerMatcher(std::move(InnerMatcher)) {}
111 
112  bool dynMatches(const ast_type_traits::DynTypedNode &DynNode,
113  ASTMatchFinder *Finder,
114  BoundNodesTreeBuilder *Builder) const override {
115  bool Result = InnerMatcher->dynMatches(DynNode, Finder, Builder);
116  if (Result) Builder->setBinding(ID, DynNode);
117  return Result;
118  }
119 
121  TraversalKind() const override {
122  return InnerMatcher->TraversalKind();
123  }
124 
125 private:
126  const std::string ID;
127  const IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher;
128 };
129 
130 /// A matcher that always returns true.
131 ///
132 /// We only ever need one instance of this matcher, so we create a global one
133 /// and reuse it to reduce the overhead of the matcher and increase the chance
134 /// of cache hits.
135 class TrueMatcherImpl : public DynMatcherInterface {
136 public:
137  TrueMatcherImpl() {
138  Retain(); // Reference count will never become zero.
139  }
140 
141  bool dynMatches(const ast_type_traits::DynTypedNode &, ASTMatchFinder *,
142  BoundNodesTreeBuilder *) const override {
143  return true;
144  }
145 };
146 
147 } // namespace
148 
149 static llvm::ManagedStatic<TrueMatcherImpl> TrueMatcherInstance;
150 
151 DynTypedMatcher DynTypedMatcher::constructVariadic(
152  DynTypedMatcher::VariadicOperator Op,
153  ast_type_traits::ASTNodeKind SupportedKind,
154  std::vector<DynTypedMatcher> InnerMatchers) {
155  assert(!InnerMatchers.empty() && "Array must not be empty.");
156  assert(llvm::all_of(InnerMatchers,
157  [SupportedKind](const DynTypedMatcher &M) {
158  return M.canConvertTo(SupportedKind);
159  }) &&
160  "InnerMatchers must be convertible to SupportedKind!");
161 
162  // We must relax the restrict kind here.
163  // The different operators might deal differently with a mismatch.
164  // Make it the same as SupportedKind, since that is the broadest type we are
165  // allowed to accept.
166  auto RestrictKind = SupportedKind;
167 
168  switch (Op) {
169  case VO_AllOf:
170  // In the case of allOf() we must pass all the checks, so making
171  // RestrictKind the most restrictive can save us time. This way we reject
172  // invalid types earlier and we can elide the kind checks inside the
173  // matcher.
174  for (auto &IM : InnerMatchers) {
176  RestrictKind, IM.RestrictKind);
177  }
178  return DynTypedMatcher(
179  SupportedKind, RestrictKind,
180  new VariadicMatcher<AllOfVariadicOperator>(std::move(InnerMatchers)));
181 
182  case VO_AnyOf:
183  return DynTypedMatcher(
184  SupportedKind, RestrictKind,
185  new VariadicMatcher<AnyOfVariadicOperator>(std::move(InnerMatchers)));
186 
187  case VO_EachOf:
188  return DynTypedMatcher(
189  SupportedKind, RestrictKind,
190  new VariadicMatcher<EachOfVariadicOperator>(std::move(InnerMatchers)));
191 
192  case VO_Optionally:
193  return DynTypedMatcher(SupportedKind, RestrictKind,
194  new VariadicMatcher<OptionallyVariadicOperator>(
195  std::move(InnerMatchers)));
196 
197  case VO_UnaryNot:
198  // FIXME: Implement the Not operator to take a single matcher instead of a
199  // vector.
200  return DynTypedMatcher(
201  SupportedKind, RestrictKind,
202  new VariadicMatcher<NotUnaryOperator>(std::move(InnerMatchers)));
203  }
204  llvm_unreachable("Invalid Op value.");
205 }
206 
207 DynTypedMatcher DynTypedMatcher::constructRestrictedWrapper(
208  const DynTypedMatcher &InnerMatcher,
209  ast_type_traits::ASTNodeKind RestrictKind) {
210  DynTypedMatcher Copy = InnerMatcher;
211  Copy.RestrictKind = RestrictKind;
212  return Copy;
213 }
214 
215 DynTypedMatcher DynTypedMatcher::trueMatcher(
217  return DynTypedMatcher(NodeKind, NodeKind, &*TrueMatcherInstance);
218 }
219 
220 bool DynTypedMatcher::canMatchNodesOfKind(
222  return RestrictKind.isBaseOf(Kind);
223 }
224 
225 DynTypedMatcher DynTypedMatcher::dynCastTo(
226  const ast_type_traits::ASTNodeKind Kind) const {
227  auto Copy = *this;
228  Copy.SupportedKind = Kind;
229  Copy.RestrictKind =
231  return Copy;
232 }
233 
235  ASTMatchFinder *Finder,
236  BoundNodesTreeBuilder *Builder) const {
237  TraversalKindScope RAII(Finder->getASTContext(),
238  Implementation->TraversalKind());
239 
240  auto N = Finder->getASTContext().traverseIgnored(DynNode);
241 
242  if (RestrictKind.isBaseOf(N.getNodeKind()) &&
243  Implementation->dynMatches(N, Finder, Builder)) {
244  return true;
245  }
246  // Delete all bindings when a matcher does not match.
247  // This prevents unexpected exposure of bound nodes in unmatches
248  // branches of the match tree.
249  Builder->removeBindings([](const BoundNodesMap &) { return true; });
250  return false;
251 }
252 
253 bool DynTypedMatcher::matchesNoKindCheck(
254  const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder,
255  BoundNodesTreeBuilder *Builder) const {
256  TraversalKindScope raii(Finder->getASTContext(),
257  Implementation->TraversalKind());
258 
259  auto N = Finder->getASTContext().traverseIgnored(DynNode);
260 
261  assert(RestrictKind.isBaseOf(N.getNodeKind()));
262  if (Implementation->dynMatches(N, Finder, Builder)) {
263  return true;
264  }
265  // Delete all bindings when a matcher does not match.
266  // This prevents unexpected exposure of bound nodes in unmatches
267  // branches of the match tree.
268  Builder->removeBindings([](const BoundNodesMap &) { return true; });
269  return false;
270 }
271 
272 llvm::Optional<DynTypedMatcher> DynTypedMatcher::tryBind(StringRef ID) const {
273  if (!AllowBind) return llvm::None;
274  auto Result = *this;
275  Result.Implementation =
276  new IdDynMatcher(ID, std::move(Result.Implementation));
277  return std::move(Result);
278 }
279 
280 bool DynTypedMatcher::canConvertTo(ast_type_traits::ASTNodeKind To) const {
281  const auto From = getSupportedKind();
282  auto QualKind = ast_type_traits::ASTNodeKind::getFromNodeKind<QualType>();
283  auto TypeKind = ast_type_traits::ASTNodeKind::getFromNodeKind<Type>();
284  /// Mimic the implicit conversions of Matcher<>.
285  /// - From Matcher<Type> to Matcher<QualType>
286  if (From.isSame(TypeKind) && To.isSame(QualKind)) return true;
287  /// - From Matcher<Base> to Matcher<Derived>
288  return From.isBaseOf(To);
289 }
290 
291 void BoundNodesTreeBuilder::addMatch(const BoundNodesTreeBuilder &Other) {
292  Bindings.append(Other.Bindings.begin(), Other.Bindings.end());
293 }
294 
296  ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder,
297  ArrayRef<DynTypedMatcher> InnerMatchers) {
298  if (InnerMatchers.size() != 1)
299  return false;
300 
301  // The 'unless' matcher will always discard the result:
302  // If the inner matcher doesn't match, unless returns true,
303  // but the inner matcher cannot have bound anything.
304  // If the inner matcher matches, the result is false, and
305  // any possible binding will be discarded.
306  // We still need to hand in all the bound nodes up to this
307  // point so the inner matcher can depend on bound nodes,
308  // and we need to actively discard the bound nodes, otherwise
309  // the inner matcher will reset the bound nodes if it doesn't
310  // match, but this would be inversed by 'unless'.
311  BoundNodesTreeBuilder Discard(*Builder);
312  return !InnerMatchers[0].matches(DynNode, Finder, &Discard);
313 }
314 
316  ASTMatchFinder *Finder,
317  BoundNodesTreeBuilder *Builder,
318  ArrayRef<DynTypedMatcher> InnerMatchers) {
319  // allOf leads to one matcher for each alternative in the first
320  // matcher combined with each alternative in the second matcher.
321  // Thus, we can reuse the same Builder.
322  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
323  if (!InnerMatcher.matchesNoKindCheck(DynNode, Finder, Builder))
324  return false;
325  }
326  return true;
327 }
328 
330  ASTMatchFinder *Finder,
331  BoundNodesTreeBuilder *Builder,
332  ArrayRef<DynTypedMatcher> InnerMatchers) {
333  BoundNodesTreeBuilder Result;
334  bool Matched = false;
335  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
336  BoundNodesTreeBuilder BuilderInner(*Builder);
337  if (InnerMatcher.matches(DynNode, Finder, &BuilderInner)) {
338  Matched = true;
339  Result.addMatch(BuilderInner);
340  }
341  }
342  *Builder = std::move(Result);
343  return Matched;
344 }
345 
347  ASTMatchFinder *Finder,
348  BoundNodesTreeBuilder *Builder,
349  ArrayRef<DynTypedMatcher> InnerMatchers) {
350  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
351  BoundNodesTreeBuilder Result = *Builder;
352  if (InnerMatcher.matches(DynNode, Finder, &Result)) {
353  *Builder = std::move(Result);
354  return true;
355  }
356  }
357  return false;
358 }
359 
361  ASTMatchFinder *Finder,
362  BoundNodesTreeBuilder *Builder,
363  ArrayRef<DynTypedMatcher> InnerMatchers) {
364  BoundNodesTreeBuilder Result;
365  for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
366  BoundNodesTreeBuilder BuilderInner(*Builder);
367  if (InnerMatcher.matches(DynNode, Finder, &BuilderInner))
368  Result.addMatch(BuilderInner);
369  }
370  *Builder = std::move(Result);
371  return true;
372 }
373 
374 inline static
375 std::vector<std::string> vectorFromRefs(ArrayRef<const StringRef *> NameRefs) {
376  std::vector<std::string> Names;
377  for (auto *Name : NameRefs)
378  Names.emplace_back(*Name);
379  return Names;
380 }
381 
382 Matcher<NamedDecl> hasAnyNameFunc(ArrayRef<const StringRef *> NameRefs) {
383  std::vector<std::string> Names = vectorFromRefs(NameRefs);
384  return internal::Matcher<NamedDecl>(new internal::HasNameMatcher(Names));
385 }
386 
387 Matcher<ObjCMessageExpr> hasAnySelectorFunc(
388  ArrayRef<const StringRef *> NameRefs) {
389  return hasAnySelectorMatcher(vectorFromRefs(NameRefs));
390 }
391 
392 HasNameMatcher::HasNameMatcher(std::vector<std::string> N)
393  : UseUnqualifiedMatch(std::all_of(
394  N.begin(), N.end(),
395  [](StringRef Name) { return Name.find("::") == Name.npos; })),
396  Names(std::move(N)) {
397 #ifndef NDEBUG
398  for (StringRef Name : Names)
399  assert(!Name.empty());
400 #endif
401 }
402 
403 static bool consumeNameSuffix(StringRef &FullName, StringRef Suffix) {
404  StringRef Name = FullName;
405  if (!Name.endswith(Suffix))
406  return false;
407  Name = Name.drop_back(Suffix.size());
408  if (!Name.empty()) {
409  if (!Name.endswith("::"))
410  return false;
411  Name = Name.drop_back(2);
412  }
413  FullName = Name;
414  return true;
415 }
416 
417 static StringRef getNodeName(const NamedDecl &Node,
418  llvm::SmallString<128> &Scratch) {
419  // Simple name.
420  if (Node.getIdentifier())
421  return Node.getName();
422 
423  if (Node.getDeclName()) {
424  // Name needs to be constructed.
425  Scratch.clear();
426  llvm::raw_svector_ostream OS(Scratch);
427  Node.printName(OS);
428  return OS.str();
429  }
430 
431  return "(anonymous)";
432 }
433 
434 static StringRef getNodeName(const RecordDecl &Node,
435  llvm::SmallString<128> &Scratch) {
436  if (Node.getIdentifier()) {
437  return Node.getName();
438  }
439  Scratch.clear();
440  return ("(anonymous " + Node.getKindName() + ")").toStringRef(Scratch);
441 }
442 
443 static StringRef getNodeName(const NamespaceDecl &Node,
444  llvm::SmallString<128> &Scratch) {
445  return Node.isAnonymousNamespace() ? "(anonymous namespace)" : Node.getName();
446 }
447 
448 namespace {
449 
450 class PatternSet {
451 public:
452  PatternSet(ArrayRef<std::string> Names) {
453  for (StringRef Name : Names)
454  Patterns.push_back({Name, Name.startswith("::")});
455  }
456 
457  /// Consumes the name suffix from each pattern in the set and removes the ones
458  /// that didn't match.
459  /// Return true if there are still any patterns left.
460  bool consumeNameSuffix(StringRef NodeName, bool CanSkip) {
461  for (size_t I = 0; I < Patterns.size();) {
463  NodeName) ||
464  CanSkip) {
465  ++I;
466  } else {
467  Patterns.erase(Patterns.begin() + I);
468  }
469  }
470  return !Patterns.empty();
471  }
472 
473  /// Check if any of the patterns are a match.
474  /// A match will be a pattern that was fully consumed, that also matches the
475  /// 'fully qualified' requirement.
476  bool foundMatch(bool AllowFullyQualified) const {
477  for (auto& P: Patterns)
478  if (P.P.empty() && (AllowFullyQualified || !P.IsFullyQualified))
479  return true;
480  return false;
481  }
482 
483 private:
484  struct Pattern {
485  StringRef P;
487  };
488 
490 };
491 
492 } // namespace
493 
494 bool HasNameMatcher::matchesNodeUnqualified(const NamedDecl &Node) const {
495  assert(UseUnqualifiedMatch);
496  llvm::SmallString<128> Scratch;
497  StringRef NodeName = getNodeName(Node, Scratch);
498  return llvm::any_of(Names, [&](StringRef Name) {
499  return consumeNameSuffix(Name, NodeName) && Name.empty();
500  });
501 }
502 
503 bool HasNameMatcher::matchesNodeFullFast(const NamedDecl &Node) const {
504  PatternSet Patterns(Names);
505  llvm::SmallString<128> Scratch;
506 
507  // This function is copied and adapted from NamedDecl::printQualifiedName()
508  // By matching each part individually we optimize in a couple of ways:
509  // - We can exit early on the first failure.
510  // - We can skip inline/anonymous namespaces without another pass.
511  // - We print one name at a time, reducing the chance of overflowing the
512  // inlined space of the SmallString.
513 
514  // First, match the name.
515  if (!Patterns.consumeNameSuffix(getNodeName(Node, Scratch),
516  /*CanSkip=*/false))
517  return false;
518 
519  // Try to match each declaration context.
520  // We are allowed to skip anonymous and inline namespaces if they don't match.
521  const DeclContext *Ctx = Node.getDeclContext();
522 
523  if (Ctx->isFunctionOrMethod())
524  return Patterns.foundMatch(/*AllowFullyQualified=*/false);
525 
526  for (; Ctx && isa<NamedDecl>(Ctx); Ctx = Ctx->getParent()) {
527  if (Patterns.foundMatch(/*AllowFullyQualified=*/false))
528  return true;
529 
530  if (const auto *ND = dyn_cast<NamespaceDecl>(Ctx)) {
531  // If it matches (or we can skip it), continue.
532  if (Patterns.consumeNameSuffix(getNodeName(*ND, Scratch),
533  /*CanSkip=*/ND->isAnonymousNamespace() ||
534  ND->isInline()))
535  continue;
536  return false;
537  }
538  if (const auto *RD = dyn_cast<RecordDecl>(Ctx)) {
539  if (!isa<ClassTemplateSpecializationDecl>(Ctx)) {
540  if (Patterns.consumeNameSuffix(getNodeName(*RD, Scratch),
541  /*CanSkip=*/false))
542  continue;
543 
544  return false;
545  }
546  }
547 
548  // We don't know how to deal with this DeclContext.
549  // Fallback to the slow version of the code.
550  return matchesNodeFullSlow(Node);
551  }
552 
553  return Patterns.foundMatch(/*AllowFullyQualified=*/true);
554 }
555 
556 bool HasNameMatcher::matchesNodeFullSlow(const NamedDecl &Node) const {
557  const bool SkipUnwrittenCases[] = {false, true};
558  for (bool SkipUnwritten : SkipUnwrittenCases) {
559  llvm::SmallString<128> NodeName = StringRef("::");
560  llvm::raw_svector_ostream OS(NodeName);
561 
562  if (SkipUnwritten) {
563  PrintingPolicy Policy = Node.getASTContext().getPrintingPolicy();
564  Policy.SuppressUnwrittenScope = true;
565  Node.printQualifiedName(OS, Policy);
566  } else {
567  Node.printQualifiedName(OS);
568  }
569 
570  const StringRef FullName = OS.str();
571 
572  for (const StringRef Pattern : Names) {
573  if (Pattern.startswith("::")) {
574  if (FullName == Pattern)
575  return true;
576  } else if (FullName.endswith(Pattern) &&
577  FullName.drop_back(Pattern.size()).endswith("::")) {
578  return true;
579  }
580  }
581  }
582 
583  return false;
584 }
585 
586 bool HasNameMatcher::matchesNode(const NamedDecl &Node) const {
587  assert(matchesNodeFullFast(Node) == matchesNodeFullSlow(Node));
588  if (UseUnqualifiedMatch) {
589  assert(matchesNodeUnqualified(Node) == matchesNodeFullFast(Node));
590  return matchesNodeUnqualified(Node);
591  }
592  return matchesNodeFullFast(Node);
593 }
594 
595 } // end namespace internal
596 
597 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAutoreleasePoolStmt>
599 const internal::VariadicDynCastAllOfMatcher<Decl, TranslationUnitDecl>
601 const internal::VariadicDynCastAllOfMatcher<Decl, TypedefDecl> typedefDecl;
602 const internal::VariadicDynCastAllOfMatcher<Decl, TypedefNameDecl>
604 const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasDecl> typeAliasDecl;
605 const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasTemplateDecl>
607 const internal::VariadicAllOfMatcher<Decl> decl;
608 const internal::VariadicDynCastAllOfMatcher<Decl, LinkageSpecDecl>
610 const internal::VariadicDynCastAllOfMatcher<Decl, NamedDecl> namedDecl;
611 const internal::VariadicDynCastAllOfMatcher<Decl, LabelDecl> labelDecl;
612 const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceDecl> namespaceDecl;
613 const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceAliasDecl>
615 const internal::VariadicDynCastAllOfMatcher<Decl, RecordDecl> recordDecl;
616 const internal::VariadicDynCastAllOfMatcher<Decl, CXXRecordDecl> cxxRecordDecl;
617 const internal::VariadicDynCastAllOfMatcher<Decl, ClassTemplateDecl>
619 const internal::VariadicDynCastAllOfMatcher<Decl,
622 const internal::VariadicDynCastAllOfMatcher<
625 const internal::VariadicDynCastAllOfMatcher<Decl, DeclaratorDecl>
627 const internal::VariadicDynCastAllOfMatcher<Decl, ParmVarDecl> parmVarDecl;
628 const internal::VariadicDynCastAllOfMatcher<Decl, AccessSpecDecl>
630 const internal::VariadicAllOfMatcher<CXXCtorInitializer> cxxCtorInitializer;
631 const internal::VariadicAllOfMatcher<TemplateArgument> templateArgument;
632 const internal::VariadicAllOfMatcher<TemplateName> templateName;
633 const internal::VariadicDynCastAllOfMatcher<Decl, NonTypeTemplateParmDecl>
635 const internal::VariadicDynCastAllOfMatcher<Decl, TemplateTypeParmDecl>
637 const internal::VariadicAllOfMatcher<QualType> qualType;
638 const internal::VariadicAllOfMatcher<Type> type;
639 const internal::VariadicAllOfMatcher<TypeLoc> typeLoc;
640 const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryExprOrTypeTraitExpr>
642 const internal::VariadicDynCastAllOfMatcher<Decl, ValueDecl> valueDecl;
643 const internal::VariadicDynCastAllOfMatcher<Decl, CXXConstructorDecl>
645 const internal::VariadicDynCastAllOfMatcher<Decl, CXXDestructorDecl>
647 const internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl> enumDecl;
648 const internal::VariadicDynCastAllOfMatcher<Decl, EnumConstantDecl>
650 const internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl> cxxMethodDecl;
651 const internal::VariadicDynCastAllOfMatcher<Decl, CXXConversionDecl>
653 const internal::VariadicDynCastAllOfMatcher<Decl, VarDecl> varDecl;
654 const internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl> fieldDecl;
655 const internal::VariadicDynCastAllOfMatcher<Decl, IndirectFieldDecl>
657 const internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl> functionDecl;
658 const internal::VariadicDynCastAllOfMatcher<Decl, FunctionTemplateDecl>
660 const internal::VariadicDynCastAllOfMatcher<Decl, FriendDecl> friendDecl;
661 const internal::VariadicAllOfMatcher<Stmt> stmt;
662 const internal::VariadicDynCastAllOfMatcher<Stmt, DeclStmt> declStmt;
663 const internal::VariadicDynCastAllOfMatcher<Stmt, MemberExpr> memberExpr;
664 const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedMemberExpr>
666 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDependentScopeMemberExpr>
668 const internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr> callExpr;
669 const internal::VariadicDynCastAllOfMatcher<Stmt, LambdaExpr> lambdaExpr;
670 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXMemberCallExpr>
672 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCMessageExpr>
674 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCInterfaceDecl>
676 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCImplementationDecl>
678 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCProtocolDecl>
680 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryDecl>
682 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryImplDecl>
684 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCMethodDecl>
686 const internal::VariadicDynCastAllOfMatcher<Decl, BlockDecl>
688 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCIvarDecl> objcIvarDecl;
689 const internal::VariadicDynCastAllOfMatcher<Decl, ObjCPropertyDecl>
691 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtThrowStmt>
693 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtTryStmt> objcTryStmt;
694 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtCatchStmt>
696 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtFinallyStmt>
698 const internal::VariadicDynCastAllOfMatcher<Stmt, ExprWithCleanups>
700 const internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr> initListExpr;
701 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStdInitializerListExpr>
703 const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitValueInitExpr>
705 const internal::VariadicDynCastAllOfMatcher<Stmt, ParenListExpr> parenListExpr;
706 const internal::VariadicDynCastAllOfMatcher<Stmt, SubstNonTypeTemplateParmExpr>
708 const internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl> usingDecl;
709 const internal::VariadicDynCastAllOfMatcher<Decl, UsingDirectiveDecl>
711 const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedLookupExpr>
713 const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingValueDecl>
715 const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingTypenameDecl>
717 const internal::VariadicDynCastAllOfMatcher<Stmt, ConstantExpr> constantExpr;
718 const internal::VariadicDynCastAllOfMatcher<Stmt, ParenExpr> parenExpr;
719 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstructExpr>
721 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXUnresolvedConstructExpr>
723 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThisExpr> cxxThisExpr;
724 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBindTemporaryExpr>
726 const internal::VariadicDynCastAllOfMatcher<Stmt, MaterializeTemporaryExpr>
728 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> cxxNewExpr;
729 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr> cxxDeleteExpr;
730 const internal::VariadicDynCastAllOfMatcher<Stmt, ArraySubscriptExpr>
732 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDefaultArgExpr>
734 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXOperatorCallExpr>
736 const internal::VariadicDynCastAllOfMatcher<Stmt, Expr> expr;
737 const internal::VariadicDynCastAllOfMatcher<Stmt, DeclRefExpr> declRefExpr;
738 const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCIvarRefExpr> objcIvarRefExpr;
739 const internal::VariadicDynCastAllOfMatcher<Stmt, BlockExpr> blockExpr;
740 const internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt> ifStmt;
741 const internal::VariadicDynCastAllOfMatcher<Stmt, ForStmt> forStmt;
742 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXForRangeStmt>
744 const internal::VariadicDynCastAllOfMatcher<Stmt, WhileStmt> whileStmt;
745 const internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt> doStmt;
746 const internal::VariadicDynCastAllOfMatcher<Stmt, BreakStmt> breakStmt;
747 const internal::VariadicDynCastAllOfMatcher<Stmt, ContinueStmt> continueStmt;
748 const internal::VariadicDynCastAllOfMatcher<Stmt, ReturnStmt> returnStmt;
749 const internal::VariadicDynCastAllOfMatcher<Stmt, GotoStmt> gotoStmt;
750 const internal::VariadicDynCastAllOfMatcher<Stmt, LabelStmt> labelStmt;
751 const internal::VariadicDynCastAllOfMatcher<Stmt, AddrLabelExpr> addrLabelExpr;
752 const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchStmt> switchStmt;
753 const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchCase> switchCase;
754 const internal::VariadicDynCastAllOfMatcher<Stmt, CaseStmt> caseStmt;
755 const internal::VariadicDynCastAllOfMatcher<Stmt, DefaultStmt> defaultStmt;
756 const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundStmt> compoundStmt;
757 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXCatchStmt> cxxCatchStmt;
758 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTryStmt> cxxTryStmt;
759 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThrowExpr> cxxThrowExpr;
760 const internal::VariadicDynCastAllOfMatcher<Stmt, NullStmt> nullStmt;
761 const internal::VariadicDynCastAllOfMatcher<Stmt, AsmStmt> asmStmt;
762 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBoolLiteralExpr>
764 const internal::VariadicDynCastAllOfMatcher<Stmt, StringLiteral> stringLiteral;
765 const internal::VariadicDynCastAllOfMatcher<Stmt, CharacterLiteral>
767 const internal::VariadicDynCastAllOfMatcher<Stmt, IntegerLiteral>
769 const internal::VariadicDynCastAllOfMatcher<Stmt, FloatingLiteral> floatLiteral;
770 const internal::VariadicDynCastAllOfMatcher<Stmt, ImaginaryLiteral> imaginaryLiteral;
771 const internal::VariadicDynCastAllOfMatcher<Stmt, UserDefinedLiteral>
773 const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundLiteralExpr>
775 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNullPtrLiteralExpr>
777 const internal::VariadicDynCastAllOfMatcher<Stmt, ChooseExpr> chooseExpr;
778 const internal::VariadicDynCastAllOfMatcher<Stmt, GNUNullExpr> gnuNullExpr;
779 const internal::VariadicDynCastAllOfMatcher<Stmt, AtomicExpr> atomicExpr;
780 const internal::VariadicDynCastAllOfMatcher<Stmt, StmtExpr> stmtExpr;
781 const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryOperator>
783 const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryOperator> unaryOperator;
784 const internal::VariadicDynCastAllOfMatcher<Stmt, ConditionalOperator>
786 const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryConditionalOperator>
788 const internal::VariadicDynCastAllOfMatcher<Stmt, OpaqueValueExpr>
790 const internal::VariadicDynCastAllOfMatcher<Decl, StaticAssertDecl>
792 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXReinterpretCastExpr>
794 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStaticCastExpr>
796 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDynamicCastExpr>
798 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstCastExpr>
800 const internal::VariadicDynCastAllOfMatcher<Stmt, CStyleCastExpr>
802 const internal::VariadicDynCastAllOfMatcher<Stmt, ExplicitCastExpr>
804 const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitCastExpr>
806 const internal::VariadicDynCastAllOfMatcher<Stmt, CastExpr> castExpr;
807 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXFunctionalCastExpr>
809 const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTemporaryObjectExpr>
811 const internal::VariadicDynCastAllOfMatcher<Stmt, PredefinedExpr>
813 const internal::VariadicDynCastAllOfMatcher<Stmt, DesignatedInitExpr>
815 const internal::VariadicOperatorMatcherFunc<
817  eachOf = {internal::DynTypedMatcher::VO_EachOf};
818 const internal::VariadicOperatorMatcherFunc<
820  anyOf = {internal::DynTypedMatcher::VO_AnyOf};
821 const internal::VariadicOperatorMatcherFunc<
823  allOf = {internal::DynTypedMatcher::VO_AllOf};
824 const internal::VariadicOperatorMatcherFunc<
826  optionally = {internal::DynTypedMatcher::VO_Optionally};
827 const internal::VariadicFunction<internal::Matcher<NamedDecl>, StringRef,
830 const internal::VariadicFunction<internal::Matcher<ObjCMessageExpr>, StringRef,
833 const internal::ArgumentAdaptingMatcherFunc<internal::HasMatcher> has = {};
834 const internal::ArgumentAdaptingMatcherFunc<internal::HasDescendantMatcher>
836 const internal::ArgumentAdaptingMatcherFunc<internal::ForEachMatcher> forEach =
837  {};
838 const internal::ArgumentAdaptingMatcherFunc<internal::ForEachDescendantMatcher>
840 const internal::ArgumentAdaptingMatcherFunc<
841  internal::HasParentMatcher,
842  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc>,
843  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc>>
844  hasParent = {};
845 const internal::ArgumentAdaptingMatcherFunc<
846  internal::HasAncestorMatcher,
847  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc>,
848  internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc>>
850 const internal::VariadicOperatorMatcherFunc<1, 1> unless = {
851  internal::DynTypedMatcher::VO_UnaryNot};
852 const internal::VariadicAllOfMatcher<NestedNameSpecifier> nestedNameSpecifier;
853 const internal::VariadicAllOfMatcher<NestedNameSpecifierLoc>
855 const internal::VariadicDynCastAllOfMatcher<Stmt, CUDAKernelCallExpr>
888 AST_TYPELOC_TRAVERSE_MATCHER_DEF(hasElementType,
890  ComplexType));
894  pointee,
897 
898 const internal::VariadicDynCastAllOfMatcher<Stmt, OMPExecutableDirective>
900 const internal::VariadicDynCastAllOfMatcher<OMPClause, OMPDefaultClause>
902 const internal::VariadicDynCastAllOfMatcher<Decl, CXXDeductionGuideDecl>
904 
905 } // end namespace ast_matchers
906 } // end namespace clang
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExpr > cxxThisExpr
Matches implicit and explicit this expressions.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Decl, NonTypeTemplateParmDecl > nonTypeTemplateParmDecl
Matches non-type template parameter declarations.
Defines the clang::ASTContext interface.
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.
PointerType - C99 6.7.5.1 - Pointer Declarators.
Definition: Type.h:2614
const AstTypeMatcher< DecltypeType > decltypeType
Matches types nodes representing C++11 decltype(<expr>) types.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > forEach
Matches AST nodes that have child AST nodes that match the provided matcher.
AST_MATCHER_P(FieldDecl, hasBitWidth, unsigned, Width)
Matches non-static data members that are bit-fields of the specified bit width.
Definition: ASTMatchers.h:605
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.
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 AstTypeMatcher< TagType > tagType
Matches tag types (record and enum types).
const internal::VariadicDynCastAllOfMatcher< OMPClause, OMPDefaultClause > ompDefaultClause
Matches OpenMP default clause.
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:88
Defines the C++ template declaration subclasses.
StringRef P
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.
bool isSame(ASTNodeKind Other) const
Returns true if this and Other represent the same kind.
Definition: ASTTypeTraits.h:77
bool AnyOfVariadicOperator(const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
const internal::VariadicDynCastAllOfMatcher< Stmt, ImaginaryLiteral > imaginaryLiteral
Matches imaginary literals, which are based on integer and floating point literals e...
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition: Type.h:2889
Represent a C++ namespace.
Definition: Decl.h:497
bool OptionallyVariadicOperator(const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
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.
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.
Matcher< NamedDecl > hasAnyNameFunc(ArrayRef< const StringRef *> NameRefs)
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCIvarRefExpr > objcIvarRefExpr
Matches a reference to an ObjCIvar.
const internal::VariadicDynCastAllOfMatcher< Decl, VarDecl > varDecl
Matches variable declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > functionDecl
Matches function declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, BlockExpr > blockExpr
Matches a reference to a block.
const internal::VariadicDynCastAllOfMatcher< Decl, NamedDecl > namedDecl
Matches a declaration of anything that could have a name.
const AstTypeMatcher< BuiltinType > builtinType
Matches builtin Types.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExpr > cxxThrowExpr
Matches throw expressions.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Definition: Decl.h:244
const internal::VariadicDynCastAllOfMatcher< Decl, EnumDecl > enumDecl
Matches enum declarations.
const AstTypeMatcher< RecordType > recordType
Matches record types (e.g.
Represents a struct/union/class.
Definition: Decl.h:3748
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition: Decl.h:272
bool NotUnaryOperator(const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
Represents a class template specialization, which refers to a class template with a given set of temp...
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 internal::VariadicDynCastAllOfMatcher< Stmt, ConstantExpr > constantExpr
Matches a constant expression wrapper.
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.
__DEVICE__ int max(int __a, int __b)
internal::VariadicDynCastAllOfMatcher< Type, NodeType > AstTypeMatcher
Definition: ASTMatchers.h:5537
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.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified...
const internal::VariadicDynCastAllOfMatcher< Stmt, OMPExecutableDirective > ompExecutableDirective
Matches any #pragma omp executable directive.
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.
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.
bool EachOfVariadicOperator(const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
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::VariadicDynCastAllOfMatcher< Stmt, ChooseExpr > chooseExpr
Matches GNU __builtin_choose_expr.
const internal::VariadicOperatorMatcherFunc< 1, std::numeric_limits< unsigned >::max()> optionally
Matches any node regardless of the submatchers.
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, ClassTemplatePartialSpecializationDecl > classTemplatePartialSpecializationDecl
Matches C++ class template partial specializations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAutoreleasePoolStmt > autoreleasePoolStmt
Matches an Objective-C autorelease pool statement.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDeductionGuideDecl > cxxDeductionGuideDecl
Matches user-defined and implicitly generated deduction guide.
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).
const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExpr > explicitCastExpr
Matches explicit cast expressions.
bool IsFullyQualified
StringRef getKindName() const
Definition: Decl.h:3394
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.
bool AllOfVariadicOperator(const ast_type_traits::DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
bool isAnonymousNamespace() const
Returns true if this is an anonymous namespace declaration.
Definition: Decl.h:553
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 bool
Definition: stdbool.h:15
const internal::VariadicDynCastAllOfMatcher< Decl, FieldDecl > fieldDecl
Matches field declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedMemberExpr > unresolvedMemberExpr
Matches unresolved member expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > conditionalOperator
Matches conditional operator expressions.
const AstTypeMatcher< ArrayType > arrayType
Matches all kinds of arrays.
static ASTNodeKind getMostDerivedType(ASTNodeKind Kind1, ASTNodeKind Kind2)
Return the most derived type between Kind1 and Kind2.
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.
An expression that sends a message to the given Objective-C object or class.
Definition: ExprObjC.h:950
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.
const AstTypeMatcher< TemplateSpecializationType > templateSpecializationType
Matches template specialization types.
NodeKind
A kind of a syntax node, used for implementing casts.
Definition: Nodes.h:37
const internal::VariadicAllOfMatcher< NestedNameSpecifierLoc > nestedNameSpecifierLoc
Same as nestedNameSpecifier but matches NestedNameSpecifierLoc.
virtual void printName(raw_ostream &os) const
Definition: Decl.cpp:1551
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.
static StringRef getNodeName(const NamedDecl &Node, llvm::SmallString< 128 > &Scratch)
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.
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.
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.
#define AST_POLYMORPHIC_SUPPORTED_TYPES(...)
Construct a type-list to be passed to the AST_POLYMORPHIC_MATCHER* macros.
static std::vector< std::string > vectorFromRefs(ArrayRef< const StringRef *> NameRefs)
bool isBaseOf(ASTNodeKind Other, unsigned *Distance=nullptr) const
Returns true if this is a base kind of (or same as) Other.
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.
BoundNodesTreeBuilder BoundNodes
ast_type_traits::DynTypedNode Node
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.
static bool consumeNameSuffix(StringRef &FullName, StringRef Suffix)
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.
A pointer to member type per C++ 8.3.3 - Pointers to members.
Definition: Type.h:2833
const internal::VariadicDynCastAllOfMatcher< Decl, IndirectFieldDecl > indirectFieldDecl
Matches indirect field declarations.
A dynamically typed AST node container.
Pointer to a block type.
Definition: Type.h:2716
Complex values, per C99 6.2.5p11.
Definition: Type.h:2554
const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExpr > lambdaExpr
Matches lambda expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExpr > cxxNewExpr
Matches new expressions.
TraversalKind
Defines how we descend a level in the AST when we pass through expressions.
Definition: ASTTypeTraits.h:40
Base for LValueReferenceType and RValueReferenceType.
Definition: Type.h:2750
static llvm::ManagedStatic< TrueMatcherImpl > TrueMatcherInstance
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.
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, CXXDependentScopeMemberExpr > cxxDependentScopeMemberExpr
Matches member expressions where the actual member referenced could not be resolved because the base ...
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.
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.
const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDecl > accessSpecDecl
Matches C++ access specifier declarations.
const AstTypeMatcher< TemplateTypeParmType > templateTypeParmType
Matches template type parameter types.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
Definition: Decl.h:250
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.
bool matches(const til::SExpr *E1, const til::SExpr *E2)
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDecl > cxxDestructorDecl
Matches explicit C++ destructor declarations.
This represents a decl that may have a name.
Definition: Decl.h:223
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...
Matcher< ObjCMessageExpr > hasAnySelectorFunc(ArrayRef< const StringRef *> NameRefs)
const AstTypeMatcher< LValueReferenceType > lValueReferenceType
Matches lvalue reference types.
const internal::VariadicDynCastAllOfMatcher< Stmt, WhileStmt > whileStmt
Matches while statements.
AST_TYPELOC_TRAVERSE_MATCHER_DEF(hasElementType, AST_POLYMORPHIC_SUPPORTED_TYPES(ArrayType, ComplexType))
const AstTypeMatcher< EnumType > enumType
Matches enum types.
const AstTypeMatcher< BlockPointerType > blockPointerType
Matches block pointer types, i.e.