24#include "llvm/ADT/ArrayRef.h"
25#include "llvm/ADT/DenseSet.h"
26#include "llvm/ADT/IntrusiveRefCntPtr.h"
27#include "llvm/ADT/SmallString.h"
28#include "llvm/ADT/SmallVector.h"
29#include "llvm/ADT/StringRef.h"
30#include "llvm/Support/ErrorHandling.h"
31#include "llvm/Support/Regex.h"
32#include "llvm/Support/WithColor.h"
33#include "llvm/Support/raw_ostream.h"
46 return llvm::is_contained(Matches, Node.getSelector().getAsString());
52 ASTMatchFinder *Finder,
53 BoundNodesTreeBuilder *Builder,
57 ASTMatchFinder *Finder,
58 BoundNodesTreeBuilder *Builder,
62 ASTMatchFinder *Finder,
63 BoundNodesTreeBuilder *Builder,
67 ASTMatchFinder *Finder,
68 BoundNodesTreeBuilder *Builder,
72 ASTMatchFinder *Finder,
73 BoundNodesTreeBuilder *Builder,
77 const Matcher<CXXBaseSpecifier> &BaseSpecMatcher,
78 ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder) {
85 const auto basePredicate =
88 BoundNodesTreeBuilder
Result(*Builder);
89 if (BaseSpecMatcher.matches(*BaseSpec, Finder, &
Result)) {
90 *Builder = std::move(
Result);
100void BoundNodesTreeBuilder::visitMatches(Visitor *ResultVisitor) {
102 Bindings.push_back(BoundNodesMap());
103 for (BoundNodesMap &Binding :
Bindings) {
104 ResultVisitor->visitMatch(
BoundNodes(Binding));
110using VariadicOperatorFunction =
bool (*)(
111 const DynTypedNode &DynNode, ASTMatchFinder *Finder,
114template <VariadicOperatorFunction Func>
115class VariadicMatcher :
public DynMatcherInterface {
117 VariadicMatcher(std::vector<DynTypedMatcher> InnerMatchers)
118 : InnerMatchers(
std::move(InnerMatchers)) {}
120 bool dynMatches(
const DynTypedNode &DynNode, ASTMatchFinder *Finder,
121 BoundNodesTreeBuilder *Builder)
const override {
122 return Func(DynNode, Finder, Builder, InnerMatchers);
126 std::vector<DynTypedMatcher> InnerMatchers;
129class IdDynMatcher :
public DynMatcherInterface {
131 IdDynMatcher(StringRef ID,
132 IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher)
133 : ID(ID), InnerMatcher(std::move(InnerMatcher)) {}
135 bool dynMatches(
const DynTypedNode &DynNode, ASTMatchFinder *Finder,
136 BoundNodesTreeBuilder *Builder)
const override {
137 bool Result = InnerMatcher->dynMatches(DynNode, Finder, Builder);
138 if (
Result) Builder->setBinding(ID, DynNode);
142 std::optional<clang::TraversalKind>
TraversalKind()
const override {
143 return InnerMatcher->TraversalKind();
147 const std::string ID;
148 const IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher;
152class TrueMatcherImpl :
public DynMatcherInterface {
154 TrueMatcherImpl() =
default;
156 bool dynMatches(
const DynTypedNode &, ASTMatchFinder *,
157 BoundNodesTreeBuilder *)
const override {
166class DynTraversalMatcherImpl :
public DynMatcherInterface {
168 explicit DynTraversalMatcherImpl(
170 IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher)
171 : TK(TK), InnerMatcher(std::move(InnerMatcher)) {}
173 bool dynMatches(
const DynTypedNode &DynNode, ASTMatchFinder *Finder,
174 BoundNodesTreeBuilder *Builder)
const override {
175 return this->InnerMatcher->dynMatches(DynNode, Finder, Builder);
178 std::optional<clang::TraversalKind>
TraversalKind()
const override {
184 IntrusiveRefCntPtr<DynMatcherInterface> InnerMatcher;
189bool ASTMatchFinder::isTraversalIgnoringImplicitNodes()
const {
190 return getASTContext().getParentMapContext().getTraversalKind() ==
195DynTypedMatcher::constructVariadic(DynTypedMatcher::VariadicOperator Op,
196 ASTNodeKind SupportedKind,
197 std::vector<DynTypedMatcher> InnerMatchers) {
198 assert(!InnerMatchers.empty() &&
"Array must not be empty.");
199 assert(llvm::all_of(InnerMatchers,
200 [SupportedKind](
const DynTypedMatcher &M) {
201 return M.canConvertTo(SupportedKind);
203 "InnerMatchers must be convertible to SupportedKind!");
209 auto RestrictKind = SupportedKind;
217 for (
auto &IM : InnerMatchers) {
221 return DynTypedMatcher(
222 SupportedKind, RestrictKind,
223 new VariadicMatcher<allOfVariadicOperator>(std::move(InnerMatchers)));
226 return DynTypedMatcher(
227 SupportedKind, RestrictKind,
228 new VariadicMatcher<anyOfVariadicOperator>(std::move(InnerMatchers)));
231 return DynTypedMatcher(
232 SupportedKind, RestrictKind,
233 new VariadicMatcher<eachOfVariadicOperator>(std::move(InnerMatchers)));
236 return DynTypedMatcher(SupportedKind, RestrictKind,
237 new VariadicMatcher<optionallyVariadicOperator>(
238 std::move(InnerMatchers)));
243 return DynTypedMatcher(
244 SupportedKind, RestrictKind,
245 new VariadicMatcher<notUnaryOperator>(std::move(InnerMatchers)));
247 llvm_unreachable(
"Invalid Op value.");
251DynTypedMatcher::constructRestrictedWrapper(
const DynTypedMatcher &InnerMatcher,
252 ASTNodeKind RestrictKind) {
253 DynTypedMatcher
Copy = InnerMatcher;
254 Copy.RestrictKind = RestrictKind;
258DynTypedMatcher DynTypedMatcher::withTraversalKind(
TraversalKind TK) {
260 Copy.Implementation =
261 new DynTraversalMatcherImpl(TK, std::move(
Copy.Implementation));
265DynTypedMatcher DynTypedMatcher::trueMatcher(ASTNodeKind NodeKind) {
269 static const llvm::IntrusiveRefCntPtr<TrueMatcherImpl> Instance =
270 new TrueMatcherImpl();
271 return DynTypedMatcher(NodeKind, NodeKind, Instance);
274bool DynTypedMatcher::canMatchNodesOfKind(ASTNodeKind Kind)
const {
275 return RestrictKind.isBaseOf(Kind);
278DynTypedMatcher DynTypedMatcher::dynCastTo(
const ASTNodeKind Kind)
const {
285bool DynTypedMatcher::matches(
const DynTypedNode &DynNode,
286 ASTMatchFinder *Finder,
287 BoundNodesTreeBuilder *Builder)
const {
288 TraversalKindScope RAII(Finder->getASTContext(),
289 Implementation->TraversalKind());
291 if (Finder->isTraversalIgnoringImplicitNodes() &&
292 Finder->IsMatchingInASTNodeNotSpelledInSource())
295 if (!Finder->isTraversalIgnoringImplicitNodes() &&
296 Finder->IsMatchingInASTNodeNotAsIs())
300 Finder->getASTContext().getParentMapContext().traverseIgnored(DynNode);
302 if (RestrictKind.isBaseOf(N.getNodeKind()) &&
303 Implementation->dynMatches(N, Finder, Builder)) {
309 Builder->removeBindings([](
const BoundNodesMap &) {
return true; });
313bool DynTypedMatcher::matchesNoKindCheck(
const DynTypedNode &DynNode,
314 ASTMatchFinder *Finder,
315 BoundNodesTreeBuilder *Builder)
const {
316 TraversalKindScope raii(Finder->getASTContext(),
317 Implementation->TraversalKind());
319 if (Finder->isTraversalIgnoringImplicitNodes() &&
320 Finder->IsMatchingInASTNodeNotSpelledInSource())
323 if (!Finder->isTraversalIgnoringImplicitNodes() &&
324 Finder->IsMatchingInASTNodeNotAsIs())
328 Finder->getASTContext().getParentMapContext().traverseIgnored(DynNode);
330 assert(RestrictKind.isBaseOf(N.getNodeKind()));
331 if (Implementation->dynMatches(N, Finder, Builder)) {
337 Builder->removeBindings([](
const BoundNodesMap &) {
return true; });
341std::optional<DynTypedMatcher> DynTypedMatcher::tryBind(StringRef ID)
const {
346 new IdDynMatcher(ID, std::move(
Result.Implementation));
350bool DynTypedMatcher::canConvertTo(ASTNodeKind To)
const {
351 const auto From = getSupportedKind();
356 if (From.isSame(TypeKind) && To.isSame(QualKind))
return true;
358 return From.isBaseOf(To);
361void BoundNodesTreeBuilder::addMatch(
const BoundNodesTreeBuilder &
Other) {
366 ASTMatchFinder *Finder,
367 BoundNodesTreeBuilder *Builder,
369 if (InnerMatchers.size() != 1)
382 BoundNodesTreeBuilder Discard(*Builder);
383 return !InnerMatchers[0].matches(DynNode, Finder, &Discard);
387 ASTMatchFinder *Finder,
388 BoundNodesTreeBuilder *Builder,
393 return llvm::all_of(InnerMatchers, [&](
const DynTypedMatcher &InnerMatcher) {
394 return InnerMatcher.matchesNoKindCheck(DynNode, Finder, Builder);
399 ASTMatchFinder *Finder,
400 BoundNodesTreeBuilder *Builder,
402 BoundNodesTreeBuilder
Result;
403 bool Matched =
false;
404 for (
const DynTypedMatcher &InnerMatcher : InnerMatchers) {
405 BoundNodesTreeBuilder BuilderInner(*Builder);
406 if (InnerMatcher.matches(DynNode, Finder, &BuilderInner)) {
408 Result.addMatch(BuilderInner);
411 *Builder = std::move(
Result);
416 ASTMatchFinder *Finder,
417 BoundNodesTreeBuilder *Builder,
419 for (
const DynTypedMatcher &InnerMatcher : InnerMatchers) {
420 BoundNodesTreeBuilder
Result = *Builder;
421 if (InnerMatcher.matches(DynNode, Finder, &
Result)) {
422 *Builder = std::move(
Result);
431 BoundNodesTreeBuilder *Builder,
433 if (InnerMatchers.size() != 1)
436 BoundNodesTreeBuilder
Result(*Builder);
437 if (InnerMatchers[0].matches(DynNode, Finder, &
Result))
438 *Builder = std::move(
Result);
444 std::vector<std::string> Names;
445 Names.reserve(NameRefs.size());
446 for (
auto *Name : NameRefs)
447 Names.emplace_back(*Name);
452 return internal::Matcher<NamedDecl>(
465HasOverloadOpNameMatcher
470HasNameMatcher::HasNameMatcher(std::vector<std::string> N)
471 : UseUnqualifiedMatch(
472 llvm::all_of(N, [](StringRef Name) {
return !Name.contains(
"::"); })),
473 Names(std::move(N)) {
475 for (StringRef Name : Names)
476 assert(!Name.empty());
481 StringRef Name = FullName;
482 if (!Name.ends_with(Suffix))
484 Name = Name.drop_back(Suffix.size());
486 if (!Name.ends_with(
"::"))
488 Name = Name.drop_back(2);
503 llvm::raw_svector_ostream OS(Scratch);
508 return "(anonymous)";
517 return (
"(anonymous " + Node.
getKindName() +
")").toStringRef(Scratch);
530 Patterns.reserve(Names.size());
531 for (StringRef Name : Names)
532 Patterns.push_back({Name, Name.starts_with(
"::")});
538 bool consumeNameSuffix(StringRef NodeName,
bool CanSkip) {
546 for (
size_t I = 0, E = Patterns.size(); I != E; ++I) {
547 StringRef Pattern = Patterns[I].P;
548 if (ast_matchers::internal::consumeNameSuffix(Patterns[I].P, NodeName))
549 Patterns.push_back({Pattern, Patterns[I].IsFullyQualified});
552 llvm::erase_if(Patterns, [&NodeName](
auto &Pattern) {
557 return !Patterns.empty();
563 bool foundMatch(
bool AllowFullyQualified)
const {
564 return llvm::any_of(Patterns, [&](
const Pattern &Pattern) {
565 return Pattern.P.empty() &&
566 (AllowFullyQualified || !Pattern.IsFullyQualified);
573 bool IsFullyQualified;
576 llvm::SmallVector<Pattern, 8> Patterns;
581bool HasNameMatcher::matchesNodeUnqualified(
const NamedDecl &Node)
const {
582 assert(UseUnqualifiedMatch);
583 llvm::SmallString<128> Scratch;
585 return llvm::any_of(Names, [&](StringRef Name) {
590bool HasNameMatcher::matchesNodeFullFast(
const NamedDecl &Node)
const {
591 PatternSet Patterns(Names);
592 llvm::SmallString<128> Scratch;
602 if (!Patterns.consumeNameSuffix(
getNodeName(Node, Scratch),
608 const DeclContext *Ctx = Node.getDeclContext();
610 if (Ctx->isFunctionOrMethod())
611 return Patterns.foundMatch(
false);
613 for (; Ctx; Ctx = Ctx->getParent()) {
620 if (Patterns.foundMatch(
false))
623 if (
const auto *ND = dyn_cast<NamespaceDecl>(Ctx)) {
625 if (Patterns.consumeNameSuffix(
getNodeName(*ND, Scratch),
626 ND->isAnonymousNamespace() ||
631 if (
const auto *RD = dyn_cast<RecordDecl>(Ctx)) {
633 if (Patterns.consumeNameSuffix(
getNodeName(*RD, Scratch),
643 return matchesNodeFullSlow(Node);
646 return Patterns.foundMatch(
true);
649bool HasNameMatcher::matchesNodeFullSlow(
const NamedDecl &Node)
const {
650 const bool SkipUnwrittenCases[] = {
false,
true};
651 for (
bool SkipUnwritten : SkipUnwrittenCases) {
652 llvm::SmallString<128> NodeName = StringRef(
"::");
653 llvm::raw_svector_ostream
OS(NodeName);
655 PrintingPolicy Policy = Node.getASTContext().getPrintingPolicy();
656 Policy.SuppressUnwrittenScope = SkipUnwritten;
657 Policy.SuppressInlineNamespace =
660 Node.printQualifiedName(OS, Policy);
662 const StringRef FullName =
OS.str();
664 for (
const StringRef Pattern : Names) {
665 if (Pattern.starts_with(
"::")) {
666 if (FullName == Pattern)
668 }
else if (FullName.ends_with(Pattern) &&
669 FullName.drop_back(Pattern.size()).ends_with(
"::")) {
678bool HasNameMatcher::matchesNode(
const NamedDecl &Node)
const {
679 assert(matchesNodeFullFast(Node) == matchesNodeFullSlow(Node));
680 if (UseUnqualifiedMatch) {
681 assert(matchesNodeUnqualified(Node) == matchesNodeFullFast(Node));
682 return matchesNodeUnqualified(Node);
684 return matchesNodeFullFast(Node);
701 llvm::DenseSet<SourceLocation> &CheckedLocations) {
702 auto &
SM = Context.getSourceManager();
703 const LangOptions &LangOpts = Context.getLangOpts();
705 if (CheckedLocations.count(Loc))
707 CheckedLocations.insert(Loc);
709 SM.getSLocEntry(
SM.getFileID(Loc)).getExpansion();
713 if (std::optional<SourceLocation> ArgLoc =
716 Context, CheckedLocations)) {
727std::optional<SourceLocation>
730 llvm::DenseSet<SourceLocation> CheckedLocations;
736 llvm::Regex::RegexFlags Flags,
737 StringRef MatcherID) {
738 assert(!Regex.empty() &&
"Empty regex string");
739 auto SharedRegex = std::make_shared<llvm::Regex>(Regex, Flags);
741 if (!SharedRegex->isValid(
Error)) {
742 llvm::WithColor::error()
743 <<
"building matcher '" << MatcherID <<
"': " <<
Error <<
"\n";
744 llvm::WithColor::note() <<
" input was '" << Regex <<
"'\n";
750const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAutoreleasePoolStmt>
752const internal::VariadicDynCastAllOfMatcher<Decl, TranslationUnitDecl>
754const internal::VariadicDynCastAllOfMatcher<Decl, TypedefDecl>
typedefDecl;
755const internal::VariadicDynCastAllOfMatcher<Decl, TypedefNameDecl>
757const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasDecl>
typeAliasDecl;
758const internal::VariadicDynCastAllOfMatcher<Decl, UsingShadowDecl>
760const internal::VariadicDynCastAllOfMatcher<Decl, TypeAliasTemplateDecl>
762const internal::VariadicAllOfMatcher<Decl>
decl;
764const internal::VariadicDynCastAllOfMatcher<Decl, BindingDecl>
bindingDecl;
765const internal::VariadicDynCastAllOfMatcher<Decl, LinkageSpecDecl>
767const internal::VariadicDynCastAllOfMatcher<Decl, NamedDecl>
namedDecl;
768const internal::VariadicDynCastAllOfMatcher<Decl, LabelDecl>
labelDecl;
769const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceDecl>
namespaceDecl;
770const internal::VariadicDynCastAllOfMatcher<Decl, NamespaceAliasDecl>
772const internal::VariadicDynCastAllOfMatcher<Decl, RecordDecl>
recordDecl;
773const internal::VariadicDynCastAllOfMatcher<Decl, CXXRecordDecl>
cxxRecordDecl;
774const internal::VariadicDynCastAllOfMatcher<Decl, ClassTemplateDecl>
776const internal::VariadicDynCastAllOfMatcher<
Decl,
779const internal::VariadicDynCastAllOfMatcher<
782const internal::VariadicDynCastAllOfMatcher<Decl, DeclaratorDecl>
784const internal::VariadicDynCastAllOfMatcher<Decl, ParmVarDecl>
parmVarDecl;
785const internal::VariadicDynCastAllOfMatcher<Decl, AccessSpecDecl>
792const internal::VariadicDynCastAllOfMatcher<Decl, NonTypeTemplateParmDecl>
794const internal::VariadicDynCastAllOfMatcher<Decl, TemplateTypeParmDecl>
796const internal::VariadicDynCastAllOfMatcher<Decl, TemplateTemplateParmDecl>
800const internal::VariadicAllOfMatcher<QualType>
qualType;
801const internal::VariadicAllOfMatcher<Type>
type;
802const internal::VariadicAllOfMatcher<TypeLoc>
typeLoc;
804const internal::VariadicDynCastAllOfMatcher<TypeLoc, QualifiedTypeLoc>
806const internal::VariadicDynCastAllOfMatcher<TypeLoc, PointerTypeLoc>
808const internal::VariadicDynCastAllOfMatcher<TypeLoc, ReferenceTypeLoc>
810const internal::VariadicDynCastAllOfMatcher<
TypeLoc,
814const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryExprOrTypeTraitExpr>
816const internal::VariadicDynCastAllOfMatcher<Decl, ExportDecl>
exportDecl;
817const internal::VariadicDynCastAllOfMatcher<Decl, ValueDecl>
valueDecl;
818const internal::VariadicDynCastAllOfMatcher<Decl, CXXConstructorDecl>
820const internal::VariadicDynCastAllOfMatcher<Decl, CXXDestructorDecl>
822const internal::VariadicDynCastAllOfMatcher<Decl, EnumDecl>
enumDecl;
823const internal::VariadicDynCastAllOfMatcher<Decl, EnumConstantDecl>
825const internal::VariadicDynCastAllOfMatcher<Decl, TagDecl>
tagDecl;
826const internal::VariadicDynCastAllOfMatcher<Decl, CXXMethodDecl>
cxxMethodDecl;
827const internal::VariadicDynCastAllOfMatcher<Decl, CXXConversionDecl>
829const internal::VariadicDynCastAllOfMatcher<Decl, ConceptDecl>
conceptDecl;
830const internal::VariadicDynCastAllOfMatcher<Expr, RequiresExpr>
requiresExpr;
831const internal::VariadicDynCastAllOfMatcher<Decl, RequiresExprBodyDecl>
833const internal::VariadicDynCastAllOfMatcher<Decl, VarDecl>
varDecl;
834const internal::VariadicDynCastAllOfMatcher<Decl, FieldDecl>
fieldDecl;
835const internal::VariadicDynCastAllOfMatcher<Decl, IndirectFieldDecl>
837const internal::VariadicDynCastAllOfMatcher<Decl, FunctionDecl>
functionDecl;
838const internal::VariadicDynCastAllOfMatcher<Decl, FunctionTemplateDecl>
840const internal::VariadicDynCastAllOfMatcher<Decl, FriendDecl>
friendDecl;
841const internal::VariadicAllOfMatcher<Stmt>
stmt;
842const internal::VariadicDynCastAllOfMatcher<Stmt, DeclStmt>
declStmt;
843const internal::VariadicDynCastAllOfMatcher<Stmt, MemberExpr>
memberExpr;
844const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedMemberExpr>
846const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDependentScopeMemberExpr>
848const internal::VariadicDynCastAllOfMatcher<Stmt, CallExpr>
callExpr;
849const internal::VariadicDynCastAllOfMatcher<Stmt, LambdaExpr>
lambdaExpr;
850const internal::VariadicDynCastAllOfMatcher<Stmt, CXXMemberCallExpr>
852const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCMessageExpr>
854const internal::VariadicDynCastAllOfMatcher<Decl, ObjCInterfaceDecl>
856const internal::VariadicDynCastAllOfMatcher<Decl, ObjCImplementationDecl>
858const internal::VariadicDynCastAllOfMatcher<Decl, ObjCProtocolDecl>
860const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryDecl>
862const internal::VariadicDynCastAllOfMatcher<Decl, ObjCCategoryImplDecl>
864const internal::VariadicDynCastAllOfMatcher<Decl, ObjCMethodDecl>
866const internal::VariadicDynCastAllOfMatcher<Decl, BlockDecl>
868const internal::VariadicDynCastAllOfMatcher<Decl, ObjCIvarDecl>
objcIvarDecl;
869const internal::VariadicDynCastAllOfMatcher<Decl, ObjCPropertyDecl>
871const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtThrowStmt>
873const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtTryStmt>
objcTryStmt;
874const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtCatchStmt>
876const internal::VariadicDynCastAllOfMatcher<Stmt, ObjCAtFinallyStmt>
878const internal::VariadicDynCastAllOfMatcher<Stmt, ExprWithCleanups>
880const internal::VariadicDynCastAllOfMatcher<Stmt, InitListExpr>
initListExpr;
881const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStdInitializerListExpr>
883const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitValueInitExpr>
885const internal::VariadicDynCastAllOfMatcher<Stmt, ParenListExpr>
parenListExpr;
886const internal::VariadicDynCastAllOfMatcher<Stmt, SubstNonTypeTemplateParmExpr>
888const internal::VariadicDynCastAllOfMatcher<Decl, UsingDecl>
usingDecl;
889const internal::VariadicDynCastAllOfMatcher<Decl, UsingEnumDecl>
usingEnumDecl;
890const internal::VariadicDynCastAllOfMatcher<Decl, UsingDirectiveDecl>
892const internal::VariadicDynCastAllOfMatcher<Stmt, UnresolvedLookupExpr>
894const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingValueDecl>
896const internal::VariadicDynCastAllOfMatcher<Decl, UnresolvedUsingTypenameDecl>
898const internal::VariadicDynCastAllOfMatcher<Stmt, ConstantExpr>
constantExpr;
899const internal::VariadicDynCastAllOfMatcher<Stmt, ParenExpr>
parenExpr;
900const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstructExpr>
902const internal::VariadicDynCastAllOfMatcher<Stmt, CXXUnresolvedConstructExpr>
904const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThisExpr>
cxxThisExpr;
905const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBindTemporaryExpr>
907const internal::VariadicDynCastAllOfMatcher<Stmt, MaterializeTemporaryExpr>
909const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr>
cxxNewExpr;
910const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr>
cxxDeleteExpr;
911const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNoexceptExpr>
913const internal::VariadicDynCastAllOfMatcher<Stmt, ArraySubscriptExpr>
915const internal::VariadicDynCastAllOfMatcher<Stmt, ArrayInitIndexExpr>
917const internal::VariadicDynCastAllOfMatcher<Stmt, ArrayInitLoopExpr>
919const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDefaultArgExpr>
921const internal::VariadicDynCastAllOfMatcher<Stmt, CXXOperatorCallExpr>
923const internal::VariadicDynCastAllOfMatcher<Stmt, CXXRewrittenBinaryOperator>
925const internal::VariadicDynCastAllOfMatcher<Stmt, CXXFoldExpr>
cxxFoldExpr;
926const internal::VariadicDynCastAllOfMatcher<Stmt, Expr>
expr;
927const internal::VariadicDynCastAllOfMatcher<Stmt, DeclRefExpr>
declRefExpr;
928const internal::VariadicDynCastAllOfMatcher<Stmt, DependentScopeDeclRefExpr>
931const internal::VariadicDynCastAllOfMatcher<Stmt, BlockExpr>
blockExpr;
932const internal::VariadicDynCastAllOfMatcher<Stmt, IfStmt>
ifStmt;
933const internal::VariadicDynCastAllOfMatcher<Stmt, ForStmt>
forStmt;
934const internal::VariadicDynCastAllOfMatcher<Stmt, CXXForRangeStmt>
936const internal::VariadicDynCastAllOfMatcher<Stmt, WhileStmt>
whileStmt;
937const internal::VariadicDynCastAllOfMatcher<Stmt, DoStmt>
doStmt;
938const internal::VariadicDynCastAllOfMatcher<Stmt, BreakStmt>
breakStmt;
939const internal::VariadicDynCastAllOfMatcher<Stmt, ContinueStmt>
continueStmt;
940const internal::VariadicDynCastAllOfMatcher<Stmt, CoreturnStmt>
coreturnStmt;
941const internal::VariadicDynCastAllOfMatcher<Stmt, ReturnStmt>
returnStmt;
942const internal::VariadicDynCastAllOfMatcher<Stmt, GotoStmt>
gotoStmt;
943const internal::VariadicDynCastAllOfMatcher<Stmt, LabelStmt>
labelStmt;
944const internal::VariadicDynCastAllOfMatcher<Stmt, AddrLabelExpr>
addrLabelExpr;
945const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchStmt>
switchStmt;
946const internal::VariadicDynCastAllOfMatcher<Stmt, SwitchCase>
switchCase;
947const internal::VariadicDynCastAllOfMatcher<Stmt, CaseStmt>
caseStmt;
948const internal::VariadicDynCastAllOfMatcher<Stmt, DefaultStmt>
defaultStmt;
949const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundStmt>
compoundStmt;
950const internal::VariadicDynCastAllOfMatcher<Stmt, CoroutineBodyStmt>
952const internal::VariadicDynCastAllOfMatcher<Stmt, CXXCatchStmt>
cxxCatchStmt;
953const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTryStmt>
cxxTryStmt;
954const internal::VariadicDynCastAllOfMatcher<Stmt, CXXThrowExpr>
cxxThrowExpr;
955const internal::VariadicDynCastAllOfMatcher<Stmt, NullStmt>
nullStmt;
956const internal::VariadicDynCastAllOfMatcher<Stmt, AsmStmt>
asmStmt;
957const internal::VariadicDynCastAllOfMatcher<Stmt, CXXBoolLiteralExpr>
959const internal::VariadicDynCastAllOfMatcher<Stmt, StringLiteral>
stringLiteral;
961const internal::VariadicDynCastAllOfMatcher<Stmt, CharacterLiteral>
963const internal::VariadicDynCastAllOfMatcher<Stmt, IntegerLiteral>
965const internal::VariadicDynCastAllOfMatcher<Stmt, FloatingLiteral>
floatLiteral;
967const internal::VariadicDynCastAllOfMatcher<Stmt, FixedPointLiteral>
969const internal::VariadicDynCastAllOfMatcher<Stmt, UserDefinedLiteral>
971const internal::VariadicDynCastAllOfMatcher<Stmt, CompoundLiteralExpr>
973const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNullPtrLiteralExpr>
975const internal::VariadicDynCastAllOfMatcher<Stmt, ChooseExpr>
chooseExpr;
976const internal::VariadicDynCastAllOfMatcher<Stmt, ConvertVectorExpr>
978const internal::VariadicDynCastAllOfMatcher<Stmt, CoawaitExpr>
980const internal::VariadicDynCastAllOfMatcher<Stmt, DependentCoawaitExpr>
982const internal::VariadicDynCastAllOfMatcher<Stmt, CoyieldExpr>
984const internal::VariadicDynCastAllOfMatcher<Stmt, GNUNullExpr>
gnuNullExpr;
985const internal::VariadicDynCastAllOfMatcher<Stmt, GenericSelectionExpr>
987const internal::VariadicDynCastAllOfMatcher<Stmt, AtomicExpr>
atomicExpr;
988const internal::VariadicDynCastAllOfMatcher<Stmt, StmtExpr>
stmtExpr;
989const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryOperator>
994const internal::MapAnyOfMatcher<CallExpr, CXXConstructExpr>
invocation;
995const internal::VariadicDynCastAllOfMatcher<Stmt, UnaryOperator>
unaryOperator;
996const internal::VariadicDynCastAllOfMatcher<Stmt, ConditionalOperator>
998const internal::VariadicDynCastAllOfMatcher<Stmt, BinaryConditionalOperator>
1000const internal::VariadicDynCastAllOfMatcher<Stmt, OpaqueValueExpr>
1002const internal::VariadicDynCastAllOfMatcher<Decl, StaticAssertDecl>
1004const internal::VariadicDynCastAllOfMatcher<Stmt, CXXReinterpretCastExpr>
1006const internal::VariadicDynCastAllOfMatcher<Stmt, CXXStaticCastExpr>
1008const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDynamicCastExpr>
1010const internal::VariadicDynCastAllOfMatcher<Stmt, CXXConstCastExpr>
1012const internal::VariadicDynCastAllOfMatcher<Stmt, CStyleCastExpr>
1014const internal::VariadicDynCastAllOfMatcher<Stmt, ExplicitCastExpr>
1016const internal::VariadicDynCastAllOfMatcher<Stmt, ImplicitCastExpr>
1018const internal::VariadicDynCastAllOfMatcher<Stmt, CastExpr>
castExpr;
1019const internal::VariadicDynCastAllOfMatcher<Stmt, CXXFunctionalCastExpr>
1021const internal::VariadicDynCastAllOfMatcher<Stmt, CXXTemporaryObjectExpr>
1023const internal::VariadicDynCastAllOfMatcher<Stmt, PredefinedExpr>
1025const internal::VariadicDynCastAllOfMatcher<Stmt, DesignatedInitExpr>
1027const internal::VariadicOperatorMatcherFunc<
1028 2, std::numeric_limits<unsigned>::max()>
1029 eachOf = {internal::DynTypedMatcher::VO_EachOf};
1030const internal::VariadicOperatorMatcherFunc<
1031 2, std::numeric_limits<unsigned>::max()>
1032 anyOf = {internal::DynTypedMatcher::VO_AnyOf};
1033const internal::VariadicOperatorMatcherFunc<
1034 2, std::numeric_limits<unsigned>::max()>
1035 allOf = {internal::DynTypedMatcher::VO_AllOf};
1037 internal::DynTypedMatcher::VO_Optionally};
1038const internal::VariadicFunction<internal::Matcher<NamedDecl>, StringRef,
1039 internal::hasAnyNameFunc>
1042const internal::VariadicFunction<internal::HasOpNameMatcher, StringRef,
1043 internal::hasAnyOperatorNameFunc>
1045const internal::VariadicFunction<internal::HasOverloadOpNameMatcher, StringRef,
1046 internal::hasAnyOverloadedOperatorNameFunc>
1048const internal::VariadicFunction<internal::Matcher<ObjCMessageExpr>, StringRef,
1049 internal::hasAnySelectorFunc>
1051const internal::ArgumentAdaptingMatcherFunc<internal::HasMatcher>
has = {};
1052const internal::ArgumentAdaptingMatcherFunc<internal::HasDescendantMatcher>
1054const internal::ArgumentAdaptingMatcherFunc<internal::ForEachMatcher>
forEach =
1056const internal::ArgumentAdaptingMatcherFunc<internal::ForEachDescendantMatcher>
1058const internal::ArgumentAdaptingMatcherFunc<
1059 internal::HasParentMatcher,
1060 internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>,
1061 internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>>
1063const internal::ArgumentAdaptingMatcherFunc<
1064 internal::HasAncestorMatcher,
1065 internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>,
1066 internal::TypeList<Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr>>
1068const internal::VariadicOperatorMatcherFunc<1, 1>
unless = {
1069 internal::DynTypedMatcher::VO_UnaryNot};
1071const internal::VariadicAllOfMatcher<NestedNameSpecifierLoc>
1073const internal::VariadicAllOfMatcher<Attr>
attr;
1074const internal::VariadicDynCastAllOfMatcher<Stmt, CUDAKernelCallExpr>
1080const AstTypeMatcher<DeducedTemplateSpecializationType>
1123const internal::VariadicDynCastAllOfMatcher<Stmt, OMPExecutableDirective>
1125const internal::VariadicDynCastAllOfMatcher<OMPClause, OMPDefaultClause>
1127const internal::VariadicDynCastAllOfMatcher<Decl, CXXDeductionGuideDecl>
Defines the clang::ASTContext interface.
#define AST_POLYMORPHIC_SUPPORTED_TYPES(...)
Construct a type-list to be passed to the AST_POLYMORPHIC_MATCHER* macros.
#define AST_TYPELOC_TRAVERSE_MATCHER_DEF(MatcherName, ReturnTypesF)
#define AST_MATCHER_P(Type, DefineMatcher, ParamType, Param)
AST_MATCHER_P(Type, DefineMatcher, ParamType, Param) { ... } defines a single-parameter function name...
Defines the C++ template declaration subclasses.
Defines Expressions and AST nodes for C++2a concepts.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
llvm::SmallVector< std::pair< const MemRegion *, SVal >, 4 > Bindings
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
static ASTNodeKind getMostDerivedType(ASTNodeKind Kind1, ASTNodeKind Kind2)
Return the most derived type between Kind1 and Kind2.
static constexpr ASTNodeKind getFromNodeKind()
Construct an identifier for T.
Represents an array type, per C99 6.7.5.2 - Array Declarators.
A builtin binary operation expression such as "x + y" or "x <= y".
Represents a path from a specific derived class (which is not represented as part of the path) to a p...
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
void setOrigin(const CXXRecordDecl *Rec)
Represents a base class of a C++ class.
A call to an overloaded operator written using operator syntax.
Represents a C++ struct/union/class.
bool lookupInBases(BaseMatchesCallback BaseMatches, CXXBasePaths &Paths, bool LookupInDependent=false) const
Look for entities within the base classes of this C++ class, transitively searching all base class su...
bool hasDefinition() const
A rewritten comparison expression that was originally written using operator syntax.
Represents a class template specialization, which refers to a class template with a given set of temp...
Complex values, per C99 6.2.5p11.
Decl - This represents one declaration (or definition), e.g.
A dynamically typed AST node container.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
static unsigned getSpelling(const Token &Tok, const char *&Buffer, const SourceManager &SourceMgr, const LangOptions &LangOpts, bool *Invalid=nullptr)
getSpelling - This method is used to get the spelling of a token into a preallocated buffer,...
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
virtual void printName(raw_ostream &OS, const PrintingPolicy &Policy) const
Pretty-print the unqualified name of this declaration.
Represent a C++ namespace.
bool isAnonymousNamespace() const
Returns true if this is an anonymous namespace declaration.
An expression that sends a message to the given Objective-C object or class.
Represents a pointer to an Objective C object.
PointerType - C99 6.7.5.1 - Pointer Declarators.
Represents a struct/union/class.
Base for LValueReferenceType and RValueReferenceType.
Encodes a location in the source.
This class handles loading and caching of source files into memory.
Each ExpansionInfo encodes the expansion location - where the token was ultimately expanded,...
SourceLocation getExpansionLocStart() const
SourceLocation getSpellingLoc() const
bool isMacroArgExpansion() const
StringRef getKindName() const
Base wrapper for a particular "section" of type source info.
Maps string IDs to AST nodes matched by parts of a matcher.
HasOverloadOpNameMatcher hasAnyOverloadedOperatorNameFunc(ArrayRef< const StringRef * > NameRefs)
static std::vector< std::string > vectorFromRefs(ArrayRef< const StringRef * > NameRefs)
std::shared_ptr< llvm::Regex > createAndVerifyRegex(StringRef Regex, llvm::Regex::RegexFlags Flags, StringRef MatcherID)
Matcher< ObjCMessageExpr > hasAnySelectorFunc(ArrayRef< const StringRef * > NameRefs)
static bool eachOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
static bool isTokenAtLoc(const SourceManager &SM, const LangOptions &LangOpts, StringRef Text, SourceLocation Loc)
static StringRef getNodeName(const NamedDecl &Node, llvm::SmallString< 128 > &Scratch)
static bool anyOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
static bool optionallyVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
Matcher< NamedDecl > hasAnyNameFunc(ArrayRef< const StringRef * > NameRefs)
HasOpNameMatcher hasAnyOperatorNameFunc(ArrayRef< const StringRef * > NameRefs)
static bool notUnaryOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
std::optional< SourceLocation > getExpansionLocOfMacro(StringRef MacroName, SourceLocation Loc, const ASTContext &Context)
static bool consumeNameSuffix(StringRef &FullName, StringRef Suffix)
bool matchesAnyBase(const CXXRecordDecl &Node, const Matcher< CXXBaseSpecifier > &BaseSpecMatcher, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder)
static std::optional< SourceLocation > getExpansionLocOfMacroRecursive(StringRef MacroName, SourceLocation Loc, const ASTContext &Context, llvm::DenseSet< SourceLocation > &CheckedLocations)
static bool allOfVariadicOperator(const DynTypedNode &DynNode, ASTMatchFinder *Finder, BoundNodesTreeBuilder *Builder, ArrayRef< DynTypedMatcher > InnerMatchers)
const internal::VariadicDynCastAllOfMatcher< Stmt, FixedPointLiteral > fixedPointLiteral
Matches fixed-point literals eg.
const internal::VariadicDynCastAllOfMatcher< Stmt, CStyleCastExpr > cStyleCastExpr
Matches a C-style cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, TagDecl > tagDecl
Matches tag declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXReinterpretCastExpr > cxxReinterpretCastExpr
Matches a reinterpret_cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, VarDecl > varDecl
Matches variable declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, StmtExpr > stmtExpr
Matches statement expression (GNU extension).
const internal::VariadicDynCastAllOfMatcher< Stmt, ExprWithCleanups > exprWithCleanups
Matches expressions that introduce cleanups to be run at the end of the sub-expression's evaluation.
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclRefExpr > declRefExpr
Matches expressions that refer to declarations.
const AstTypeMatcher< RValueReferenceType > rValueReferenceType
const internal::VariadicDynCastAllOfMatcher< TypeLoc, ReferenceTypeLoc > referenceTypeLoc
const internal::VariadicDynCastAllOfMatcher< TypeLoc, PointerTypeLoc > pointerTypeLoc
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefNameDecl > typedefNameDecl
Matches typedef name declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCIvarDecl > objcIvarDecl
Matches Objective-C instance variable declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasDecl > typeAliasDecl
Matches type alias declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingEnumDecl > usingEnumDecl
Matches using-enum declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConstantExpr > constantExpr
Matches a constant expression wrapper.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArrayInitLoopExpr > arrayInitLoopExpr
Matches a loop initializing the elements of an array in a number of contexts:
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCIvarRefExpr > objcIvarRefExpr
Matches a reference to an ObjCIvar.
const internal::VariadicOperatorMatcherFunc< 1, 1 > unless
Matches if the provided matcher does not match.
const internal::VariadicDynCastAllOfMatcher< Decl, ConceptDecl > conceptDecl
Matches concept declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoyieldExpr > coyieldExpr
Matches co_yield expressions.
const AstTypeMatcher< ObjCObjectPointerType > objcObjectPointerType
const AstTypeMatcher< DependentSizedArrayType > dependentSizedArrayType
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDeleteExpr > cxxDeleteExpr
Matches delete expressions.
const AstTypeMatcher< SubstTemplateTypeParmType > substTemplateTypeParmType
const internal::VariadicAllOfMatcher< TemplateName > templateName
Matches template name.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCProtocolDecl > objcProtocolDecl
Matches Objective-C protocol declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitCastExpr > implicitCastExpr
Matches the implicit cast nodes of Clang's AST.
const internal::VariadicOperatorMatcherFunc< 1, 1 > optionally
Matches any node regardless of the submatcher.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDecl > usingDecl
Matches using declarations.
const internal::ArgumentAdaptingMatcherFunc< internal::HasDescendantMatcher > hasDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher.
const AstTypeMatcher< BuiltinType > builtinType
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCPropertyDecl > objcPropertyDecl
Matches Objective-C property declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, StringLiteral > stringLiteral
Matches string literals (also matches wide string literals).
const internal::VariadicAllOfMatcher< CXXCtorInitializer > cxxCtorInitializer
Matches constructor initializers.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtFinallyStmt > objcFinallyStmt
Matches Objective-C @finally statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, AtomicExpr > atomicExpr
Matches atomic builtins.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoawaitExpr > coawaitExpr
Matches co_await expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumDecl > enumDecl
Matches enum declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConvertVectorExpr > convertVectorExpr
Matches builtin function __builtin_convertvector.
const internal::VariadicDynCastAllOfMatcher< Stmt, AddrLabelExpr > addrLabelExpr
Matches address of label statements (GNU extension).
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, PredefinedExpr > predefinedExpr
Matches predefined identifier expressions [C99 6.4.2.2].
const internal::VariadicDynCastAllOfMatcher< Stmt, DependentCoawaitExpr > dependentCoawaitExpr
Matches co_await expressions where the type of the promise is dependent.
const internal::VariadicDynCastAllOfMatcher< Stmt, BreakStmt > breakStmt
Matches break statements.
const internal::VariadicDynCastAllOfMatcher< Decl, BindingDecl > bindingDecl
Matches binding declarations Example matches foo and bar (matcher = bindingDecl()
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< OMPClause, OMPDefaultClause > ompDefaultClause
const AstTypeMatcher< DecayedType > decayedType
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCStringLiteral > objcStringLiteral
Matches ObjectiveC String literal expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCMethodDecl > objcMethodDecl
Matches Objective-C method declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, ParmVarDecl > parmVarDecl
Matches parameter variable declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXRewrittenBinaryOperator > cxxRewrittenBinaryOperator
Matches rewritten binary operators.
const AstTypeMatcher< VariableArrayType > variableArrayType
const internal::VariadicDynCastAllOfMatcher< Decl, TypedefDecl > typedefDecl
Matches typedef declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, GenericSelectionExpr > genericSelectionExpr
Matches C11 _Generic expression.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDeductionGuideDecl > cxxDeductionGuideDecl
Matches user-defined and implicitly generated deduction guide.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBoolLiteralExpr > cxxBoolLiteral
Matches bool literals.
const internal::VariadicAllOfMatcher< NestedNameSpecifier > nestedNameSpecifier
const internal::VariadicDynCastAllOfMatcher< Stmt, ReturnStmt > returnStmt
Matches return statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, AsmStmt > asmStmt
Matches asm statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDynamicCastExpr > cxxDynamicCastExpr
Matches a dynamic_cast expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoreturnStmt > coreturnStmt
Matches co_return statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CallExpr > callExpr
Matches call expressions.
const AstTypeMatcher< TagType > tagType
const internal::VariadicDynCastAllOfMatcher< Stmt, LambdaExpr > lambdaExpr
Matches lambda expressions.
const AstTypeMatcher< IncompleteArrayType > incompleteArrayType
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundStmt > compoundStmt
Matches compound statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, FloatingLiteral > floatLiteral
Matches float literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAutoreleasePoolStmt > autoreleasePoolStmt
Matches an Objective-C autorelease pool statement.
const internal::VariadicFunction< internal::PolymorphicMatcher< internal::HasOverloadedOperatorNameMatcher, AST_POLYMORPHIC_SUPPORTED_TYPES(CXXOperatorCallExpr, FunctionDecl), std::vector< std::string > >, StringRef, internal::hasAnyOverloadedOperatorNameFunc > hasAnyOverloadedOperatorName
Matches overloaded operator names.
const internal::VariadicDynCastAllOfMatcher< Decl, NonTypeTemplateParmDecl > nonTypeTemplateParmDecl
Matches non-type template parameter declarations.
const AstTypeMatcher< BlockPointerType > blockPointerType
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryExprOrTypeTraitExpr > unaryExprOrTypeTraitExpr
Matches sizeof (C99), alignof (C++11) and vec_step (OpenCL)
const internal::VariadicDynCastAllOfMatcher< Stmt, NullStmt > nullStmt
Matches null statements.
const AstTypeMatcher< DependentNameType > dependentNameType
const internal::VariadicAllOfMatcher< Attr > attr
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachDescendantMatcher > forEachDescendant
Matches AST nodes that have descendant AST nodes that match the provided matcher.
const internal::VariadicAllOfMatcher< CXXBaseSpecifier > cxxBaseSpecifier
Matches class bases.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXDefaultArgExpr > cxxDefaultArgExpr
Matches the value of a default argument at the call site.
const internal::VariadicAllOfMatcher< TemplateArgument > templateArgument
Matches template arguments.
const internal::ArgumentAdaptingMatcherFunc< internal::ForEachMatcher > forEach
Matches AST nodes that have child AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, CaseStmt > caseStmt
Matches case statements inside switch statements.
const internal::VariadicDynCastAllOfMatcher< Decl, NamedDecl > namedDecl
Matches a declaration of anything that could have a name.
const internal::VariadicFunction< internal::HasOpNameMatcher, StringRef, internal::hasAnyOperatorNameFunc > hasAnyOperatorName
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingTypenameDecl > unresolvedUsingTypenameDecl
Matches unresolved using value declarations that involve the typename.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicAllOfMatcher< TypeLoc > typeLoc
Matches TypeLocs in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenListExpr > parenListExpr
Matches paren list expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplatePartialSpecializationDecl > classTemplatePartialSpecializationDecl
Matches C++ class template partial specializations.
const internal::VariadicDynCastAllOfMatcher< Stmt, WhileStmt > whileStmt
Matches while statements.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryDecl > objcCategoryDecl
Matches Objective-C category 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 internal::VariadicDynCastAllOfMatcher< Decl, CXXConversionDecl > cxxConversionDecl
Matches conversion operator declarations.
const AstTypeMatcher< UsingType > usingType
const AstTypeMatcher< MacroQualifiedType > macroQualifiedType
const AstTypeMatcher< ParenType > parenType
const internal::VariadicDynCastAllOfMatcher< Decl, LabelDecl > labelDecl
Matches a declaration of label.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, QualifiedTypeLoc > qualifiedTypeLoc
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFunctionalCastExpr > cxxFunctionalCastExpr
Matches functional cast expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstCastExpr > cxxConstCastExpr
Matches a const_cast expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTemporaryObjectExpr > cxxTemporaryObjectExpr
Matches functional cast expressions having N != 1 arguments.
const AstTypeMatcher< ArrayType > arrayType
const internal::VariadicDynCastAllOfMatcher< Stmt, UnaryOperator > unaryOperator
Matches unary operator expressions.
const internal::VariadicFunction< internal::Matcher< NamedDecl >, StringRef, internal::hasAnyNameFunc > hasAnyName
Matches NamedDecl nodes that have any of the specified names.
const AstTypeMatcher< FunctionType > functionType
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCMessageExpr > objcMessageExpr
Matches ObjectiveC Message invocation expressions.
const internal::MapAnyOfMatcher< BinaryOperator, CXXOperatorCallExpr, CXXRewrittenBinaryOperator > binaryOperation
Matches nodes which can be used with binary operators.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArraySubscriptExpr > arraySubscriptExpr
Matches array subscript expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, AccessSpecDecl > accessSpecDecl
Matches C++ access specifier declarations.
const AstTypeMatcher< ComplexType > complexType
const AstTypeMatcher< LValueReferenceType > lValueReferenceType
const internal::VariadicDynCastAllOfMatcher< Decl, LinkageSpecDecl > linkageSpecDecl
Matches a declaration of a linkage specification.
const internal::VariadicDynCastAllOfMatcher< Stmt, GNUNullExpr > gnuNullExpr
Matches GNU __null expression.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXForRangeStmt > cxxForRangeStmt
Matches range-based for statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXMemberCallExpr > cxxMemberCallExpr
Matches member call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXConstructorDecl > cxxConstructorDecl
Matches C++ constructor declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, DependentScopeDeclRefExpr > dependentScopeDeclRefExpr
Matches expressions that refer to dependent scope declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, InitListExpr > initListExpr
Matches init list expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, TypeAliasTemplateDecl > typeAliasTemplateDecl
Matches type alias template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNoexceptExpr > cxxNoexceptExpr
Matches noexcept expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ArrayInitIndexExpr > arrayInitIndexExpr
The arrayInitIndexExpr consists of two subexpressions: a common expression (the source array) that is...
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNewExpr > cxxNewExpr
Matches new expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, EnumConstantDecl > enumConstantDecl
Matches enum constants.
const internal::VariadicDynCastAllOfMatcher< Stmt, ForStmt > forStmt
Matches for statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, GotoStmt > gotoStmt
Matches goto statements.
const AstTypeMatcher< AutoType > autoType
const AstTypeMatcher< MemberPointerType > memberPointerType
const internal::VariadicDynCastAllOfMatcher< Decl, DeclaratorDecl > declaratorDecl
Matches declarator declarations (field, variable, function and non-type template parameter declaratio...
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtCatchStmt > objcCatchStmt
Matches Objective-C @catch statements.
const AstTypeMatcher< FunctionProtoType > functionProtoType
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryOperator > binaryOperator
Matches binary operator expressions.
const AstTypeMatcher< TemplateTypeParmType > templateTypeParmType
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTypeParmDecl > templateTypeParmDecl
Matches template type parameter declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, BlockExpr > blockExpr
Matches a reference to a block.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionTemplateDecl > functionTemplateDecl
Matches C++ function template declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, ParenExpr > parenExpr
Matches parentheses used in expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, StaticAssertDecl > staticAssertDecl
Matches a C++ static_assert declaration.
const internal::ArgumentAdaptingMatcherFunc< internal::HasMatcher > has
Matches AST nodes that have child AST nodes that match the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, CoroutineBodyStmt > coroutineBodyStmt
Matches coroutine body statements.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCCategoryImplDecl > objcCategoryImplDecl
Matches Objective-C category definitions.
const internal::VariadicDynCastAllOfMatcher< Stmt, MaterializeTemporaryExpr > materializeTemporaryExpr
Matches nodes where temporaries are materialized.
const internal::VariadicDynCastAllOfMatcher< Stmt, BinaryConditionalOperator > binaryConditionalOperator
Matches binary conditional operator expressions (GNU extension).
const internal::VariadicDynCastAllOfMatcher< Stmt, OMPExecutableDirective > ompExecutableDirective
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtTryStmt > objcTryStmt
Matches Objective-C @try statements.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingShadowDecl > usingShadowDecl
Matches shadow declarations introduced into a scope by a (resolved) using declaration.
const internal::VariadicDynCastAllOfMatcher< Stmt, ExplicitCastExpr > explicitCastExpr
Matches explicit cast expressions.
const AstTypeMatcher< ConstantArrayType > constantArrayType
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStaticCastExpr > cxxStaticCastExpr
Matches a C++ static_cast expression.
const internal::VariadicDynCastAllOfMatcher< Decl, ValueDecl > valueDecl
Matches any value declaration.
const internal::VariadicDynCastAllOfMatcher< Decl, TranslationUnitDecl > translationUnitDecl
Matches the top declaration context.
const internal::VariadicAllOfMatcher< LambdaCapture > lambdaCapture
Matches lambda captures.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> eachOf
Matches if any of the given matchers matches.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXConstructExpr > cxxConstructExpr
Matches constructor call expressions (including implicit ones).
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCInterfaceDecl > objcInterfaceDecl
Matches Objective-C interface declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, TemplateTemplateParmDecl > templateTemplateParmDecl
Matches template template parameter declarations.
const internal::VariadicDynCastAllOfMatcher< TypeLoc, TemplateSpecializationTypeLoc > templateSpecializationTypeLoc
const internal::VariadicDynCastAllOfMatcher< Decl, FieldDecl > fieldDecl
Matches field declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, UserDefinedLiteral > userDefinedLiteral
Matches user defined literal operator call.
const internal::VariadicDynCastAllOfMatcher< Stmt, CUDAKernelCallExpr > cudaKernelCallExpr
const internal::VariadicDynCastAllOfMatcher< Stmt, ChooseExpr > chooseExpr
Matches GNU __builtin_choose_expr.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXOperatorCallExpr > cxxOperatorCallExpr
Matches overloaded operator calls.
const internal::VariadicDynCastAllOfMatcher< Decl, RequiresExprBodyDecl > requiresExprBodyDecl
Matches concept requirement body declaration.
const AstTypeMatcher< PointerType > pointerType
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceAliasDecl > namespaceAliasDecl
Matches a declaration of a namespace alias.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXBindTemporaryExpr > cxxBindTemporaryExpr
Matches nodes where temporaries are created.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchCase > switchCase
Matches case and default statements inside switch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, DefaultStmt > defaultStmt
Matches default statements inside switch statements.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> allOf
Matches if all given matchers match.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateSpecializationDecl > classTemplateSpecializationDecl
Matches C++ class template specializations.
const internal::VariadicDynCastAllOfMatcher< Decl, DecompositionDecl > decompositionDecl
Matches decomposition-declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, FunctionDecl > functionDecl
Matches function declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, UnresolvedMemberExpr > unresolvedMemberExpr
Matches unresolved member expressions.
const AstTypeMatcher< RecordType > recordType
const AstTypeMatcher< DeducedTemplateSpecializationType > deducedTemplateSpecializationType
const internal::VariadicDynCastAllOfMatcher< Stmt, ObjCAtThrowStmt > objcThrowStmt
Matches Objective-C @throw statements.
const internal::MapAnyOfMatcher< CallExpr, CXXConstructExpr > invocation
Matches function calls and constructor calls.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThrowExpr > cxxThrowExpr
Matches throw expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, SwitchStmt > switchStmt
Matches switch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, MemberExpr > memberExpr
Matches member expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXRecordDecl > cxxRecordDecl
Matches C++ class declarations.
const internal::VariadicAllOfMatcher< TemplateArgumentLoc > templateArgumentLoc
Matches template arguments (with location info).
const AstTypeMatcher< UnaryTransformType > unaryTransformType
const internal::VariadicDynCastAllOfMatcher< Stmt, DesignatedInitExpr > designatedInitExpr
Matches C99 designated initializer expressions [C99 6.7.8].
const internal::VariadicAllOfMatcher< Decl > decl
Matches declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXDestructorDecl > cxxDestructorDecl
Matches explicit C++ destructor declarations.
const AstTypeMatcher< DecltypeType > decltypeType
const AstTypeMatcher< AtomicType > atomicType
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXUnresolvedConstructExpr > cxxUnresolvedConstructExpr
Matches unresolved constructor call expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, ObjCImplementationDecl > objcImplementationDecl
Matches Objective-C implementation declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, RecordDecl > recordDecl
Matches class, struct, and union declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, IntegerLiteral > integerLiteral
Matches integer literals of all sizes / encodings, e.g.
const internal::VariadicDynCastAllOfMatcher< Decl, ExportDecl > exportDecl
Matches any export declaration.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImplicitValueInitExpr > implicitValueInitExpr
Matches implicit initializers of init list expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, DoStmt > doStmt
Matches do statements.
const internal::VariadicDynCastAllOfMatcher< Decl, NamespaceDecl > namespaceDecl
Matches a declaration of a namespace.
const AstTypeMatcher< DependentSizedExtVectorType > dependentSizedExtVectorType
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXNullPtrLiteralExpr > cxxNullPtrLiteralExpr
Matches nullptr literal.
const AstTypeMatcher< TypedefType > typedefType
const internal::VariadicDynCastAllOfMatcher< Stmt, DeclStmt > declStmt
Matches declaration statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CompoundLiteralExpr > compoundLiteralExpr
Matches compound (i.e.
const AstTypeMatcher< EnumType > enumType
const internal::VariadicDynCastAllOfMatcher< Stmt, LabelStmt > labelStmt
Matches label statements.
const internal::VariadicAllOfMatcher< Stmt > stmt
Matches statements.
const internal::VariadicDynCastAllOfMatcher< Decl, FriendDecl > friendDecl
Matches friend declarations.
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CharacterLiteral > characterLiteral
Matches character literals (also matches wchar_t).
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXFoldExpr > cxxFoldExpr
Matches C++17 fold expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ConditionalOperator > conditionalOperator
Matches conditional operator expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXStdInitializerListExpr > cxxStdInitializerListExpr
Matches C++ initializer list expressions.
const internal::VariadicOperatorMatcherFunc< 2, std::numeric_limits< unsigned >::max()> anyOf
Matches if any of the given matchers matches.
const internal::VariadicDynCastAllOfMatcher< Stmt, OpaqueValueExpr > opaqueValueExpr
Matches opaque value expressions.
const internal::VariadicDynCastAllOfMatcher< Decl, IndirectFieldDecl > indirectFieldDecl
Matches indirect field declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, BlockDecl > blockDecl
Matches block declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, CXXMethodDecl > cxxMethodDecl
Matches method declarations.
const AstTypeMatcher< InjectedClassNameType > injectedClassNameType
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXCatchStmt > cxxCatchStmt
Matches catch statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang's AST.
const internal::VariadicAllOfMatcher< QualType > qualType
Matches QualTypes in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXTryStmt > cxxTryStmt
Matches try statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, SubstNonTypeTemplateParmExpr > substNonTypeTemplateParmExpr
Matches substitutions of non-type template parameters.
const internal::VariadicDynCastAllOfMatcher< Decl, UsingDirectiveDecl > usingDirectiveDecl
Matches using namespace declarations.
const internal::VariadicDynCastAllOfMatcher< Decl, UnresolvedUsingValueDecl > unresolvedUsingValueDecl
Matches unresolved using value declarations.
const AstTypeMatcher< TemplateSpecializationType > templateSpecializationType
const internal::ArgumentAdaptingMatcherFunc< internal::HasAncestorMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr > > hasAncestor
Matches AST nodes that have an ancestor that matches the provided matcher.
const internal::ArgumentAdaptingMatcherFunc< internal::HasParentMatcher, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr >, internal::TypeList< Decl, NestedNameSpecifierLoc, Stmt, TypeLoc, Attr > > hasParent
Matches AST nodes that have a parent that matches the provided matcher.
const internal::VariadicDynCastAllOfMatcher< Stmt, IfStmt > ifStmt
Matches if statements.
const internal::VariadicDynCastAllOfMatcher< Stmt, CXXThisExpr > cxxThisExpr
Matches implicit and explicit this expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, ImaginaryLiteral > imaginaryLiteral
Matches imaginary literals, which are based on integer and floating point literals e....
const AstTypeMatcher< ReferenceType > referenceType
const internal::VariadicDynCastAllOfMatcher< Stmt, ContinueStmt > continueStmt
Matches continue statements.
const internal::VariadicAllOfMatcher< NestedNameSpecifierLoc > nestedNameSpecifierLoc
const internal::VariadicDynCastAllOfMatcher< Expr, RequiresExpr > requiresExpr
Matches concept requirement.
const internal::VariadicDynCastAllOfMatcher< Decl, ClassTemplateDecl > classTemplateDecl
Matches C++ class template declarations.
@ OS
Indicates that the tracking object is a descendant of a referenced-counted OSObject,...
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
TraversalKind
Defines how we descend a level in the AST when we pass through expressions.
@ TK_IgnoreUnlessSpelledInSource
Ignore AST nodes not written in the source.
@ Result
The result type of a method or function.
@ Other
Other implicit parameter.
Diagnostic wrappers for TextAPI types for error reporting.