clang 22.0.0git
ASTNodeTraverser.h
Go to the documentation of this file.
1//===--- ASTNodeTraverser.h - Traversal of AST nodes ----------------------===//
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// This file implements the AST traversal facilities. Other users
10// of this class may make use of the same traversal logic by inheriting it,
11// similar to RecursiveASTVisitor.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_CLANG_AST_ASTNODETRAVERSER_H
16#define LLVM_CLANG_AST_ASTNODETRAVERSER_H
17
25#include "clang/AST/Type.h"
28#include "llvm/Support/SaveAndRestore.h"
29
30namespace clang {
31
32class APValue;
33
34/**
35
36ASTNodeTraverser traverses the Clang AST for dumping purposes.
37
38The `Derived::doGetNodeDelegate()` method is required to be an accessible member
39which returns a reference of type `NodeDelegateType &` which implements the
40following interface:
41
42struct {
43 template <typename Fn> void AddChild(Fn DoAddChild);
44 template <typename Fn> void AddChild(StringRef Label, Fn DoAddChild);
45
46 void Visit(const comments::Comment *C, const comments::FullComment *FC);
47 void Visit(const Attr *A);
48 void Visit(const TemplateArgument &TA, SourceRange R = {},
49 const Decl *From = nullptr, StringRef Label = {});
50 void Visit(const Stmt *Node);
51 void Visit(const Type *T);
52 void Visit(QualType T);
53 void Visit(TypeLoc);
54 void Visit(const Decl *D);
55 void Visit(const CXXCtorInitializer *Init);
56 void Visit(const OpenACCClause *C);
57 void Visit(const OMPClause *C);
58 void Visit(const BlockDecl::Capture &C);
59 void Visit(const GenericSelectionExpr::ConstAssociation &A);
60 void Visit(const concepts::Requirement *R);
61 void Visit(const APValue &Value, QualType Ty);
62};
63*/
64template <typename Derived, typename NodeDelegateType>
66 : public ConstDeclVisitor<Derived>,
67 public ConstStmtVisitor<Derived>,
68 public comments::ConstCommentVisitor<Derived, void,
69 const comments::FullComment *>,
70 public TypeVisitor<Derived>,
71 public TypeLocVisitor<Derived>,
72 public ConstAttrVisitor<Derived>,
73 public ConstTemplateArgumentVisitor<Derived> {
74
75 /// Indicates whether we should trigger deserialization of nodes that had
76 /// not already been loaded.
77 bool Deserialize = false;
78
79 /// Tracks whether we should dump TypeLocs etc.
80 ///
81 /// Detailed location information such as TypeLoc nodes is not usually
82 /// included in the dump (too verbose).
83 /// But when explicitly asked to dump a Loc node, we do so recursively,
84 /// including e.g. FunctionTypeLoc => ParmVarDecl => TypeLoc.
85 bool VisitLocs = false;
86
88
89 NodeDelegateType &getNodeDelegate() {
90 return getDerived().doGetNodeDelegate();
91 }
92 Derived &getDerived() { return *static_cast<Derived *>(this); }
93
94public:
95 void setDeserialize(bool D) { Deserialize = D; }
96 bool getDeserialize() const { return Deserialize; }
97
100
101 void Visit(const Decl *D, bool VisitLocs = false) {
102 if (Traversal == TK_IgnoreUnlessSpelledInSource && D && D->isImplicit())
103 return;
104
105 getNodeDelegate().AddChild([=] {
106 getNodeDelegate().Visit(D);
107 if (!D)
108 return;
109
110 {
111 llvm::SaveAndRestore RestoreVisitLocs(this->VisitLocs, VisitLocs);
113 }
114
115 for (const auto &A : D->attrs())
116 Visit(A);
117
118 if (const comments::FullComment *Comment =
119 D->getASTContext().getLocalCommentForDeclUncached(D))
120 Visit(Comment, Comment);
121
122 // Decls within functions are visited by the body.
123 if (!isa<FunctionDecl, ObjCMethodDecl, BlockDecl>(*D)) {
124 if (Traversal != TK_AsIs) {
125 if (const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(D)) {
126 auto SK = CTSD->getSpecializationKind();
129 return;
130 }
131 }
132 if (const auto *DC = dyn_cast<DeclContext>(D))
133 dumpDeclContext(DC);
134 }
135 });
136 }
137
138 void Visit(const Stmt *Node, StringRef Label = {}) {
139 getNodeDelegate().AddChild(Label, [=] {
140 const Stmt *S = Node;
141
142 if (auto *E = dyn_cast_or_null<Expr>(S)) {
143 switch (Traversal) {
144 case TK_AsIs:
145 break;
147 S = E->IgnoreUnlessSpelledInSource();
148 break;
149 }
150 }
151
152 getNodeDelegate().Visit(S);
153
154 if (!S) {
155 return;
156 }
157
159
160 // Some statements have custom mechanisms for dumping their children.
161 if (isa<DeclStmt, GenericSelectionExpr, RequiresExpr,
162 OpenACCWaitConstruct, SYCLKernelCallStmt>(S))
163 return;
164
165 if (Traversal == TK_IgnoreUnlessSpelledInSource &&
166 isa<LambdaExpr, CXXForRangeStmt, CallExpr,
167 CXXRewrittenBinaryOperator>(S))
168 return;
169
170 for (const Stmt *SubStmt : S->children())
171 Visit(SubStmt);
172 });
173 }
174
176 SplitQualType SQT = T.split();
177 if (!SQT.Quals.hasQualifiers())
178 return Visit(SQT.Ty);
179
180 getNodeDelegate().AddChild([=] {
181 getNodeDelegate().Visit(T);
182 Visit(T.split().Ty);
183 });
184 }
185
186 void Visit(const Type *T) {
187 getNodeDelegate().AddChild([=] {
188 getNodeDelegate().Visit(T);
189 if (!T)
190 return;
192
193 QualType SingleStepDesugar =
195 if (SingleStepDesugar != QualType(T, 0))
196 Visit(SingleStepDesugar);
197 });
198 }
199
201 getNodeDelegate().AddChild([=] {
202 getNodeDelegate().Visit(T);
203 if (T.isNull())
204 return;
206 if (auto Inner = T.getNextTypeLoc())
207 Visit(Inner);
208 });
209 }
210
211 void Visit(const Attr *A) {
212 getNodeDelegate().AddChild([=] {
213 getNodeDelegate().Visit(A);
215 });
216 }
217
219 if (Traversal == TK_IgnoreUnlessSpelledInSource && !Init->isWritten())
220 return;
221 getNodeDelegate().AddChild([=] {
222 getNodeDelegate().Visit(Init);
223 Visit(Init->getInit());
224 });
225 }
226
227 void Visit(const TemplateArgument &A, SourceRange R = {},
228 const Decl *From = nullptr, const char *Label = nullptr) {
229 getNodeDelegate().AddChild([=] {
230 getNodeDelegate().Visit(A, R, From, Label);
232 });
233 }
234
236 getNodeDelegate().AddChild([=] {
237 getNodeDelegate().Visit(C);
238 if (C.hasCopyExpr())
239 Visit(C.getCopyExpr());
240 });
241 }
242
243 void Visit(const OpenACCClause *C) {
244 getNodeDelegate().AddChild([=] {
245 getNodeDelegate().Visit(C);
246 for (const auto *S : C->children())
247 Visit(S);
248 });
249 }
250
251 void Visit(const OMPClause *C) {
252 getNodeDelegate().AddChild([=] {
253 getNodeDelegate().Visit(C);
254 for (const auto *S : C->children())
255 Visit(S);
256 });
257 }
258
260 getNodeDelegate().AddChild([=] {
261 getNodeDelegate().Visit(A);
262 if (const TypeSourceInfo *TSI = A.getTypeSourceInfo())
263 Visit(TSI->getType());
264 Visit(A.getAssociationExpr());
265 });
266 }
267
269 getNodeDelegate().AddChild([=] {
270 getNodeDelegate().Visit(R);
271 if (!R)
272 return;
273 if (auto *TR = dyn_cast<concepts::TypeRequirement>(R)) {
274 if (!TR->isSubstitutionFailure())
275 Visit(TR->getType()->getType().getTypePtr());
276 } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) {
277 if (!ER->isExprSubstitutionFailure())
278 Visit(ER->getExpr());
279 if (!ER->getReturnTypeRequirement().isEmpty())
280 Visit(ER->getReturnTypeRequirement()
281 .getTypeConstraint()
282 ->getImmediatelyDeclaredConstraint());
283 } else if (auto *NR = dyn_cast<concepts::NestedRequirement>(R)) {
284 if (!NR->hasInvalidConstraint())
285 Visit(NR->getConstraintExpr());
286 }
287 });
288 }
289
290 void Visit(const ConceptReference *R) {
291 getNodeDelegate().AddChild([=] { getNodeDelegate().Visit(R); });
292 }
293
294 void Visit(const APValue &Value, QualType Ty) {
295 getNodeDelegate().AddChild([=] { getNodeDelegate().Visit(Value, Ty); });
296 }
297
299 getNodeDelegate().AddChild([=] {
300 getNodeDelegate().Visit(C, FC);
301 if (!C) {
302 return;
303 }
304 comments::ConstCommentVisitor<Derived, void,
306 FC);
307 for (comments::Comment::child_iterator I = C->child_begin(),
308 E = C->child_end();
309 I != E; ++I)
310 Visit(*I, FC);
311 });
312 }
313
314 void Visit(const DynTypedNode &N) {
315 // FIXME: Improve this with a switch or a visitor pattern.
316 if (const auto *D = N.get<Decl>())
317 Visit(D);
318 else if (const auto *S = N.get<Stmt>())
319 Visit(S);
320 else if (const auto *QT = N.get<QualType>())
321 Visit(*QT);
322 else if (const auto *T = N.get<Type>())
323 Visit(T);
324 else if (const auto *TL = N.get<TypeLoc>())
325 Visit(*TL);
326 else if (const auto *C = N.get<CXXCtorInitializer>())
327 Visit(C);
328 else if (const auto *C = N.get<OMPClause>())
329 Visit(C);
330 else if (const auto *T = N.get<TemplateArgument>())
331 Visit(*T);
332 else if (const auto *CR = N.get<ConceptReference>())
333 Visit(CR);
334 }
335
336 void dumpDeclContext(const DeclContext *DC) {
337 if (!DC)
338 return;
339
340 for (const auto *D : (Deserialize ? DC->decls() : DC->noload_decls()))
341 Visit(D);
342 }
343
345 if (!TPL)
346 return;
347
348 for (const auto &TP : *TPL)
349 Visit(TP);
350
351 if (const Expr *RC = TPL->getRequiresClause())
352 Visit(RC);
353 }
354
355 void
357 if (!TALI)
358 return;
359
360 for (const auto &TA : TALI->arguments())
362 }
363
365 const Decl *From = nullptr,
366 const char *Label = nullptr) {
367 Visit(A.getArgument(), A.getSourceRange(), From, Label);
368 }
369
371 for (unsigned i = 0, e = TAL.size(); i < e; ++i)
372 Visit(TAL[i]);
373 }
374
375 void dumpObjCTypeParamList(const ObjCTypeParamList *typeParams) {
376 if (!typeParams)
377 return;
378
379 for (const auto &typeParam : *typeParams) {
380 Visit(typeParam);
381 }
382 }
383
384 void VisitComplexType(const ComplexType *T) { Visit(T->getElementType()); }
386 Visit(T->getTypeSourceInfo()->getTypeLoc());
387 }
391 }
394 }
396 // FIXME: Provide a NestedNameSpecifier visitor.
397 NestedNameSpecifier Qualifier = T->getQualifier();
398 if (NestedNameSpecifier::Kind K = Qualifier.getKind();
400 Visit(Qualifier.getAsType());
401 if (T->isSugared())
402 Visit(cast<MemberPointerType>(T->getCanonicalTypeUnqualified())
403 ->getQualifier()
404 .getAsType());
406 }
407 void VisitArrayType(const ArrayType *T) { Visit(T->getElementType()); }
410 Visit(T->getSizeExpr());
411 }
413 Visit(T->getElementType());
414 Visit(T->getSizeExpr());
415 }
417 Visit(T->getElementType());
418 Visit(T->getSizeExpr());
419 }
420 void VisitVectorType(const VectorType *T) { Visit(T->getElementType()); }
424 for (const QualType &PT : T->getParamTypes())
425 Visit(PT);
426 }
428 Visit(T->getUnderlyingExpr());
429 }
431 Visit(T->getUnderlyingExpr());
432 }
433
435 Visit(T->getPattern());
436 Visit(T->getIndexExpr());
437 }
438
440 Visit(T->getBaseType());
441 }
443 // FIXME: AttrKind
444 if (T->getModifiedType() != T->getEquivalentType())
445 Visit(T->getModifiedType());
446 }
448 Visit(T->getWrappedType());
449 }
451 QualType Contained = T->getContainedType();
452 if (!Contained.isNull())
453 Visit(Contained);
454 }
456 for (auto &Operand : T->getOperands()) {
457 using SpirvOperandKind = SpirvOperand::SpirvOperandKind;
458
459 switch (Operand.getKind()) {
460 case SpirvOperandKind::ConstantId:
461 case SpirvOperandKind::Literal:
462 break;
463
464 case SpirvOperandKind::TypeId:
465 Visit(Operand.getResultType());
466 break;
467
468 default:
469 llvm_unreachable("Invalid SpirvOperand kind!");
470 }
471 }
472 }
474 void
476 Visit(T->getArgumentPack());
477 }
479 for (const auto &Arg : T->template_arguments())
480 Visit(Arg);
481 }
484 }
485 void VisitAtomicType(const AtomicType *T) { Visit(T->getValueType()); }
486 void VisitPipeType(const PipeType *T) { Visit(T->getElementType()); }
487 void VisitAdjustedType(const AdjustedType *T) { Visit(T->getOriginalType()); }
489 if (!T->isSugared())
490 Visit(T->getPattern());
491 }
492 void VisitAutoType(const AutoType *T) {
493 for (const auto &Arg : T->getTypeConstraintArguments())
494 Visit(Arg);
495 }
496 // FIXME: ElaboratedType, DependentNameType,
497 // DependentTemplateSpecializationType, ObjCObjectType
498
499 // For TypeLocs, we automatically visit the inner type loc (pointee type etc).
500 // We must explicitly visit other lexically-nested nodes.
503 for (const auto *Param : TL.getParams())
504 Visit(Param, /*VisitTypeLocs=*/true);
505 }
507 if (const auto *CR = TL.getConceptReference()) {
508 if (auto *Args = CR->getTemplateArgsAsWritten())
509 for (const auto &Arg : Args->arguments())
511 }
512 }
514 // FIXME: Provide NestedNamespecifierLoc visitor.
516 }
518 Visit(TL.getSizeExpr());
519 }
521 Visit(TL.getSizeExpr());
522 }
524 Visit(cast<DependentSizedExtVectorType>(TL.getType())->getSizeExpr());
525 }
528 }
531 }
533 for (unsigned I=0, N=TL.getNumArgs(); I < N; ++I)
535 }
538 for (unsigned I=0, N=TL.getNumArgs(); I < N; ++I)
540 }
541
542 void VisitTypedefDecl(const TypedefDecl *D) { Visit(D->getUnderlyingType()); }
543
545 if (const Expr *Init = D->getInitExpr())
546 Visit(Init);
547 }
548
551 D->getTemplateSpecializationInfo())
552 dumpTemplateArgumentList(*FTSI->TemplateArguments);
554 D->getDependentSpecializationInfo())
555 dumpASTTemplateArgumentListInfo(DFTSI->TemplateArgumentsAsWritten);
556
557 if (D->param_begin())
558 for (const auto *Parameter : D->parameters())
560
561 if (const AssociatedConstraint &TRC = D->getTrailingRequiresClause())
562 Visit(TRC.ConstraintExpr);
563
564 if (Traversal == TK_IgnoreUnlessSpelledInSource && D->isDefaulted())
565 return;
566
567 if (const auto *C = dyn_cast<CXXConstructorDecl>(D))
568 for (const auto *I : C->inits())
569 Visit(I);
570
571 if (D->doesThisDeclarationHaveABody())
572 Visit(D->getBody());
573 }
574
576 if (D->isBitField())
577 Visit(D->getBitWidth());
578 if (Expr *Init = D->getInClassInitializer())
579 Visit(Init);
580 }
581
582 void VisitVarDecl(const VarDecl *D) {
583 if (Traversal == TK_IgnoreUnlessSpelledInSource && D->isCXXForRangeDecl())
584 return;
585
586 if (const auto *TSI = D->getTypeSourceInfo(); VisitLocs && TSI)
587 Visit(TSI->getTypeLoc());
588 if (D->hasInit())
589 Visit(D->getInit());
590 }
591
594 for (const auto *B : D->bindings())
595 Visit(B);
596 }
597
600 return;
601
602 if (const auto *V = D->getHoldingVar())
603 Visit(V);
604
605 if (const auto *E = D->getBinding())
606 Visit(E);
607 }
608
610 Visit(D->getAsmStringExpr());
611 }
612
613 void VisitTopLevelStmtDecl(const TopLevelStmtDecl *D) { Visit(D->getStmt()); }
614
616 for (const ImplicitParamDecl *Parameter : D->parameters())
618 Visit(D->getBody());
619 }
620
621 void VisitCapturedDecl(const CapturedDecl *D) { Visit(D->getBody()); }
622
624 for (const auto *E : D->varlist())
625 Visit(E);
626 }
627
629 Visit(D->getCombiner());
630 if (const auto *Initializer = D->getInitializer())
632 }
633
635 for (const auto *C : D->clauselists())
636 Visit(C);
637 }
638
640 Visit(D->getInit());
641 }
642
644 for (const auto *E : D->varlist())
645 Visit(E);
646 for (const auto *C : D->clauselists())
647 Visit(C);
648 }
649
650 template <typename SpecializationDecl>
651 void dumpTemplateDeclSpecialization(const SpecializationDecl *D) {
652 for (const auto *Redecl : D->redecls())
653 Visit(cast<SpecializationDecl>(Redecl));
654 }
655
656 template <typename TemplateDecl>
658 dumpTemplateParameters(D->getTemplateParameters());
659
660 Visit(D->getTemplatedDecl());
661
662 if (Traversal == TK_AsIs) {
663 for (const auto *Child : D->specializations())
665 }
666 }
667
669 Visit(D->getUnderlyingType());
670 }
671
673 dumpTemplateParameters(D->getTemplateParameters());
674 Visit(D->getTemplatedDecl());
675 }
676
678 Visit(D->getAssertExpr());
679 Visit(D->getMessage());
680 }
681
684 }
685
688 }
689
692 dumpTemplateArgumentList(D->getTemplateArgs());
693 }
694
698 dumpTemplateParameters(D->getTemplateParameters());
699 }
700
702
704 dumpTemplateParameters(D->getTemplateParameters());
705 }
706
707 void
709 dumpTemplateArgumentList(D->getTemplateArgs());
711 }
712
715 dumpTemplateParameters(D->getTemplateParameters());
717 }
718
720 if (const auto *TC = D->getTypeConstraint())
721 Visit(TC->getImmediatelyDeclaredConstraint());
722 if (D->hasDefaultArgument())
723 Visit(D->getDefaultArgument().getArgument(), SourceRange(),
724 D->getDefaultArgStorage().getInheritedFrom(),
725 D->defaultArgumentWasInherited() ? "inherited from" : "previous");
726 }
727
729 if (const auto *E = D->getPlaceholderTypeConstraint())
730 Visit(E);
731 if (D->hasDefaultArgument())
733 D->getDefaultArgument(), D->getDefaultArgStorage().getInheritedFrom(),
734 D->defaultArgumentWasInherited() ? "inherited from" : "previous");
735 }
736
738 dumpTemplateParameters(D->getTemplateParameters());
739 if (D->hasDefaultArgument())
741 D->getDefaultArgument(), D->getDefaultArgStorage().getInheritedFrom(),
742 D->defaultArgumentWasInherited() ? "inherited from" : "previous");
743 }
744
746 dumpTemplateParameters(D->getTemplateParameters());
747 Visit(D->getConstraintExpr());
748 }
749
752 for (const TemplateArgument &Arg : CSD->getTemplateArguments())
753 Visit(Arg);
754 }
755
758 if (CSE->hasExplicitTemplateArgs())
759 for (const auto &ArgLoc : CSE->getTemplateArgsAsWritten()->arguments())
761 }
762
764 Visit(D->getTargetDecl());
765 }
766
768 if (D->getFriendType()) {
769 // Traverse any CXXRecordDecl owned by this type, since
770 // it will not be in the parent context:
771 if (auto *TT = D->getFriendType()->getType()->getAs<TagType>())
772 if (TT->isTagOwned())
773 Visit(TT->getOriginalDecl());
774 } else {
775 Visit(D->getFriendDecl());
776 }
777 }
778
780 if (D->isThisDeclarationADefinition())
782 else
783 for (const ParmVarDecl *Parameter : D->parameters())
785
786 if (D->hasBody())
787 Visit(D->getBody());
788 }
789
791 dumpObjCTypeParamList(D->getTypeParamList());
792 }
793
795 dumpObjCTypeParamList(D->getTypeParamListAsWritten());
796 }
797
799 for (const auto &I : D->inits())
800 Visit(I);
801 }
802
804 for (const auto &I : D->parameters())
805 Visit(I);
806
807 for (const auto &I : D->captures())
808 Visit(I);
809 Visit(D->getBody());
810 }
811
813 for (const auto &D : Node->decls())
814 Visit(D);
815 }
816
818 for (const auto *A : Node->getAttrs())
819 Visit(A);
820 }
821
823 if (Node->getDecl()->hasAttrs()) {
824 for (const auto *A : Node->getDecl()->getAttrs())
825 Visit(A);
826 }
827 }
828
830 Visit(Node->getExceptionDecl());
831 }
832
834 Visit(Node->getCapturedDecl());
835 }
836
838 Visit(Node->getOriginalStmt());
840 Visit(Node->getOutlinedFunctionDecl());
841 }
842
844 for (const auto *C : Node->clauses())
845 Visit(C);
846 }
847
849 for (const auto *C : Node->clauses())
850 Visit(C);
851 }
852
854 // Needs custom child checking to put clauses AFTER the children, which are
855 // the expressions in the 'wait' construct. Others likely need this as well,
856 // and might need to do the associated statement after it.
857 for (const Stmt *S : Node->children())
858 Visit(S);
859 for (const auto *C : Node->clauses())
860 Visit(C);
861 }
862
864 if (auto *Filler = ILE->getArrayFiller()) {
865 Visit(Filler, "array_filler");
866 }
867 }
868
870 if (auto *Filler = PLIE->getArrayFiller()) {
871 Visit(Filler, "array_filler");
872 }
873 }
874
875 void VisitBlockExpr(const BlockExpr *Node) { Visit(Node->getBlockDecl()); }
876
878 if (Expr *Source = Node->getSourceExpr())
879 Visit(Source);
880 }
881
883 if (E->isExprPredicate()) {
884 Visit(E->getControllingExpr());
885 Visit(E->getControllingExpr()->getType()); // FIXME: remove
886 } else
887 Visit(E->getControllingType()->getType());
888
889 for (const auto Assoc : E->associations()) {
890 Visit(Assoc);
891 }
892 }
893
895 if (E->hasExplicitTemplateArgs())
896 for (auto Arg : E->template_arguments())
897 Visit(Arg.getArgument());
898 }
899
901 for (auto *D : E->getLocalParameters())
902 Visit(D);
903 for (auto *R : E->getRequirements())
904 Visit(R);
905 }
906
908 // Argument types are not children of the TypeTraitExpr.
909 for (auto *A : E->getArgs())
910 Visit(A->getType());
911 }
912
915 for (unsigned I = 0, N = Node->capture_size(); I != N; ++I) {
916 const auto *C = Node->capture_begin() + I;
917 if (!C->isExplicit())
918 continue;
919 if (Node->isInitCapture(C))
920 Visit(C->getCapturedVar());
921 else
922 Visit(Node->capture_init_begin()[I]);
923 }
924 dumpTemplateParameters(Node->getTemplateParameterList());
925 for (const auto *P : Node->getCallOperator()->parameters())
926 Visit(P);
927 Visit(Node->getBody());
928 } else {
929 return Visit(Node->getLambdaClass());
930 }
931 }
932
934 if (Node->isPartiallySubstituted())
935 for (const auto &A : Node->getPartialArguments())
936 Visit(A);
937 }
938
940 Visit(E->getParameter());
941 }
944 Visit(E->getParameterPack());
945 Visit(E->getArgumentPack());
946 }
947
949 if (const VarDecl *CatchParam = Node->getCatchParamDecl())
950 Visit(CatchParam);
951 }
952
955 Visit(Node->getInit());
956 Visit(Node->getLoopVariable());
957 Visit(Node->getRangeInit());
958 Visit(Node->getBody());
959 }
960 }
961
963 for (const auto *Child :
964 make_filter_range(Node->children(), [this](const Stmt *Child) {
965 if (Traversal != TK_IgnoreUnlessSpelledInSource)
966 return false;
967 return !isa<CXXDefaultArgExpr>(Child);
968 })) {
969 Visit(Child);
970 }
971 }
972
975 Visit(Node->getLHS());
976 Visit(Node->getRHS());
977 } else {
979 }
980 }
981
983 Visit(TA.getAsExpr());
984 }
985
987 Visit(TA.getAsType());
988 }
989
991 for (const auto &TArg : TA.pack_elements())
992 Visit(TArg);
993 }
994
996 Visit(Node->getExpr());
997 }
998
1000 Visit(Node->getExpr());
1001 }
1002
1003 // Implements Visit methods for Attrs.
1004#include "clang/AST/AttrNodeTraverse.inc"
1005};
1006
1007} // namespace clang
1008
1009#endif // LLVM_CLANG_AST_ASTNODETRAVERSER_H
#define V(N, I)
Definition: ASTContext.h:3597
DynTypedNode Node
TraversalKind Traversal
const Decl * D
Expr * E
C Language Family Type Representation.
std::string Label
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Definition: APValue.h:122
ASTNodeTraverser traverses the Clang AST for dumping purposes.
void VisitSubstNonTypeTemplateParmPackExpr(const SubstNonTypeTemplateParmPackExpr *E)
void VisitDeclStmt(const DeclStmt *Node)
void VisitFunctionType(const FunctionType *T)
void VisitCapturedDecl(const CapturedDecl *D)
void VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *Node)
void VisitDependentTemplateSpecializationTypeLoc(DependentTemplateSpecializationTypeLoc TL)
void Visit(const BlockDecl::Capture &C)
void VisitAdjustedType(const AdjustedType *T)
void VisitDependentSizedExtVectorTypeLoc(DependentSizedExtVectorTypeLoc TL)
void VisitSizeOfPackExpr(const SizeOfPackExpr *Node)
void VisitMemberPointerType(const MemberPointerType *T)
void VisitDependentSizedArrayType(const DependentSizedArrayType *T)
void VisitTypeOfExprType(const TypeOfExprType *T)
void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *E)
void VisitOpenACCWaitConstruct(const OpenACCWaitConstruct *Node)
void VisitLocInfoType(const LocInfoType *T)
void dumpTemplateDeclSpecialization(const SpecializationDecl *D)
void VisitOpenACCConstructStmt(const OpenACCConstructStmt *Node)
void VisitHLSLInlineSpirvType(const HLSLInlineSpirvType *T)
void Visit(const comments::Comment *C, const comments::FullComment *FC)
void VisitDependentSizedArrayTypeLoc(DependentSizedArrayTypeLoc TL)
void VisitClassTemplateSpecializationDecl(const ClassTemplateSpecializationDecl *D)
void VisitBlockDecl(const BlockDecl *D)
void VisitFunctionProtoTypeLoc(FunctionProtoTypeLoc TL)
void VisitObjCImplementationDecl(const ObjCImplementationDecl *D)
void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D)
void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node)
void VisitTemplateSpecializationTypeLoc(TemplateSpecializationTypeLoc TL)
void VisitPackIndexingType(const PackIndexingType *T)
void VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D)
void VisitCXXParenListInitExpr(const CXXParenListInitExpr *PLIE)
void dumpTemplateArgumentList(const TemplateArgumentList &TAL)
void Visit(const OMPClause *C)
void VisitImplicitConceptSpecializationDecl(const ImplicitConceptSpecializationDecl *CSD)
void VisitReferenceType(const ReferenceType *T)
void VisitBlockExpr(const BlockExpr *Node)
void VisitDecltypeType(DecltypeType TL)
void VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D)
void VisitStaticAssertDecl(const StaticAssertDecl *D)
void VisitBlockPointerType(const BlockPointerType *T)
void VisitFieldDecl(const FieldDecl *D)
void VisitAttributedStmt(const AttributedStmt *Node)
void Visit(const Type *T)
void VisitPipeType(const PipeType *T)
void Visit(const Attr *A)
void VisitInitListExpr(const InitListExpr *ILE)
void VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *Node)
void VisitVarTemplateDecl(const VarTemplateDecl *D)
void VisitPackExpansionType(const PackExpansionType *T)
void VisitBTFTagAttributedType(const BTFTagAttributedType *T)
void VisitTypeAliasDecl(const TypeAliasDecl *D)
void VisitDecompositionDecl(const DecompositionDecl *D)
void VisitObjCMethodDecl(const ObjCMethodDecl *D)
void VisitClassTemplateDecl(const ClassTemplateDecl *D)
void Visit(const Decl *D, bool VisitLocs=false)
void SetTraversalKind(TraversalKind TK)
void Visit(const concepts::Requirement *R)
void VisitLabelStmt(const LabelStmt *Node)
void VisitTypeTraitExpr(const TypeTraitExpr *E)
void VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D)
void VisitComplexType(const ComplexType *T)
void dumpDeclContext(const DeclContext *DC)
void VisitUsingShadowDecl(const UsingShadowDecl *D)
void dumpObjCTypeParamList(const ObjCTypeParamList *typeParams)
void VisitVarTemplateSpecializationDecl(const VarTemplateSpecializationDecl *D)
void Visit(const DynTypedNode &N)
void VisitExpressionTemplateArgument(const TemplateArgument &TA)
void dumpTemplateDecl(const TemplateDecl *D)
void VisitHLSLAttributedResourceType(const HLSLAttributedResourceType *T)
void VisitVectorType(const VectorType *T)
void dumpTemplateArgumentLoc(const TemplateArgumentLoc &A, const Decl *From=nullptr, const char *Label=nullptr)
void Visit(const OpenACCClause *C)
void VisitCXXCatchStmt(const CXXCatchStmt *Node)
void VisitClassTemplatePartialSpecializationDecl(const ClassTemplatePartialSpecializationDecl *D)
void VisitTypedefDecl(const TypedefDecl *D)
void Visit(const ConceptReference *R)
void VisitBindingDecl(const BindingDecl *D)
void Visit(const APValue &Value, QualType Ty)
void VisitVariableArrayTypeLoc(VariableArrayTypeLoc TL)
void VisitRequiresExpr(const RequiresExpr *E)
void VisitGenericSelectionExpr(const GenericSelectionExpr *E)
void VisitSubstTemplateTypeParmPackType(const SubstTemplateTypeParmPackType *T)
void VisitOpaqueValueExpr(const OpaqueValueExpr *Node)
void VisitArrayType(const ArrayType *T)
void Visit(const CXXCtorInitializer *Init)
void VisitVarDecl(const VarDecl *D)
void VisitVarTemplatePartialSpecializationDecl(const VarTemplatePartialSpecializationDecl *D)
void VisitFileScopeAsmDecl(const FileScopeAsmDecl *D)
void VisitAutoType(const AutoType *T)
void VisitFunctionProtoType(const FunctionProtoType *T)
void VisitUnaryTransformType(const UnaryTransformType *T)
void VisitTypeOfExprTypeLoc(TypeOfExprTypeLoc TL)
void VisitLambdaExpr(const LambdaExpr *Node)
void VisitCallExpr(const CallExpr *Node)
void VisitDecltypeType(const DecltypeType *T)
void VisitMemberPointerTypeLoc(MemberPointerTypeLoc TL)
void VisitOMPExecutableDirective(const OMPExecutableDirective *Node)
void VisitEnumConstantDecl(const EnumConstantDecl *D)
void VisitTemplateSpecializationType(const TemplateSpecializationType *T)
void VisitAtomicType(const AtomicType *T)
void VisitDependentSizedExtVectorType(const DependentSizedExtVectorType *T)
void Visit(const Stmt *Node, StringRef Label={})
void VisitOutlinedFunctionDecl(const OutlinedFunctionDecl *D)
void Visit(const GenericSelectionExpr::ConstAssociation &A)
void VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D)
void VisitConceptDecl(const ConceptDecl *D)
void VisitTopLevelStmtDecl(const TopLevelStmtDecl *D)
void dumpASTTemplateArgumentListInfo(const ASTTemplateArgumentListInfo *TALI)
void VisitConceptSpecializationExpr(const ConceptSpecializationExpr *CSE)
void VisitVariableArrayType(const VariableArrayType *T)
void VisitTypeTemplateArgument(const TemplateArgument &TA)
void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D)
void VisitOMPAllocateDecl(const OMPAllocateDecl *D)
void VisitOMPThreadPrivateDecl(const OMPThreadPrivateDecl *D)
void VisitCapturedStmt(const CapturedStmt *Node)
void VisitFriendDecl(const FriendDecl *D)
void VisitSubstNonTypeTemplateParmExpr(const SubstNonTypeTemplateParmExpr *E)
void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D)
void VisitCXXForRangeStmt(const CXXForRangeStmt *Node)
void VisitOMPDeclareMapperDecl(const OMPDeclareMapperDecl *D)
void VisitObjCObjectPointerType(const ObjCObjectPointerType *T)
void VisitAttributedType(const AttributedType *T)
void Visit(const TemplateArgument &A, SourceRange R={}, const Decl *From=nullptr, const char *Label=nullptr)
void VisitPackTemplateArgument(const TemplateArgument &TA)
TraversalKind GetTraversalKind() const
void VisitObjCCategoryDecl(const ObjCCategoryDecl *D)
void VisitAutoTypeLoc(AutoTypeLoc TL)
void VisitSubstTemplateTypeParmType(const SubstTemplateTypeParmType *)
void VisitCXXRewrittenBinaryOperator(const CXXRewrittenBinaryOperator *Node)
void VisitSYCLKernelCallStmt(const SYCLKernelCallStmt *Node)
void dumpTemplateParameters(const TemplateParameterList *TPL)
void VisitFunctionDecl(const FunctionDecl *D)
void VisitFunctionTemplateDecl(const FunctionTemplateDecl *D)
void VisitOMPDeclareReductionDecl(const OMPDeclareReductionDecl *D)
void VisitPointerType(const PointerType *T)
Represents a type which was implicitly adjusted by the semantic engine for arbitrary reasons.
Definition: TypeBase.h:3507
Expr * getSizeExpr() const
Definition: TypeLoc.h:1779
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition: TypeBase.h:3738
Attr - This represents one attribute.
Definition: Attr.h:44
Represents an attribute applied to a statement.
Definition: Stmt.h:2203
An attributed type is a type to which a type attribute has been applied.
Definition: TypeBase.h:6585
ConceptReference * getConceptReference() const
Definition: TypeLoc.h:2387
Represents a C++11 auto or C++14 decltype(auto) type, possibly constrained by a type-constraint.
Definition: TypeBase.h:7180
A binding in a decomposition declaration.
Definition: DeclCXX.h:4179
A class which contains all the information about a particular captured value.
Definition: Decl.h:4640
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition: Decl.h:4634
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Definition: Expr.h:6560
Pointer to a block type.
Definition: TypeBase.h:3558
Represents the builtin template declaration which is used to implement __make_integer_seq and other b...
CXXCatchStmt - This represents a C++ catch block.
Definition: StmtCXX.h:28
Represents a C++ base or member initializer.
Definition: DeclCXX.h:2369
A default argument (C++ [dcl.fct.default]).
Definition: ExprCXX.h:1271
A use of a default initializer in a constructor or in aggregate initialization.
Definition: ExprCXX.h:1378
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
Definition: StmtCXX.h:135
Represents a list-initialization with parenthesis.
Definition: ExprCXX.h:5135
A rewritten comparison expression that was originally written using operator syntax.
Definition: ExprCXX.h:286
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2879
Represents the body of a CapturedStmt, and serves as its DeclContext.
Definition: Decl.h:4906
This captures a statement into a function.
Definition: Stmt.h:3886
Declaration of a class template.
Represents a class template specialization, which refers to a class template with a given set of temp...
Complex values, per C99 6.2.5p11.
Definition: TypeBase.h:3293
Declaration of a C++20 concept.
A reference to a concept and its template args, as it appears in the code.
Definition: ASTConcept.h:126
Represents the specialization of a concept - evaluates to a prvalue of type bool.
Definition: ExprConcepts.h:42
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten() const
Definition: ExprConcepts.h:100
const ImplicitConceptSpecializationDecl * getSpecializationDecl() const
Definition: ExprConcepts.h:118
A simple visitor class that helps create attribute visitors.
Definition: AttrVisitor.h:71
A simple visitor class that helps create declaration visitors.
Definition: DeclVisitor.h:75
ConstStmtVisitor - This class implements a simple visitor for Stmt subclasses.
Definition: StmtVisitor.h:196
A simple visitor class that helps create template argument visitors.
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Definition: DeclBase.h:1449
decl_range noload_decls() const
noload_decls_begin/end - Iterate over the declarations stored in this context that are currently load...
Definition: DeclBase.h:2381
decl_range decls() const
decls_begin/decls_end - Iterate over the declarations stored in this context.
Definition: DeclBase.h:2373
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Definition: Stmt.h:1611
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:86
Represents the type decltype(expr) (C++11).
Definition: TypeBase.h:6270
Expr * getUnderlyingExpr() const
Definition: TypeBase.h:6280
A decomposition declaration.
Definition: DeclCXX.h:4243
Provides information about a dependent function-template specialization declaration.
Definition: DeclTemplate.h:688
Represents an array type in C++ whose size is a value-dependent expression.
Definition: TypeBase.h:4027
Represents an extended vector type where either the type or size is dependent.
Definition: TypeBase.h:4117
TemplateArgumentLoc getArgLoc(unsigned i) const
Definition: TypeLoc.h:2691
A dynamically typed AST node container.
const T * get() const
Retrieve the stored node as type T.
An instance of this object exists for each enum constant that is defined.
Definition: Decl.h:3420
This represents one expression.
Definition: Expr.h:112
Represents a member of a struct/union/class.
Definition: Decl.h:3157
FriendDecl - Represents the declaration of a friend entity, which can be a function,...
Definition: DeclFriend.h:54
Represents a function declaration or definition.
Definition: Decl.h:1999
Represents a prototype with parameter type info, e.g.
Definition: TypeBase.h:5282
ArrayRef< QualType > getParamTypes() const
Definition: TypeBase.h:5567
bool isSugared() const
Definition: TypeBase.h:5862
Declaration of a template function.
Definition: DeclTemplate.h:952
Provides information about a function template specialization, which is a FunctionDecl that has been ...
Definition: DeclTemplate.h:470
ArrayRef< ParmVarDecl * > getParams() const
Definition: TypeLoc.h:1687
FunctionType - C99 6.7.5.3 - Function Declarators.
Definition: TypeBase.h:4478
QualType getReturnType() const
Definition: TypeBase.h:4818
Represents a C11 generic selection.
Definition: Expr.h:6114
AssociationTy< true > ConstAssociation
Definition: Expr.h:6346
Represents an arbitrary, user-specified SPIR-V type instruction.
Definition: TypeBase.h:6860
ArrayRef< TemplateArgument > getTemplateArguments() const
Describes an C or C++ initializer list.
Definition: Expr.h:5235
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
Definition: Expr.h:5337
LabelStmt - Represents a label, which has a substatement.
Definition: Stmt.h:2146
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
Definition: ExprCXX.h:1970
Holds a QualType and a TypeSourceInfo* that came out of a declarator parsing.
Definition: LocInfoType.h:28
Wrapper for source info for member pointers.
Definition: TypeLoc.h:1524
NestedNameSpecifierLoc getQualifierLoc() const
Definition: TypeLoc.h:1534
A pointer to member type per C++ 8.3.3 - Pointers to members.
Definition: TypeBase.h:3669
TypeLoc castAsTypeLoc() const
For a nested-name-specifier that refers to a type, retrieve the type with source-location information...
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
Kind
The kind of specifier that completes this nested name specifier.
@ Type
A type, stored as a Type*.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
This represents '#pragma omp allocate ...' directive.
Definition: DeclOpenMP.h:474
Pseudo declaration for capturing expressions.
Definition: DeclOpenMP.h:383
This is a basic class for representing single OpenMP clause.
Definition: OpenMPClause.h:55
This represents '#pragma omp declare mapper ...' directive.
Definition: DeclOpenMP.h:287
This represents '#pragma omp declare reduction ...' directive.
Definition: DeclOpenMP.h:177
This is a basic class for representing single OpenMP executable directive.
Definition: StmtOpenMP.h:266
This represents '#pragma omp threadprivate ...' directive.
Definition: DeclOpenMP.h:110
Represents Objective-C's @catch statement.
Definition: StmtObjC.h:77
ObjCCategoryDecl - Represents a category declaration.
Definition: DeclObjC.h:2329
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Definition: DeclObjC.h:2597
Represents an ObjC class declaration.
Definition: DeclObjC.h:1154
ObjCMethodDecl - Represents an instance or class method declaration.
Definition: DeclObjC.h:140
Represents a pointer to an Objective C object.
Definition: TypeBase.h:7961
Stores a list of Objective-C type parameters for a parameterized class or a category/extension thereo...
Definition: DeclObjC.h:662
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Definition: Expr.h:1180
This is the base type for all OpenACC Clauses.
Definition: OpenACCClause.h:27
This is the base class for an OpenACC statement-level construct, other construct types are expected t...
Definition: StmtOpenACC.h:26
Represents a partial function definition.
Definition: Decl.h:4841
Represents a pack expansion of types.
Definition: TypeBase.h:7524
Represents a parameter to a function.
Definition: Decl.h:1789
PipeType - OpenCL20.
Definition: TypeBase.h:8161
PointerType - C99 6.7.5.1 - Pointer Declarators.
Definition: TypeBase.h:3346
A (possibly-)qualified type.
Definition: TypeBase.h:937
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Definition: TypeBase.h:1004
bool hasQualifiers() const
Return true if the set contains any qualifiers.
Definition: TypeBase.h:646
Base for LValueReferenceType and RValueReferenceType.
Definition: TypeBase.h:3589
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
Definition: ExprConcepts.h:505
SYCLKernelCallStmt represents the transformation that is applied to the body of a function declared w...
Definition: StmtSYCL.h:37
Represents an expression that computes the length of a parameter pack.
Definition: ExprCXX.h:4435
A trivial tuple used to represent a source range.
Represents a C++11 static_assert declaration.
Definition: DeclCXX.h:4130
RetTy Visit(PTR(Stmt) S, ParamTys... P)
Definition: StmtVisitor.h:45
Stmt - This represents one statement.
Definition: Stmt.h:85
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Definition: ExprCXX.h:4658
Represents a reference to a non-type template parameter pack that has been substituted with a non-tem...
Definition: ExprCXX.h:4748
Represents the result of substituting a set of types for a template type parameter pack.
Definition: TypeBase.h:7091
Represents the result of substituting a type for a template type parameter.
Definition: TypeBase.h:6972
A template argument list.
Definition: DeclTemplate.h:250
unsigned size() const
Retrieve the number of template arguments in this template argument list.
Definition: DeclTemplate.h:286
Location wrapper for a TemplateArgument.
Definition: TemplateBase.h:528
const TemplateArgument & getArgument() const
Definition: TemplateBase.h:574
SourceRange getSourceRange() const LLVM_READONLY
Represents a template argument.
Definition: TemplateBase.h:61
Expr * getAsExpr() const
Retrieve the template argument as an expression.
Definition: TemplateBase.h:411
QualType getAsType() const
Retrieve the type for a type template argument.
Definition: TemplateBase.h:322
ArrayRef< TemplateArgument > pack_elements() const
Iterator range referencing all of the elements of a template argument pack.
Definition: TemplateBase.h:440
The base class of all kinds of template declarations (e.g., class, function, etc.).
Definition: DeclTemplate.h:396
Stores a list of template parameters for a TemplateDecl and its derived classes.
Definition: DeclTemplate.h:74
Expr * getRequiresClause()
The constraint-expression of the associated requires-clause.
Definition: DeclTemplate.h:182
TemplateArgumentLoc getArgLoc(unsigned i) const
Definition: TypeLoc.h:1897
Represents a type template specialization; the template must be a class template, a type alias templa...
Definition: TypeBase.h:7290
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
Declaration of a template type parameter.
A declaration that models statements at global scope.
Definition: Decl.h:4597
Represents the declaration of a typedef-name via a C++11 alias-declaration.
Definition: Decl.h:3685
Declaration of an alias template.
RetTy Visit(TypeLoc TyLoc)
Base wrapper for a particular "section" of type source info.
Definition: TypeLoc.h:59
QualType getType() const
Get the type for which this source info wrapper provides information.
Definition: TypeLoc.h:133
Expr * getUnderlyingExpr() const
Definition: TypeLoc.h:2224
Represents a typeof (or typeof) expression (a C23 feature and GCC extension) or a typeof_unqual expre...
Definition: TypeBase.h:6193
A container of type source information.
Definition: TypeBase.h:8314
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
Definition: ExprCXX.h:2890
An operation on a type.
Definition: TypeVisitor.h:64
RetTy Visit(const Type *T)
Performs the operation associated with this visitor object.
Definition: TypeVisitor.h:68
The base class of the type hierarchy.
Definition: TypeBase.h:1833
QualType getLocallyUnqualifiedSingleStepDesugaredType() const
Pull a single level of sugar off of this locally-unqualified type.
Definition: Type.cpp:521
CanQualType getCanonicalTypeUnqualified() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Definition: Type.cpp:752
Represents the declaration of a typedef-name via the 'typedef' type specifier.
Definition: Decl.h:3664
A unary type transform, which is a type constructed from another.
Definition: TypeBase.h:6375
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Definition: ExprCXX.h:3384
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
Definition: DeclCXX.h:3393
Represents a variable declaration or definition.
Definition: Decl.h:925
Declaration of a variable template.
Represents a variable template specialization, which refers to a variable template with a given set o...
Represents a C array with a specified size that is not an integer-constant-expression.
Definition: TypeBase.h:3982
Represents a GCC generic vector type.
Definition: TypeBase.h:4191
RetTy Visit(PTR(Attr) A)
Definition: AttrVisitor.h:31
RetTy visit(PTR(Comment) C, ParamTys... P)
Any part of the comment.
Definition: Comment.h:66
Comment *const * child_iterator
Definition: Comment.h:257
A full comment attached to a declaration, contains block content.
Definition: Comment.h:1104
A static requirement that can be used in a requires-expression to check properties of types and expre...
Definition: ExprConcepts.h:170
RetTy Visit(PTR(Decl) D)
Definition: DeclVisitor.h:38
RetTy Visit(REF(TemplateArgument) TA, ParamTys... P)
The JSON file list parser is used to communicate input to InstallAPI.
TraversalKind
Defines how we descend a level in the AST when we pass through expressions.
Definition: ASTTypeTraits.h:38
@ TK_AsIs
Will traverse all child nodes.
Definition: ASTTypeTraits.h:40
@ TK_IgnoreUnlessSpelledInSource
Ignore AST nodes not written in the source.
Definition: ASTTypeTraits.h:43
@ Parameter
The parameter type of a method or function.
const FunctionProtoType * T
@ TSK_ExplicitInstantiationDefinition
This template specialization was instantiated from a template due to an explicit instantiation defini...
Definition: Specifiers.h:206
@ TSK_ExplicitInstantiationDeclaration
This template specialization was instantiated from a template due to an explicit instantiation declar...
Definition: Specifiers.h:202
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
Definition: TemplateBase.h:678
ArrayRef< TemplateArgumentLoc > arguments() const
Definition: TemplateBase.h:707
A std::pair-like structure for storing a qualified type split into its local qualifiers and its local...
Definition: TypeBase.h:870
const Type * Ty
The locally-unqualified type.
Definition: TypeBase.h:872
Qualifiers Quals
The local qualifiers.
Definition: TypeBase.h:875