clang
3.9.0
|
A semantic tree transformation that allows one to transform one abstract syntax tree into another. More...
#include <TreeTransform.h>
Classes | |
class | TemporaryBase |
RAII object that temporarily sets the base location and entity used for reporting diagnostics in types. More... | |
Public Member Functions | |
TreeTransform (Sema &SemaRef) | |
Initializes a new tree transformer. More... | |
Derived & | getDerived () |
Retrieves a reference to the derived class. More... | |
const Derived & | getDerived () const |
Retrieves a reference to the derived class. More... | |
Sema & | getSema () const |
Retrieves a reference to the semantic analysis object used for this tree transform. More... | |
bool | AlwaysRebuild () |
Whether the transformation should always rebuild AST nodes, even if none of the children have changed. More... | |
SourceLocation | getBaseLocation () |
Returns the location of the entity being transformed, if that information was not available elsewhere in the AST. More... | |
DeclarationName | getBaseEntity () |
Returns the name of the entity being transformed, if that information was not available elsewhere in the AST. More... | |
void | setBase (SourceLocation Loc, DeclarationName Entity) |
Sets the "base" location and entity when that information is known based on another transformation. More... | |
bool | AlreadyTransformed (QualType T) |
Determine whether the given type T has already been transformed. More... | |
bool | DropCallArgument (Expr *E) |
Determine whether the given call argument should be dropped, e.g., because it is a default argument. More... | |
bool | TryExpandParameterPacks (SourceLocation EllipsisLoc, SourceRange PatternRange, ArrayRef< UnexpandedParameterPack > Unexpanded, bool &ShouldExpand, bool &RetainExpansion, Optional< unsigned > &NumExpansions) |
Determine whether we should expand a pack expansion with the given set of parameter packs into separate arguments by repeatedly transforming the pattern. More... | |
TemplateArgument | ForgetPartiallySubstitutedPack () |
"Forget" about the partially-substituted pack template argument, when performing an instantiation that must preserve the parameter pack use. More... | |
void | RememberPartiallySubstitutedPack (TemplateArgument Arg) |
"Remember" the partially-substituted pack template argument after performing an instantiation that must preserve the parameter pack use. More... | |
void | ExpandingFunctionParameterPack (ParmVarDecl *Pack) |
Note to the derived class when a function parameter pack is being expanded. More... | |
QualType | TransformType (QualType T) |
Transforms the given type into another type. More... | |
TypeSourceInfo * | TransformType (TypeSourceInfo *DI) |
Transforms the given type-with-location into a new type-with-location. More... | |
QualType | TransformType (TypeLocBuilder &TLB, TypeLoc TL) |
Transform the given type-with-location into a new type, collecting location information in the given builder as necessary. More... | |
StmtResult | TransformStmt (Stmt *S) |
Transform the given statement. More... | |
OMPClause * | TransformOMPClause (OMPClause *S) |
Transform the given statement. More... | |
const Attr * | TransformAttr (const Attr *S) |
Transform the given attribute. More... | |
ExprResult | TransformExpr (Expr *E) |
Transform the given expression. More... | |
ExprResult | TransformInitializer (Expr *Init, bool NotCopyInit) |
Transform the given initializer. More... | |
bool | TransformExprs (Expr *const *Inputs, unsigned NumInputs, bool IsCall, SmallVectorImpl< Expr * > &Outputs, bool *ArgChanged=nullptr) |
Transform the given list of expressions. More... | |
Decl * | TransformDecl (SourceLocation Loc, Decl *D) |
Transform the given declaration, which is referenced from a type or expression. More... | |
Sema::ConditionResult | TransformCondition (SourceLocation Loc, VarDecl *Var, Expr *Expr, Sema::ConditionKind Kind) |
Transform the specified condition. More... | |
void | transformAttrs (Decl *Old, Decl *New) |
Transform the attributes associated with the given declaration and place them on the new declaration. More... | |
void | transformedLocalDecl (Decl *Old, Decl *New) |
Note that a local declaration has been transformed by this transformer. More... | |
Decl * | TransformDefinition (SourceLocation Loc, Decl *D) |
Transform the definition of the given declaration. More... | |
NamedDecl * | TransformFirstQualifierInScope (NamedDecl *D, SourceLocation Loc) |
Transform the given declaration, which was the first part of a nested-name-specifier in a member access expression. More... | |
NestedNameSpecifierLoc | TransformNestedNameSpecifierLoc (NestedNameSpecifierLoc NNS, QualType ObjectType=QualType(), NamedDecl *FirstQualifierInScope=nullptr) |
Transform the given nested-name-specifier with source-location information. More... | |
DeclarationNameInfo | TransformDeclarationNameInfo (const DeclarationNameInfo &NameInfo) |
Transform the given declaration name. More... | |
TemplateName | TransformTemplateName (CXXScopeSpec &SS, TemplateName Name, SourceLocation NameLoc, QualType ObjectType=QualType(), NamedDecl *FirstQualifierInScope=nullptr) |
Transform the given template name. More... | |
bool | TransformTemplateArgument (const TemplateArgumentLoc &Input, TemplateArgumentLoc &Output, bool Uneval=false) |
Transform the given template argument. More... | |
bool | TransformTemplateArguments (const TemplateArgumentLoc *Inputs, unsigned NumInputs, TemplateArgumentListInfo &Outputs, bool Uneval=false) |
Transform the given set of template arguments. More... | |
template<typename InputIterator > | |
bool | TransformTemplateArguments (InputIterator First, InputIterator Last, TemplateArgumentListInfo &Outputs, bool Uneval=false) |
Transform the given set of template arguments. More... | |
void | InventTemplateArgumentLoc (const TemplateArgument &Arg, TemplateArgumentLoc &ArgLoc) |
Fakes up a TemplateArgumentLoc for a given TemplateArgument. More... | |
TypeSourceInfo * | InventTypeSourceInfo (QualType T) |
Fakes up a TypeSourceInfo for a type. More... | |
template<typename Fn > | |
QualType | TransformFunctionProtoType (TypeLocBuilder &TLB, FunctionProtoTypeLoc TL, CXXRecordDecl *ThisContext, unsigned ThisTypeQuals, Fn TransformExceptionSpec) |
bool | TransformExceptionSpec (SourceLocation Loc, FunctionProtoType::ExceptionSpecInfo &ESI, SmallVectorImpl< QualType > &Exceptions, bool &Changed) |
StmtResult | TransformSEHHandler (Stmt *Handler) |
QualType | TransformTemplateSpecializationType (TypeLocBuilder &TLB, TemplateSpecializationTypeLoc TL, TemplateName Template) |
QualType | TransformDependentTemplateSpecializationType (TypeLocBuilder &TLB, DependentTemplateSpecializationTypeLoc TL, TemplateName Template, CXXScopeSpec &SS) |
QualType | TransformDependentTemplateSpecializationType (TypeLocBuilder &TLB, DependentTemplateSpecializationTypeLoc TL, NestedNameSpecifierLoc QualifierLoc) |
bool | TransformFunctionTypeParams (SourceLocation Loc, ArrayRef< ParmVarDecl * > Params, const QualType *ParamTypes, const FunctionProtoType::ExtParameterInfo *ParamInfos, SmallVectorImpl< QualType > &PTypes, SmallVectorImpl< ParmVarDecl * > *PVars, Sema::ExtParameterInfoBuilder &PInfos) |
Transforms the parameters of a function type into the given vectors. More... | |
ParmVarDecl * | TransformFunctionTypeParam (ParmVarDecl *OldParm, int indexAdjustment, Optional< unsigned > NumExpansions, bool ExpectParameterPack) |
Transforms a single function-type parameter. More... | |
QualType | TransformReferenceType (TypeLocBuilder &TLB, ReferenceTypeLoc TL) |
Transforms a reference type. More... | |
StmtResult | TransformCompoundStmt (CompoundStmt *S, bool IsStmtExpr) |
ExprResult | TransformCXXNamedCastExpr (CXXNamedCastExpr *E) |
TemplateParameterList * | TransformTemplateParameterList (TemplateParameterList *TPL) |
ExprResult | TransformAddressOfOperand (Expr *E) |
The operand of a unary address-of operator has special rules: it's allowed to refer to a non-static member of a class even if there's no 'this' object available. More... | |
ExprResult | TransformDependentScopeDeclRefExpr (DependentScopeDeclRefExpr *E, bool IsAddressOfOperand, TypeSourceInfo **RecoveryTSI) |
ExprResult | TransformParenDependentScopeDeclRefExpr (ParenExpr *PE, DependentScopeDeclRefExpr *DRE, bool IsAddressOfOperand, TypeSourceInfo **RecoveryTSI) |
StmtResult | TransformOMPExecutableDirective (OMPExecutableDirective *S) |
QualType | RebuildPointerType (QualType PointeeType, SourceLocation Sigil) |
Build a new pointer type given its pointee type. More... | |
QualType | RebuildBlockPointerType (QualType PointeeType, SourceLocation Sigil) |
Build a new block pointer type given its pointee type. More... | |
QualType | RebuildReferenceType (QualType ReferentType, bool LValue, SourceLocation Sigil) |
Build a new reference type given the type it references. More... | |
QualType | RebuildMemberPointerType (QualType PointeeType, QualType ClassType, SourceLocation Sigil) |
Build a new member pointer type given the pointee type and the class type it refers into. More... | |
QualType | RebuildObjCObjectType (QualType BaseType, SourceLocation Loc, SourceLocation TypeArgsLAngleLoc, ArrayRef< TypeSourceInfo * > TypeArgs, SourceLocation TypeArgsRAngleLoc, SourceLocation ProtocolLAngleLoc, ArrayRef< ObjCProtocolDecl * > Protocols, ArrayRef< SourceLocation > ProtocolLocs, SourceLocation ProtocolRAngleLoc) |
Build an Objective-C object type. More... | |
QualType | RebuildObjCObjectPointerType (QualType PointeeType, SourceLocation Star) |
Build a new Objective-C object pointer type given the pointee type. More... | |
QualType | RebuildArrayType (QualType ElementType, ArrayType::ArraySizeModifier SizeMod, const llvm::APInt *Size, Expr *SizeExpr, unsigned IndexTypeQuals, SourceRange BracketsRange) |
Build a new array type given the element type, size modifier, size of the array (if known), size expression, and index type qualifiers. More... | |
QualType | RebuildConstantArrayType (QualType ElementType, ArrayType::ArraySizeModifier SizeMod, const llvm::APInt &Size, unsigned IndexTypeQuals, SourceRange BracketsRange) |
Build a new constant array type given the element type, size modifier, (known) size of the array, and index type qualifiers. More... | |
QualType | RebuildIncompleteArrayType (QualType ElementType, ArrayType::ArraySizeModifier SizeMod, unsigned IndexTypeQuals, SourceRange BracketsRange) |
Build a new incomplete array type given the element type, size modifier, and index type qualifiers. More... | |
QualType | RebuildVariableArrayType (QualType ElementType, ArrayType::ArraySizeModifier SizeMod, Expr *SizeExpr, unsigned IndexTypeQuals, SourceRange BracketsRange) |
Build a new variable-length array type given the element type, size modifier, size expression, and index type qualifiers. More... | |
QualType | RebuildDependentSizedArrayType (QualType ElementType, ArrayType::ArraySizeModifier SizeMod, Expr *SizeExpr, unsigned IndexTypeQuals, SourceRange BracketsRange) |
Build a new dependent-sized array type given the element type, size modifier, size expression, and index type qualifiers. More... | |
QualType | RebuildVectorType (QualType ElementType, unsigned NumElements, VectorType::VectorKind VecKind) |
Build a new vector type given the element type and number of elements. More... | |
QualType | RebuildExtVectorType (QualType ElementType, unsigned NumElements, SourceLocation AttributeLoc) |
Build a new extended vector type given the element type and number of elements. More... | |
QualType | RebuildDependentSizedExtVectorType (QualType ElementType, Expr *SizeExpr, SourceLocation AttributeLoc) |
Build a new potentially dependently-sized extended vector type given the element type and number of elements. More... | |
QualType | RebuildFunctionProtoType (QualType T, MutableArrayRef< QualType > ParamTypes, const FunctionProtoType::ExtProtoInfo &EPI) |
Build a new function type. More... | |
QualType | RebuildFunctionNoProtoType (QualType ResultType) |
Build a new unprototyped function type. More... | |
QualType | RebuildUnresolvedUsingType (Decl *D) |
Rebuild an unresolved typename type, given the decl that the UnresolvedUsingTypenameDecl was transformed to. More... | |
QualType | RebuildTypedefType (TypedefNameDecl *Typedef) |
Build a new typedef type. More... | |
QualType | RebuildRecordType (RecordDecl *Record) |
Build a new class/struct/union type. More... | |
QualType | RebuildEnumType (EnumDecl *Enum) |
Build a new Enum type. More... | |
QualType | RebuildTypeOfExprType (Expr *Underlying, SourceLocation Loc) |
Build a new typeof(expr) type. More... | |
QualType | RebuildTypeOfType (QualType Underlying) |
Build a new typeof(type) type. More... | |
QualType | RebuildUnaryTransformType (QualType BaseType, UnaryTransformType::UTTKind UKind, SourceLocation Loc) |
Build a new unary transform type. More... | |
QualType | RebuildDecltypeType (Expr *Underlying, SourceLocation Loc) |
Build a new C++11 decltype type. More... | |
QualType | RebuildAutoType (QualType Deduced, AutoTypeKeyword Keyword) |
Build a new C++11 auto type. More... | |
QualType | RebuildTemplateSpecializationType (TemplateName Template, SourceLocation TemplateLoc, TemplateArgumentListInfo &Args) |
Build a new template specialization type. More... | |
QualType | RebuildParenType (QualType InnerType) |
Build a new parenthesized type. More... | |
QualType | RebuildElaboratedType (SourceLocation KeywordLoc, ElaboratedTypeKeyword Keyword, NestedNameSpecifierLoc QualifierLoc, QualType Named) |
Build a new qualified name type. More... | |
QualType | RebuildDependentTemplateSpecializationType (ElaboratedTypeKeyword Keyword, NestedNameSpecifierLoc QualifierLoc, const IdentifierInfo *Name, SourceLocation NameLoc, TemplateArgumentListInfo &Args) |
Build a new typename type that refers to a template-id. More... | |
QualType | RebuildDependentNameType (ElaboratedTypeKeyword Keyword, SourceLocation KeywordLoc, NestedNameSpecifierLoc QualifierLoc, const IdentifierInfo *Id, SourceLocation IdLoc) |
Build a new typename type that refers to an identifier. More... | |
QualType | RebuildPackExpansionType (QualType Pattern, SourceRange PatternRange, SourceLocation EllipsisLoc, Optional< unsigned > NumExpansions) |
Build a new pack expansion type. More... | |
QualType | RebuildAtomicType (QualType ValueType, SourceLocation KWLoc) |
Build a new atomic type given its value type. More... | |
QualType | RebuildPipeType (QualType ValueType, SourceLocation KWLoc) |
Build a new pipe type given its value type. More... | |
TemplateName | RebuildTemplateName (CXXScopeSpec &SS, bool TemplateKW, TemplateDecl *Template) |
Build a new template name given a nested name specifier, a flag indicating whether the "template" keyword was provided, and the template that the template name refers to. More... | |
TemplateName | RebuildTemplateName (CXXScopeSpec &SS, const IdentifierInfo &Name, SourceLocation NameLoc, QualType ObjectType, NamedDecl *FirstQualifierInScope) |
Build a new template name given a nested name specifier and the name that is referred to as a template. More... | |
TemplateName | RebuildTemplateName (CXXScopeSpec &SS, OverloadedOperatorKind Operator, SourceLocation NameLoc, QualType ObjectType) |
Build a new template name given a nested name specifier and the overloaded operator name that is referred to as a template. More... | |
TemplateName | RebuildTemplateName (TemplateTemplateParmDecl *Param, const TemplateArgument &ArgPack) |
Build a new template name given a template template parameter pack and the. More... | |
StmtResult | RebuildCompoundStmt (SourceLocation LBraceLoc, MultiStmtArg Statements, SourceLocation RBraceLoc, bool IsStmtExpr) |
Build a new compound statement. More... | |
StmtResult | RebuildCaseStmt (SourceLocation CaseLoc, Expr *LHS, SourceLocation EllipsisLoc, Expr *RHS, SourceLocation ColonLoc) |
Build a new case statement. More... | |
StmtResult | RebuildCaseStmtBody (Stmt *S, Stmt *Body) |
Attach the body to a new case statement. More... | |
StmtResult | RebuildDefaultStmt (SourceLocation DefaultLoc, SourceLocation ColonLoc, Stmt *SubStmt) |
Build a new default statement. More... | |
StmtResult | RebuildLabelStmt (SourceLocation IdentLoc, LabelDecl *L, SourceLocation ColonLoc, Stmt *SubStmt) |
Build a new label statement. More... | |
StmtResult | RebuildAttributedStmt (SourceLocation AttrLoc, ArrayRef< const Attr * > Attrs, Stmt *SubStmt) |
Build a new label statement. More... | |
StmtResult | RebuildIfStmt (SourceLocation IfLoc, bool IsConstexpr, Sema::ConditionResult Cond, Stmt *Init, Stmt *Then, SourceLocation ElseLoc, Stmt *Else) |
Build a new "if" statement. More... | |
StmtResult | RebuildSwitchStmtStart (SourceLocation SwitchLoc, Stmt *Init, Sema::ConditionResult Cond) |
Start building a new switch statement. More... | |
StmtResult | RebuildSwitchStmtBody (SourceLocation SwitchLoc, Stmt *Switch, Stmt *Body) |
Attach the body to the switch statement. More... | |
StmtResult | RebuildWhileStmt (SourceLocation WhileLoc, Sema::ConditionResult Cond, Stmt *Body) |
Build a new while statement. More... | |
StmtResult | RebuildDoStmt (SourceLocation DoLoc, Stmt *Body, SourceLocation WhileLoc, SourceLocation LParenLoc, Expr *Cond, SourceLocation RParenLoc) |
Build a new do-while statement. More... | |
StmtResult | RebuildForStmt (SourceLocation ForLoc, SourceLocation LParenLoc, Stmt *Init, Sema::ConditionResult Cond, Sema::FullExprArg Inc, SourceLocation RParenLoc, Stmt *Body) |
Build a new for statement. More... | |
StmtResult | RebuildGotoStmt (SourceLocation GotoLoc, SourceLocation LabelLoc, LabelDecl *Label) |
Build a new goto statement. More... | |
StmtResult | RebuildIndirectGotoStmt (SourceLocation GotoLoc, SourceLocation StarLoc, Expr *Target) |
Build a new indirect goto statement. More... | |
StmtResult | RebuildReturnStmt (SourceLocation ReturnLoc, Expr *Result) |
Build a new return statement. More... | |
StmtResult | RebuildDeclStmt (MutableArrayRef< Decl * > Decls, SourceLocation StartLoc, SourceLocation EndLoc) |
Build a new declaration statement. More... | |
StmtResult | RebuildGCCAsmStmt (SourceLocation AsmLoc, bool IsSimple, bool IsVolatile, unsigned NumOutputs, unsigned NumInputs, IdentifierInfo **Names, MultiExprArg Constraints, MultiExprArg Exprs, Expr *AsmString, MultiExprArg Clobbers, SourceLocation RParenLoc) |
Build a new inline asm statement. More... | |
StmtResult | RebuildMSAsmStmt (SourceLocation AsmLoc, SourceLocation LBraceLoc, ArrayRef< Token > AsmToks, StringRef AsmString, unsigned NumOutputs, unsigned NumInputs, ArrayRef< StringRef > Constraints, ArrayRef< StringRef > Clobbers, ArrayRef< Expr * > Exprs, SourceLocation EndLoc) |
Build a new MS style inline asm statement. More... | |
StmtResult | RebuildCoreturnStmt (SourceLocation CoreturnLoc, Expr *Result) |
Build a new co_return statement. More... | |
ExprResult | RebuildCoawaitExpr (SourceLocation CoawaitLoc, Expr *Result) |
Build a new co_await expression. More... | |
ExprResult | RebuildCoyieldExpr (SourceLocation CoyieldLoc, Expr *Result) |
Build a new co_yield expression. More... | |
StmtResult | RebuildObjCAtTryStmt (SourceLocation AtLoc, Stmt *TryBody, MultiStmtArg CatchStmts, Stmt *Finally) |
Build a new Objective-C @try statement. More... | |
VarDecl * | RebuildObjCExceptionDecl (VarDecl *ExceptionDecl, TypeSourceInfo *TInfo, QualType T) |
Rebuild an Objective-C exception declaration. More... | |
StmtResult | RebuildObjCAtCatchStmt (SourceLocation AtLoc, SourceLocation RParenLoc, VarDecl *Var, Stmt *Body) |
Build a new Objective-C @catch statement. More... | |
StmtResult | RebuildObjCAtFinallyStmt (SourceLocation AtLoc, Stmt *Body) |
Build a new Objective-C @finally statement. More... | |
StmtResult | RebuildObjCAtThrowStmt (SourceLocation AtLoc, Expr *Operand) |
Build a new Objective-C @throw statement. More... | |
StmtResult | RebuildOMPExecutableDirective (OpenMPDirectiveKind Kind, DeclarationNameInfo DirName, OpenMPDirectiveKind CancelRegion, ArrayRef< OMPClause * > Clauses, Stmt *AStmt, SourceLocation StartLoc, SourceLocation EndLoc) |
Build a new OpenMP executable directive. More... | |
OMPClause * | RebuildOMPIfClause (OpenMPDirectiveKind NameModifier, Expr *Condition, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation NameModifierLoc, SourceLocation ColonLoc, SourceLocation EndLoc) |
Build a new OpenMP 'if' clause. More... | |
OMPClause * | RebuildOMPFinalClause (Expr *Condition, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'final' clause. More... | |
OMPClause * | RebuildOMPNumThreadsClause (Expr *NumThreads, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'num_threads' clause. More... | |
OMPClause * | RebuildOMPSafelenClause (Expr *Len, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'safelen' clause. More... | |
OMPClause * | RebuildOMPSimdlenClause (Expr *Len, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'simdlen' clause. More... | |
OMPClause * | RebuildOMPCollapseClause (Expr *Num, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'collapse' clause. More... | |
OMPClause * | RebuildOMPDefaultClause (OpenMPDefaultClauseKind Kind, SourceLocation KindKwLoc, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'default' clause. More... | |
OMPClause * | RebuildOMPProcBindClause (OpenMPProcBindClauseKind Kind, SourceLocation KindKwLoc, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'proc_bind' clause. More... | |
OMPClause * | RebuildOMPScheduleClause (OpenMPScheduleClauseModifier M1, OpenMPScheduleClauseModifier M2, OpenMPScheduleClauseKind Kind, Expr *ChunkSize, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation M1Loc, SourceLocation M2Loc, SourceLocation KindLoc, SourceLocation CommaLoc, SourceLocation EndLoc) |
Build a new OpenMP 'schedule' clause. More... | |
OMPClause * | RebuildOMPOrderedClause (SourceLocation StartLoc, SourceLocation EndLoc, SourceLocation LParenLoc, Expr *Num) |
Build a new OpenMP 'ordered' clause. More... | |
OMPClause * | RebuildOMPPrivateClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'private' clause. More... | |
OMPClause * | RebuildOMPFirstprivateClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'firstprivate' clause. More... | |
OMPClause * | RebuildOMPLastprivateClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'lastprivate' clause. More... | |
OMPClause * | RebuildOMPSharedClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'shared' clause. More... | |
OMPClause * | RebuildOMPReductionClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation ColonLoc, SourceLocation EndLoc, CXXScopeSpec &ReductionIdScopeSpec, const DeclarationNameInfo &ReductionId, ArrayRef< Expr * > UnresolvedReductions) |
Build a new OpenMP 'reduction' clause. More... | |
OMPClause * | RebuildOMPLinearClause (ArrayRef< Expr * > VarList, Expr *Step, SourceLocation StartLoc, SourceLocation LParenLoc, OpenMPLinearClauseKind Modifier, SourceLocation ModifierLoc, SourceLocation ColonLoc, SourceLocation EndLoc) |
Build a new OpenMP 'linear' clause. More... | |
OMPClause * | RebuildOMPAlignedClause (ArrayRef< Expr * > VarList, Expr *Alignment, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation ColonLoc, SourceLocation EndLoc) |
Build a new OpenMP 'aligned' clause. More... | |
OMPClause * | RebuildOMPCopyinClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'copyin' clause. More... | |
OMPClause * | RebuildOMPCopyprivateClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'copyprivate' clause. More... | |
OMPClause * | RebuildOMPFlushClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'flush' pseudo clause. More... | |
OMPClause * | RebuildOMPDependClause (OpenMPDependClauseKind DepKind, SourceLocation DepLoc, SourceLocation ColonLoc, ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'depend' pseudo clause. More... | |
OMPClause * | RebuildOMPDeviceClause (Expr *Device, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'device' clause. More... | |
OMPClause * | RebuildOMPMapClause (OpenMPMapClauseKind MapTypeModifier, OpenMPMapClauseKind MapType, bool IsMapTypeImplicit, SourceLocation MapLoc, SourceLocation ColonLoc, ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'map' clause. More... | |
OMPClause * | RebuildOMPNumTeamsClause (Expr *NumTeams, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'num_teams' clause. More... | |
OMPClause * | RebuildOMPThreadLimitClause (Expr *ThreadLimit, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'thread_limit' clause. More... | |
OMPClause * | RebuildOMPPriorityClause (Expr *Priority, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'priority' clause. More... | |
OMPClause * | RebuildOMPGrainsizeClause (Expr *Grainsize, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'grainsize' clause. More... | |
OMPClause * | RebuildOMPNumTasksClause (Expr *NumTasks, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'num_tasks' clause. More... | |
OMPClause * | RebuildOMPHintClause (Expr *Hint, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'hint' clause. More... | |
OMPClause * | RebuildOMPDistScheduleClause (OpenMPDistScheduleClauseKind Kind, Expr *ChunkSize, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation KindLoc, SourceLocation CommaLoc, SourceLocation EndLoc) |
Build a new OpenMP 'dist_schedule' clause. More... | |
OMPClause * | RebuildOMPToClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'to' clause. More... | |
OMPClause * | RebuildOMPFromClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'from' clause. More... | |
OMPClause * | RebuildOMPUseDevicePtrClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'use_device_ptr' clause. More... | |
OMPClause * | RebuildOMPIsDevicePtrClause (ArrayRef< Expr * > VarList, SourceLocation StartLoc, SourceLocation LParenLoc, SourceLocation EndLoc) |
Build a new OpenMP 'is_device_ptr' clause. More... | |
ExprResult | RebuildObjCAtSynchronizedOperand (SourceLocation atLoc, Expr *object) |
Rebuild the operand to an Objective-C @synchronized statement. More... | |
StmtResult | RebuildObjCAtSynchronizedStmt (SourceLocation AtLoc, Expr *Object, Stmt *Body) |
Build a new Objective-C @synchronized statement. More... | |
StmtResult | RebuildObjCAutoreleasePoolStmt (SourceLocation AtLoc, Stmt *Body) |
Build a new Objective-C @autoreleasepool statement. More... | |
StmtResult | RebuildObjCForCollectionStmt (SourceLocation ForLoc, Stmt *Element, Expr *Collection, SourceLocation RParenLoc, Stmt *Body) |
Build a new Objective-C fast enumeration statement. More... | |
VarDecl * | RebuildExceptionDecl (VarDecl *ExceptionDecl, TypeSourceInfo *Declarator, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id) |
Build a new C++ exception declaration. More... | |
StmtResult | RebuildCXXCatchStmt (SourceLocation CatchLoc, VarDecl *ExceptionDecl, Stmt *Handler) |
Build a new C++ catch statement. More... | |
StmtResult | RebuildCXXTryStmt (SourceLocation TryLoc, Stmt *TryBlock, ArrayRef< Stmt * > Handlers) |
Build a new C++ try statement. More... | |
StmtResult | RebuildCXXForRangeStmt (SourceLocation ForLoc, SourceLocation CoawaitLoc, SourceLocation ColonLoc, Stmt *Range, Stmt *Begin, Stmt *End, Expr *Cond, Expr *Inc, Stmt *LoopVar, SourceLocation RParenLoc) |
Build a new C++0x range-based for statement. More... | |
StmtResult | RebuildMSDependentExistsStmt (SourceLocation KeywordLoc, bool IsIfExists, NestedNameSpecifierLoc QualifierLoc, DeclarationNameInfo NameInfo, Stmt *Nested) |
Build a new C++0x range-based for statement. More... | |
StmtResult | FinishCXXForRangeStmt (Stmt *ForRange, Stmt *Body) |
Attach body to a C++0x range-based for statement. More... | |
StmtResult | RebuildSEHTryStmt (bool IsCXXTry, SourceLocation TryLoc, Stmt *TryBlock, Stmt *Handler) |
StmtResult | RebuildSEHExceptStmt (SourceLocation Loc, Expr *FilterExpr, Stmt *Block) |
StmtResult | RebuildSEHFinallyStmt (SourceLocation Loc, Stmt *Block) |
ExprResult | RebuildPredefinedExpr (SourceLocation Loc, PredefinedExpr::IdentType IT) |
Build a new predefined expression. More... | |
ExprResult | RebuildDeclarationNameExpr (const CXXScopeSpec &SS, LookupResult &R, bool RequiresADL) |
Build a new expression that references a declaration. More... | |
ExprResult | RebuildDeclRefExpr (NestedNameSpecifierLoc QualifierLoc, ValueDecl *VD, const DeclarationNameInfo &NameInfo, TemplateArgumentListInfo *TemplateArgs) |
Build a new expression that references a declaration. More... | |
ExprResult | RebuildParenExpr (Expr *SubExpr, SourceLocation LParen, SourceLocation RParen) |
Build a new expression in parentheses. More... | |
ExprResult | RebuildCXXPseudoDestructorExpr (Expr *Base, SourceLocation OperatorLoc, bool isArrow, CXXScopeSpec &SS, TypeSourceInfo *ScopeType, SourceLocation CCLoc, SourceLocation TildeLoc, PseudoDestructorTypeStorage Destroyed) |
Build a new pseudo-destructor expression. More... | |
ExprResult | RebuildUnaryOperator (SourceLocation OpLoc, UnaryOperatorKind Opc, Expr *SubExpr) |
Build a new unary operator expression. More... | |
ExprResult | RebuildOffsetOfExpr (SourceLocation OperatorLoc, TypeSourceInfo *Type, ArrayRef< Sema::OffsetOfComponent > Components, SourceLocation RParenLoc) |
Build a new builtin offsetof expression. More... | |
ExprResult | RebuildUnaryExprOrTypeTrait (TypeSourceInfo *TInfo, SourceLocation OpLoc, UnaryExprOrTypeTrait ExprKind, SourceRange R) |
Build a new sizeof, alignof or vec_step expression with a type argument. More... | |
ExprResult | RebuildUnaryExprOrTypeTrait (Expr *SubExpr, SourceLocation OpLoc, UnaryExprOrTypeTrait ExprKind, SourceRange R) |
Build a new sizeof, alignof or vec step expression with an expression argument. More... | |
ExprResult | RebuildArraySubscriptExpr (Expr *LHS, SourceLocation LBracketLoc, Expr *RHS, SourceLocation RBracketLoc) |
Build a new array subscript expression. More... | |
ExprResult | RebuildOMPArraySectionExpr (Expr *Base, SourceLocation LBracketLoc, Expr *LowerBound, SourceLocation ColonLoc, Expr *Length, SourceLocation RBracketLoc) |
Build a new array section expression. More... | |
ExprResult | RebuildCallExpr (Expr *Callee, SourceLocation LParenLoc, MultiExprArg Args, SourceLocation RParenLoc, Expr *ExecConfig=nullptr) |
Build a new call expression. More... | |
ExprResult | RebuildMemberExpr (Expr *Base, SourceLocation OpLoc, bool isArrow, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, const DeclarationNameInfo &MemberNameInfo, ValueDecl *Member, NamedDecl *FoundDecl, const TemplateArgumentListInfo *ExplicitTemplateArgs, NamedDecl *FirstQualifierInScope) |
Build a new member access expression. More... | |
ExprResult | RebuildBinaryOperator (SourceLocation OpLoc, BinaryOperatorKind Opc, Expr *LHS, Expr *RHS) |
Build a new binary operator expression. More... | |
ExprResult | RebuildConditionalOperator (Expr *Cond, SourceLocation QuestionLoc, Expr *LHS, SourceLocation ColonLoc, Expr *RHS) |
Build a new conditional operator expression. More... | |
ExprResult | RebuildCStyleCastExpr (SourceLocation LParenLoc, TypeSourceInfo *TInfo, SourceLocation RParenLoc, Expr *SubExpr) |
Build a new C-style cast expression. More... | |
ExprResult | RebuildCompoundLiteralExpr (SourceLocation LParenLoc, TypeSourceInfo *TInfo, SourceLocation RParenLoc, Expr *Init) |
Build a new compound literal expression. More... | |
ExprResult | RebuildExtVectorElementExpr (Expr *Base, SourceLocation OpLoc, SourceLocation AccessorLoc, IdentifierInfo &Accessor) |
Build a new extended vector element access expression. More... | |
ExprResult | RebuildInitList (SourceLocation LBraceLoc, MultiExprArg Inits, SourceLocation RBraceLoc, QualType ResultTy) |
Build a new initializer list expression. More... | |
ExprResult | RebuildDesignatedInitExpr (Designation &Desig, MultiExprArg ArrayExprs, SourceLocation EqualOrColonLoc, bool GNUSyntax, Expr *Init) |
Build a new designated initializer expression. More... | |
ExprResult | RebuildImplicitValueInitExpr (QualType T) |
Build a new value-initialized expression. More... | |
ExprResult | RebuildVAArgExpr (SourceLocation BuiltinLoc, Expr *SubExpr, TypeSourceInfo *TInfo, SourceLocation RParenLoc) |
Build a new va_arg expression. More... | |
ExprResult | RebuildParenListExpr (SourceLocation LParenLoc, MultiExprArg SubExprs, SourceLocation RParenLoc) |
Build a new expression list in parentheses. More... | |
ExprResult | RebuildAddrLabelExpr (SourceLocation AmpAmpLoc, SourceLocation LabelLoc, LabelDecl *Label) |
Build a new address-of-label expression. More... | |
ExprResult | RebuildStmtExpr (SourceLocation LParenLoc, Stmt *SubStmt, SourceLocation RParenLoc) |
Build a new GNU statement expression. More... | |
ExprResult | RebuildChooseExpr (SourceLocation BuiltinLoc, Expr *Cond, Expr *LHS, Expr *RHS, SourceLocation RParenLoc) |
Build a new __builtin_choose_expr expression. More... | |
ExprResult | RebuildGenericSelectionExpr (SourceLocation KeyLoc, SourceLocation DefaultLoc, SourceLocation RParenLoc, Expr *ControllingExpr, ArrayRef< TypeSourceInfo * > Types, ArrayRef< Expr * > Exprs) |
Build a new generic selection expression. More... | |
ExprResult | RebuildCXXOperatorCallExpr (OverloadedOperatorKind Op, SourceLocation OpLoc, Expr *Callee, Expr *First, Expr *Second) |
Build a new overloaded operator call expression. More... | |
ExprResult | RebuildCXXNamedCastExpr (SourceLocation OpLoc, Stmt::StmtClass Class, SourceLocation LAngleLoc, TypeSourceInfo *TInfo, SourceLocation RAngleLoc, SourceLocation LParenLoc, Expr *SubExpr, SourceLocation RParenLoc) |
Build a new C++ "named" cast expression, such as static_cast or reinterpret_cast. More... | |
ExprResult | RebuildCXXStaticCastExpr (SourceLocation OpLoc, SourceLocation LAngleLoc, TypeSourceInfo *TInfo, SourceLocation RAngleLoc, SourceLocation LParenLoc, Expr *SubExpr, SourceLocation RParenLoc) |
Build a new C++ static_cast expression. More... | |
ExprResult | RebuildCXXDynamicCastExpr (SourceLocation OpLoc, SourceLocation LAngleLoc, TypeSourceInfo *TInfo, SourceLocation RAngleLoc, SourceLocation LParenLoc, Expr *SubExpr, SourceLocation RParenLoc) |
Build a new C++ dynamic_cast expression. More... | |
ExprResult | RebuildCXXReinterpretCastExpr (SourceLocation OpLoc, SourceLocation LAngleLoc, TypeSourceInfo *TInfo, SourceLocation RAngleLoc, SourceLocation LParenLoc, Expr *SubExpr, SourceLocation RParenLoc) |
Build a new C++ reinterpret_cast expression. More... | |
ExprResult | RebuildCXXConstCastExpr (SourceLocation OpLoc, SourceLocation LAngleLoc, TypeSourceInfo *TInfo, SourceLocation RAngleLoc, SourceLocation LParenLoc, Expr *SubExpr, SourceLocation RParenLoc) |
Build a new C++ const_cast expression. More... | |
ExprResult | RebuildCXXFunctionalCastExpr (TypeSourceInfo *TInfo, SourceLocation LParenLoc, Expr *Sub, SourceLocation RParenLoc) |
Build a new C++ functional-style cast expression. More... | |
ExprResult | RebuildCXXTypeidExpr (QualType TypeInfoType, SourceLocation TypeidLoc, TypeSourceInfo *Operand, SourceLocation RParenLoc) |
Build a new C++ typeid(type) expression. More... | |
ExprResult | RebuildCXXTypeidExpr (QualType TypeInfoType, SourceLocation TypeidLoc, Expr *Operand, SourceLocation RParenLoc) |
Build a new C++ typeid(expr) expression. More... | |
ExprResult | RebuildCXXUuidofExpr (QualType TypeInfoType, SourceLocation TypeidLoc, TypeSourceInfo *Operand, SourceLocation RParenLoc) |
Build a new C++ __uuidof(type) expression. More... | |
ExprResult | RebuildCXXUuidofExpr (QualType TypeInfoType, SourceLocation TypeidLoc, Expr *Operand, SourceLocation RParenLoc) |
Build a new C++ __uuidof(expr) expression. More... | |
ExprResult | RebuildCXXThisExpr (SourceLocation ThisLoc, QualType ThisType, bool isImplicit) |
Build a new C++ "this" expression. More... | |
ExprResult | RebuildCXXThrowExpr (SourceLocation ThrowLoc, Expr *Sub, bool IsThrownVariableInScope) |
Build a new C++ throw expression. More... | |
ExprResult | RebuildCXXDefaultArgExpr (SourceLocation Loc, ParmVarDecl *Param) |
Build a new C++ default-argument expression. More... | |
ExprResult | RebuildCXXDefaultInitExpr (SourceLocation Loc, FieldDecl *Field) |
Build a new C++11 default-initialization expression. More... | |
ExprResult | RebuildCXXScalarValueInitExpr (TypeSourceInfo *TSInfo, SourceLocation LParenLoc, SourceLocation RParenLoc) |
Build a new C++ zero-initialization expression. More... | |
ExprResult | RebuildCXXNewExpr (SourceLocation StartLoc, bool UseGlobal, SourceLocation PlacementLParen, MultiExprArg PlacementArgs, SourceLocation PlacementRParen, SourceRange TypeIdParens, QualType AllocatedType, TypeSourceInfo *AllocatedTypeInfo, Expr *ArraySize, SourceRange DirectInitRange, Expr *Initializer) |
Build a new C++ "new" expression. More... | |
ExprResult | RebuildCXXDeleteExpr (SourceLocation StartLoc, bool IsGlobalDelete, bool IsArrayForm, Expr *Operand) |
Build a new C++ "delete" expression. More... | |
ExprResult | RebuildTypeTrait (TypeTrait Trait, SourceLocation StartLoc, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc) |
Build a new type trait expression. More... | |
ExprResult | RebuildArrayTypeTrait (ArrayTypeTrait Trait, SourceLocation StartLoc, TypeSourceInfo *TSInfo, Expr *DimExpr, SourceLocation RParenLoc) |
Build a new array type trait expression. More... | |
ExprResult | RebuildExpressionTrait (ExpressionTrait Trait, SourceLocation StartLoc, Expr *Queried, SourceLocation RParenLoc) |
Build a new expression trait expression. More... | |
ExprResult | RebuildDependentScopeDeclRefExpr (NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, const DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *TemplateArgs, bool IsAddressOfOperand, TypeSourceInfo **RecoveryTSI) |
Build a new (previously unresolved) declaration reference expression. More... | |
ExprResult | RebuildTemplateIdExpr (const CXXScopeSpec &SS, SourceLocation TemplateKWLoc, LookupResult &R, bool RequiresADL, const TemplateArgumentListInfo *TemplateArgs) |
Build a new template-id expression. More... | |
ExprResult | RebuildCXXConstructExpr (QualType T, SourceLocation Loc, CXXConstructorDecl *Constructor, bool IsElidable, MultiExprArg Args, bool HadMultipleCandidates, bool ListInitialization, bool StdInitListInitialization, bool RequiresZeroInit, CXXConstructExpr::ConstructionKind ConstructKind, SourceRange ParenRange) |
Build a new object-construction expression. More... | |
ExprResult | RebuildCXXInheritedCtorInitExpr (QualType T, SourceLocation Loc, CXXConstructorDecl *Constructor, bool ConstructsVBase, bool InheritedFromVBase) |
Build a new implicit construction via inherited constructor expression. More... | |
ExprResult | RebuildCXXTemporaryObjectExpr (TypeSourceInfo *TSInfo, SourceLocation LParenLoc, MultiExprArg Args, SourceLocation RParenLoc) |
Build a new object-construction expression. More... | |
ExprResult | RebuildCXXUnresolvedConstructExpr (TypeSourceInfo *TSInfo, SourceLocation LParenLoc, MultiExprArg Args, SourceLocation RParenLoc) |
Build a new object-construction expression. More... | |
ExprResult | RebuildCXXDependentScopeMemberExpr (Expr *BaseE, QualType BaseType, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, const DeclarationNameInfo &MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs) |
Build a new member reference expression. More... | |
ExprResult | RebuildUnresolvedMemberExpr (Expr *BaseE, QualType BaseType, SourceLocation OperatorLoc, bool IsArrow, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, LookupResult &R, const TemplateArgumentListInfo *TemplateArgs) |
Build a new member reference expression. More... | |
ExprResult | RebuildCXXNoexceptExpr (SourceRange Range, Expr *Arg) |
Build a new noexcept expression. More... | |
ExprResult | RebuildSizeOfPackExpr (SourceLocation OperatorLoc, NamedDecl *Pack, SourceLocation PackLoc, SourceLocation RParenLoc, Optional< unsigned > Length, ArrayRef< TemplateArgument > PartialArgs) |
Build a new expression to compute the length of a parameter pack. More... | |
ExprResult | RebuildObjCBoxedExpr (SourceRange SR, Expr *ValueExpr) |
Build a new Objective-C boxed expression. More... | |
ExprResult | RebuildObjCArrayLiteral (SourceRange Range, Expr **Elements, unsigned NumElements) |
Build a new Objective-C array literal. More... | |
ExprResult | RebuildObjCSubscriptRefExpr (SourceLocation RB, Expr *Base, Expr *Key, ObjCMethodDecl *getterMethod, ObjCMethodDecl *setterMethod) |
ExprResult | RebuildObjCDictionaryLiteral (SourceRange Range, MutableArrayRef< ObjCDictionaryElement > Elements) |
Build a new Objective-C dictionary literal. More... | |
ExprResult | RebuildObjCEncodeExpr (SourceLocation AtLoc, TypeSourceInfo *EncodeTypeInfo, SourceLocation RParenLoc) |
Build a new Objective-C @encode expression. More... | |
ExprResult | RebuildObjCMessageExpr (TypeSourceInfo *ReceiverTypeInfo, Selector Sel, ArrayRef< SourceLocation > SelectorLocs, ObjCMethodDecl *Method, SourceLocation LBracLoc, MultiExprArg Args, SourceLocation RBracLoc) |
Build a new Objective-C class message. More... | |
ExprResult | RebuildObjCMessageExpr (Expr *Receiver, Selector Sel, ArrayRef< SourceLocation > SelectorLocs, ObjCMethodDecl *Method, SourceLocation LBracLoc, MultiExprArg Args, SourceLocation RBracLoc) |
Build a new Objective-C instance message. More... | |
ExprResult | RebuildObjCMessageExpr (SourceLocation SuperLoc, Selector Sel, ArrayRef< SourceLocation > SelectorLocs, QualType SuperType, ObjCMethodDecl *Method, SourceLocation LBracLoc, MultiExprArg Args, SourceLocation RBracLoc) |
Build a new Objective-C instance/class message to 'super'. More... | |
ExprResult | RebuildObjCIvarRefExpr (Expr *BaseArg, ObjCIvarDecl *Ivar, SourceLocation IvarLoc, bool IsArrow, bool IsFreeIvar) |
Build a new Objective-C ivar reference expression. More... | |
ExprResult | RebuildObjCPropertyRefExpr (Expr *BaseArg, ObjCPropertyDecl *Property, SourceLocation PropertyLoc) |
Build a new Objective-C property reference expression. More... | |
ExprResult | RebuildObjCPropertyRefExpr (Expr *Base, QualType T, ObjCMethodDecl *Getter, ObjCMethodDecl *Setter, SourceLocation PropertyLoc) |
Build a new Objective-C property reference expression. More... | |
ExprResult | RebuildObjCIsaExpr (Expr *BaseArg, SourceLocation IsaLoc, SourceLocation OpLoc, bool IsArrow) |
Build a new Objective-C "isa" expression. More... | |
ExprResult | RebuildShuffleVectorExpr (SourceLocation BuiltinLoc, MultiExprArg SubExprs, SourceLocation RParenLoc) |
Build a new shuffle vector expression. More... | |
ExprResult | RebuildConvertVectorExpr (SourceLocation BuiltinLoc, Expr *SrcExpr, TypeSourceInfo *DstTInfo, SourceLocation RParenLoc) |
Build a new convert vector expression. More... | |
TemplateArgumentLoc | RebuildPackExpansion (TemplateArgumentLoc Pattern, SourceLocation EllipsisLoc, Optional< unsigned > NumExpansions) |
Build a new template argument pack expansion. More... | |
ExprResult | RebuildPackExpansion (Expr *Pattern, SourceLocation EllipsisLoc, Optional< unsigned > NumExpansions) |
Build a new expression pack expansion. More... | |
ExprResult | RebuildCXXFoldExpr (SourceLocation LParenLoc, Expr *LHS, BinaryOperatorKind Operator, SourceLocation EllipsisLoc, Expr *RHS, SourceLocation RParenLoc) |
Build a new C++1z fold-expression. More... | |
ExprResult | RebuildEmptyCXXFoldExpr (SourceLocation EllipsisLoc, BinaryOperatorKind Operator) |
Build an empty C++1z fold-expression with the given operator. More... | |
ExprResult | RebuildAtomicExpr (SourceLocation BuiltinLoc, MultiExprArg SubExprs, QualType RetTy, AtomicExpr::AtomicOp Op, SourceLocation RParenLoc) |
Build a new atomic operation expression. More... | |
template<typename Derived > | |
QualType | TransformFunctionProtoType (TypeLocBuilder &TLB, FunctionProtoTypeLoc TL) |
Static Public Member Functions | |
static ExprResult | Owned (Expr *E) |
static StmtResult | Owned (Stmt *S) |
Protected Attributes | |
Sema & | SemaRef |
llvm::DenseMap< Decl *, Decl * > | TransformedLocalDecls |
The set of local declarations that have been transformed, for cases where we are forced to build new declarations within the transformer rather than in the subclass (e.g., lambda closure types). More... | |
A semantic tree transformation that allows one to transform one abstract syntax tree into another.
A new tree transformation is defined by creating a new subclass X
of TreeTransform<X>
and then overriding certain operations to provide behavior specific to that transformation. For example, template instantiation is implemented as a tree transformation where the transformation of TemplateTypeParmType nodes involves substituting the template arguments for their corresponding template parameters; a similar transformation is performed for non-type template parameters and template template parameters.
This tree-transformation template uses static polymorphism to allow subclasses to customize any of its operations. Thus, a subclass can override any of the transformation or rebuild operators by providing an operation with the same signature as the default implementation. The overridding function should not be virtual.
Semantic tree transformations are split into two stages, either of which can be replaced by a subclass. The "transform" step transforms an AST node or the parts of an AST node using the various transformation functions, then passes the pieces on to the "rebuild" step, which constructs a new AST node of the appropriate kind from the pieces. The default transformation routines recursively transform the operands to composite AST nodes (e.g., the pointee type of a PointerType node) and, if any of those operand nodes were changed by the transformation, invokes the rebuild operation to create a new AST node.
Subclasses can customize the transformation at various levels. The most coarse-grained transformations involve replacing TransformType(), TransformExpr(), TransformDecl(), TransformNestedNameSpecifierLoc(), TransformTemplateName(), or TransformTemplateArgument() with entirely new implementations.
For more fine-grained transformations, subclasses can replace any of the TransformXXX
functions (where XXX is the name of an AST node, e.g., PointerType, StmtExpr) to alter the transformation. As mentioned previously, replacing TransformTemplateTypeParmType() allows template instantiation to substitute template arguments for their corresponding template parameters. Additionally, subclasses can override the RebuildXXX
functions to control how AST nodes are rebuilt when their operands change. By default, TreeTransform
will invoke semantic analysis to rebuild AST nodes. However, certain other tree transformations (e.g, cloning) may be able to use more efficient rebuild steps.
There are a handful of other functions that can be overridden, allowing one to avoid traversing nodes that don't need any transformation (AlreadyTransformed()
), force rebuilding AST nodes even when their operands have not changed (AlwaysRebuild()
), and customize the default locations and entity names used for type-checking (getBaseLocation()
, getBaseEntity()
).
Definition at line 95 of file TreeTransform.h.
|
inline |
Initializes a new tree transformer.
Definition at line 123 of file TreeTransform.h.
|
inline |
Determine whether the given type T
has already been transformed.
Subclasses can provide an alternative implementation of this routine to short-circuit evaluation when it is known that a given type will not change. For example, template instantiation need not traverse non-dependent types.
Definition at line 202 of file TreeTransform.h.
References clang::QualType::isNull().
|
inline |
Whether the transformation should always rebuild AST nodes, even if none of the children have changed.
Subclasses may override this function to specify when the transformation should rebuild all AST nodes.
We must always rebuild all AST nodes when performing variadic template pack expansion, in order to avoid violating the AST invariant that each statement node appears at most once in its containing declaration.
Definition at line 149 of file TreeTransform.h.
|
inline |
Determine whether the given call argument should be dropped, e.g., because it is a default argument.
Subclasses can provide an alternative implementation of this routine to determine which kinds of call arguments get dropped. By default, CXXDefaultArgument nodes are dropped (prior to transformation).
Definition at line 212 of file TreeTransform.h.
References clang::Expr::isDefaultArgument().
|
inline |
Note to the derived class when a function parameter pack is being expanded.
Definition at line 281 of file TreeTransform.h.
|
inline |
Attach body to a C++0x range-based for statement.
By default, performs semantic analysis to finish the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1941 of file TreeTransform.h.
|
inline |
"Forget" about the partially-substituted pack template argument, when performing an instantiation that must preserve the parameter pack use.
This routine is meant to be overridden by the template instantiator.
Definition at line 268 of file TreeTransform.h.
|
inline |
Returns the name of the entity being transformed, if that information was not available elsewhere in the AST.
By default, returns an empty name. Subclasses can provide an alternative implementation with a more precise name.
Definition at line 164 of file TreeTransform.h.
|
inline |
Returns the location of the entity being transformed, if that information was not available elsewhere in the AST.
By default, returns no source-location information. Subclasses can provide an alternative implementation that provides better location information.
Definition at line 157 of file TreeTransform.h.
|
inline |
Retrieves a reference to the derived class.
Definition at line 126 of file TreeTransform.h.
Referenced by clang::TreeTransform< Derived >::TemporaryBase::TemporaryBase().
|
inline |
Retrieves a reference to the derived class.
Definition at line 129 of file TreeTransform.h.
|
inline |
Retrieves a reference to the semantic analysis object used for this tree transform.
Definition at line 138 of file TreeTransform.h.
void clang::TreeTransform< Derived >::InventTemplateArgumentLoc | ( | const TemplateArgument & | Arg, |
TemplateArgumentLoc & | ArgLoc | ||
) |
Fakes up a TemplateArgumentLoc for a given TemplateArgument.
Definition at line 3673 of file TreeTransform.h.
References Builder, clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateName::getAsDependentTemplateName(), clang::TemplateArgument::getAsExpr(), clang::TemplateName::getAsQualifiedTemplateName(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::NestedNameSpecifierLocBuilder::getWithLocInContext(), clang::TemplateArgument::Integral, clang::NestedNameSpecifierLocBuilder::MakeTrivial(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
|
inline |
Fakes up a TypeSourceInfo for a type.
Definition at line 569 of file TreeTransform.h.
|
inlinestatic |
Definition at line 133 of file TreeTransform.h.
References E.
|
inlinestatic |
Definition at line 134 of file TreeTransform.h.
References S.
|
inline |
Build a new address-of-label expression.
By default, performs semantic analysis, using the name of the label rather than attempting to map the label statement itself. Subclasses may override this routine to provide different behavior.
Definition at line 2301 of file TreeTransform.h.
|
inline |
Build a new array subscript expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2071 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildArrayType | ( | QualType | ElementType, |
ArrayType::ArraySizeModifier | SizeMod, | ||
const llvm::APInt * | Size, | ||
Expr * | SizeExpr, | ||
unsigned | IndexTypeQuals, | ||
SourceRange | BracketsRange | ||
) |
Build a new array type given the element type, size modifier, size of the array (if known), size expression, and index type qualifiers.
By default, performs semantic analysis when building the array type. Subclasses may override this routine to provide different behavior. Also by default, all of the other Rebuild*Array
Definition at line 11505 of file TreeTransform.h.
References clang::IntegerLiteral::Create(), clang::SourceRange::getBegin(), and I.
|
inline |
Build a new array type trait expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2633 of file TreeTransform.h.
|
inline |
Build a new atomic operation expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 3113 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildAtomicType | ( | QualType | ValueType, |
SourceLocation | KWLoc | ||
) |
Build a new atomic type given its value type.
By default, performs semantic analysis when building the atomic type. Subclasses may override this routine to provide different behavior.
Definition at line 11686 of file TreeTransform.h.
|
inline |
Build a new label statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1166 of file TreeTransform.h.
|
inline |
Build a new C++11 auto type.
By default, builds a new AutoType with the given deduced type.
Definition at line 860 of file TreeTransform.h.
|
inline |
Build a new binary operator expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2164 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildBlockPointerType | ( | QualType | PointeeType, |
SourceLocation | Sigil | ||
) |
Build a new block pointer type given its pointee type.
By default, performs semantic analysis when building the block pointer type. Subclasses may override this routine to provide different behavior.
Definition at line 11454 of file TreeTransform.h.
|
inline |
Build a new call expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2096 of file TreeTransform.h.
|
inline |
Build a new case statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1124 of file TreeTransform.h.
|
inline |
Attach the body to a new case statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1137 of file TreeTransform.h.
References S.
|
inline |
Build a new __builtin_choose_expr expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2320 of file TreeTransform.h.
|
inline |
Build a new co_await expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1314 of file TreeTransform.h.
|
inline |
Build a new compound literal expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2199 of file TreeTransform.h.
|
inline |
Build a new compound statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1112 of file TreeTransform.h.
|
inline |
Build a new conditional operator expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2174 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildConstantArrayType | ( | QualType | ElementType, |
ArrayType::ArraySizeModifier | SizeMod, | ||
const llvm::APInt & | Size, | ||
unsigned | IndexTypeQuals, | ||
SourceRange | BracketsRange | ||
) |
Build a new constant array type given the element type, size modifier, (known) size of the array, and index type qualifiers.
By default, performs semantic analysis when building the array type. Subclasses may override this routine to provide different behavior.
Definition at line 11541 of file TreeTransform.h.
|
inline |
Build a new convert vector expression.
Definition at line 3023 of file TreeTransform.h.
|
inline |
Build a new co_return statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1306 of file TreeTransform.h.
|
inline |
Build a new co_yield expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1322 of file TreeTransform.h.
|
inline |
Build a new C-style cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2187 of file TreeTransform.h.
|
inline |
Build a new C++ catch statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1874 of file TreeTransform.h.
References Context.
|
inline |
Build a new C++ const_cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2452 of file TreeTransform.h.
|
inline |
Build a new object-construction expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2692 of file TreeTransform.h.
References clang::ExprError().
|
inline |
Build a new C++ default-argument expression.
By default, builds a new default-argument expression, which does not require any semantic analysis. Subclasses may override this routine to provide different behavior.
Definition at line 2553 of file TreeTransform.h.
References Context, and clang::CXXDefaultArgExpr::Create().
|
inline |
Build a new C++11 default-initialization expression.
By default, builds a new default field initialization expression, which does not require any semantic analysis. Subclasses may override this routine to provide different behavior.
Definition at line 2563 of file TreeTransform.h.
References Context, and clang::CXXDefaultInitExpr::Create().
|
inline |
Build a new C++ "delete" expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2610 of file TreeTransform.h.
|
inline |
Build a new member reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2760 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt().
|
inline |
Build a new C++ dynamic_cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2418 of file TreeTransform.h.
|
inline |
Build a new C++1z fold-expression.
By default, performs semantic analysis in order to build a new fold expression.
Definition at line 3092 of file TreeTransform.h.
|
inline |
Build a new C++0x range-based for statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1894 of file TreeTransform.h.
References clang::Sema::BFRK_Rebuild, clang::Expr::getType(), clang::Type::isObjCObjectPointerType(), clang::Expr::isTypeDependent(), and clang::StmtError().
|
inline |
Build a new C++ functional-style cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2469 of file TreeTransform.h.
|
inline |
Build a new implicit construction via inherited constructor expression.
Definition at line 2720 of file TreeTransform.h.
|
inline |
Build a new C++ "named" cast expression, such as static_cast or reinterpret_cast.
By default, this routine dispatches to one of the more-specific routines for a particular named case, e.g., RebuildCXXStaticCastExpr(). Subclasses may override this routine to provide different behavior.
Definition at line 2362 of file TreeTransform.h.
|
inline |
Build a new C++ "new" expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2583 of file TreeTransform.h.
|
inline |
Build a new noexcept expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2806 of file TreeTransform.h.
References clang::SourceRange::getBegin(), and clang::SourceRange::getEnd().
ExprResult clang::TreeTransform< Derived >::RebuildCXXOperatorCallExpr | ( | OverloadedOperatorKind | Op, |
SourceLocation | OpLoc, | ||
Expr * | Callee, | ||
Expr * | First, | ||
Expr * | Second | ||
) |
Build a new overloaded operator call expression.
By default, performs semantic analysis to build the new expression. The semantic analysis provides the behavior of template instantiation, copying with transformations that turn what looks like an overloaded operator call into a use of a builtin operator, performing argument-dependent lookup, etc. Subclasses may override this routine to provide different behavior.
Definition at line 11747 of file TreeTransform.h.
References clang::UnresolvedSetImpl::addDecl(), clang::UnresolvedSetImpl::append(), clang::DeclarationNameLoc::CXXOpName::BeginOpNameLoc, clang::DeclarationNameLoc::CXXOperatorName, clang::DeclarationNameLoc::CXXOpName::EndOpNameLoc, clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::SourceLocation::getFromRawEncoding(), clang::Expr::getObjectKind(), clang::UnaryOperator::getOverloadedOpcode(), clang::BinaryOperator::getOverloadedOpcode(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::BinaryOperator::isAssignmentOp(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Type::isOverloadableType(), clang::NumArgs, and clang::OK_ObjCProperty.
ExprResult clang::TreeTransform< Derived >::RebuildCXXPseudoDestructorExpr | ( | Expr * | Base, |
SourceLocation | OperatorLoc, | ||
bool | isArrow, | ||
CXXScopeSpec & | SS, | ||
TypeSourceInfo * | ScopeType, | ||
SourceLocation | CCLoc, | ||
SourceLocation | TildeLoc, | ||
PseudoDestructorTypeStorage | Destroyed | ||
) |
Build a new pseudo-destructor expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 11865 of file TreeTransform.h.
References clang::ExprError(), clang::CXXScopeSpec::Extend(), clang::Type::getAs(), clang::TypeLoc::getBeginLoc(), clang::PseudoDestructorTypeStorage::getIdentifier(), clang::PseudoDestructorTypeStorage::getLocation(), clang::PointerType::getPointeeType(), clang::TypeSourceInfo::getType(), clang::Expr::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::PseudoDestructorTypeStorage::getTypeSourceInfo(), clang::Expr::isTypeDependent(), clang::Name, and clang::DeclarationNameInfo::setNamedTypeInfo().
|
inline |
Build a new C++ reinterpret_cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2435 of file TreeTransform.h.
|
inline |
Build a new C++ zero-initialization expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2572 of file TreeTransform.h.
References clang::None.
|
inline |
Build a new C++ static_cast expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2401 of file TreeTransform.h.
|
inline |
Build a new object-construction expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2732 of file TreeTransform.h.
|
inline |
Build a new C++ "this" expression.
By default, builds a new "this" expression without performing any semantic analysis. Subclasses may override this routine to provide different behavior.
Definition at line 2532 of file TreeTransform.h.
|
inline |
Build a new C++ throw expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2543 of file TreeTransform.h.
|
inline |
Build a new C++ try statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1885 of file TreeTransform.h.
|
inline |
Build a new C++ typeid(type) expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2482 of file TreeTransform.h.
|
inline |
Build a new C++ typeid(expr) expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2495 of file TreeTransform.h.
|
inline |
Build a new object-construction expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2746 of file TreeTransform.h.
|
inline |
Build a new C++ __uuidof(type) expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2507 of file TreeTransform.h.
|
inline |
Build a new C++ __uuidof(expr) expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2519 of file TreeTransform.h.
|
inline |
Build a new expression that references a declaration.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1972 of file TreeTransform.h.
|
inline |
Build a new expression that references a declaration.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1983 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt().
|
inline |
Build a new declaration statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1264 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildDecltypeType | ( | Expr * | Underlying, |
SourceLocation | Loc | ||
) |
Build a new C++11 decltype type.
By default, performs semantic analysis when building the decltype type. Subclasses may override this routine to provide different behavior.
Definition at line 11665 of file TreeTransform.h.
|
inline |
Build a new default statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1146 of file TreeTransform.h.
|
inline |
Build a new typename type that refers to an identifier.
By default, performs semantic analysis when building the typename type (or elaborated type). Subclasses may override this routine to provide different behavior.
Definition at line 947 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt(), clang::LookupResult::Ambiguous, clang::ETK_None, clang::ETK_Typename, clang::LookupResult::Found, clang::LookupResult::FoundOverloaded, clang::LookupResult::FoundUnresolvedValue, clang::LookupResult::getAsSingle(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::LookupResult::getRepresentativeDecl(), clang::LookupResult::getResultKind(), clang::NestedNameSpecifierLoc::getSourceRange(), clang::TypeWithKeyword::getTagTypeKindForKeyword(), clang::NestedNameSpecifier::isDependent(), clang::Sema::LookupTagName, clang::LookupResult::NotFound, clang::LookupResult::NotFoundInCurrentInstantiation, and clang::Result.
|
inline |
Build a new (previously unresolved) declaration reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2657 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt(), and clang::SourceLocation::isValid().
QualType clang::TreeTransform< Derived >::RebuildDependentSizedArrayType | ( | QualType | ElementType, |
ArrayType::ArraySizeModifier | SizeMod, | ||
Expr * | SizeExpr, | ||
unsigned | IndexTypeQuals, | ||
SourceRange | BracketsRange | ||
) |
Build a new dependent-sized array type given the element type, size modifier, size expression, and index type qualifiers.
By default, performs semantic analysis when building the array type. Subclasses may override this routine to provide different behavior.
Definition at line 11574 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildDependentSizedExtVectorType | ( | QualType | ElementType, |
Expr * | SizeExpr, | ||
SourceLocation | AttributeLoc | ||
) |
Build a new potentially dependently-sized extended vector type given the element type and number of elements.
By default, performs semantic analysis when building the vector type. Subclasses may override this routine to provide different behavior.
Definition at line 11606 of file TreeTransform.h.
|
inline |
Build a new typename type that refers to a template-id.
By default, builds a new DependentNameType type from the nested-name-specifier and the given type. Subclasses may override this routine to provide different behavior.
Definition at line 904 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt(), clang::ETK_None, clang::TemplateName::getAsDependentTemplateName(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::TemplateName::isNull(), clang::QualType::isNull(), and clang::Name.
|
inline |
Build a new designated initializer expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2251 of file TreeTransform.h.
References clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::Result.
|
inline |
Build a new do-while statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1214 of file TreeTransform.h.
|
inline |
Build a new qualified name type.
By default, builds a new ElaboratedType type from the keyword, the nested-name-specifier and the named type. Subclasses may override this routine to provide different behavior.
Definition at line 890 of file TreeTransform.h.
References clang::NestedNameSpecifierLoc::getNestedNameSpecifier().
|
inline |
Build an empty C++1z fold-expression with the given operator.
By default, produces the fallback value for the fold-expression, or produce an error if there is no fallback value.
Definition at line 3104 of file TreeTransform.h.
|
inline |
Build a new Enum type.
Definition at line 831 of file TreeTransform.h.
|
inline |
Build a new C++ exception declaration.
By default, performs semantic analysis to build the new decaration. Subclasses may override this routine to provide different behavior.
Definition at line 1858 of file TreeTransform.h.
|
inline |
Build a new expression trait expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2645 of file TreeTransform.h.
|
inline |
Build a new extended vector element access expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2211 of file TreeTransform.h.
References clang::Expr::getType().
QualType clang::TreeTransform< Derived >::RebuildExtVectorType | ( | QualType | ElementType, |
unsigned | NumElements, | ||
SourceLocation | AttributeLoc | ||
) |
Build a new extended vector type given the element type and number of elements.
By default, performs semantic analysis when building the vector type. Subclasses may override this routine to provide different behavior.
Definition at line 11593 of file TreeTransform.h.
References clang::IntegerLiteral::Create().
|
inline |
Build a new for statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1225 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildFunctionNoProtoType | ( | QualType | ResultType | ) |
Build a new unprototyped function type.
Definition at line 11624 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildFunctionProtoType | ( | QualType | T, |
MutableArrayRef< QualType > | ParamTypes, | ||
const FunctionProtoType::ExtProtoInfo & | EPI | ||
) |
Build a new function type.
By default, performs semantic analysis when building the function type. Subclasses may override this routine to provide different behavior.
Definition at line 11613 of file TreeTransform.h.
|
inline |
Build a new inline asm statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1274 of file TreeTransform.h.
|
inline |
Build a new generic selection expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2332 of file TreeTransform.h.
|
inline |
Build a new goto statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1237 of file TreeTransform.h.
|
inline |
Build a new "if" statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1176 of file TreeTransform.h.
|
inline |
Build a new value-initialized expression.
By default, builds the implicit value initialization without performing any semantic analysis. Subclasses may override this routine to provide different behavior.
Definition at line 2270 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildIncompleteArrayType | ( | QualType | ElementType, |
ArrayType::ArraySizeModifier | SizeMod, | ||
unsigned | IndexTypeQuals, | ||
SourceRange | BracketsRange | ||
) |
Build a new incomplete array type given the element type, size modifier, and index type qualifiers.
By default, performs semantic analysis when building the array type. Subclasses may override this routine to provide different behavior.
Definition at line 11552 of file TreeTransform.h.
|
inline |
Build a new indirect goto statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1246 of file TreeTransform.h.
|
inline |
Build a new initializer list expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2231 of file TreeTransform.h.
References clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Type::isDependentType(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::Result, and clang::Expr::setType().
|
inline |
Build a new label statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1157 of file TreeTransform.h.
|
inline |
Build a new member access expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2108 of file TreeTransform.h.
References clang::LookupResult::addDecl(), clang::CXXScopeSpec::Adopt(), clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::NamedDecl::getDeclName(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::Expr::getValueKind(), clang::Type::isRecordType(), clang::Sema::LookupMemberName, clang::OK_Ordinary, clang::LookupResult::resolveKind(), and clang::VK_LValue.
QualType clang::TreeTransform< Derived >::RebuildMemberPointerType | ( | QualType | PointeeType, |
QualType | ClassType, | ||
SourceLocation | Sigil | ||
) |
Build a new member pointer type given the pointee type and the class type it refers into.
By default, performs semantic analysis when building the member pointer type. Subclasses may override this routine to provide different behavior.
Definition at line 11471 of file TreeTransform.h.
|
inline |
Build a new MS style inline asm statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1289 of file TreeTransform.h.
|
inline |
Build a new C++0x range-based for statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1928 of file TreeTransform.h.
|
inline |
Build a new Objective-C array literal.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2833 of file TreeTransform.h.
|
inline |
Build a new Objective-C @catch statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1354 of file TreeTransform.h.
|
inline |
Build a new Objective-C @finally statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1366 of file TreeTransform.h.
|
inline |
Rebuild the operand to an Objective-C @synchronized statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1812 of file TreeTransform.h.
|
inline |
Build a new Objective-C @synchronized statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1821 of file TreeTransform.h.
|
inline |
Build a new Objective-C @throw statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1375 of file TreeTransform.h.
|
inline |
Build a new Objective-C @try statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1330 of file TreeTransform.h.
|
inline |
Build a new Objective-C @autoreleasepool statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1830 of file TreeTransform.h.
|
inline |
Build a new Objective-C boxed expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2825 of file TreeTransform.h.
|
inline |
Build a new Objective-C dictionary literal.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2851 of file TreeTransform.h.
|
inline |
Build a new Objective-C @encode expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2860 of file TreeTransform.h.
|
inline |
Rebuild an Objective-C exception declaration.
By default, performs semantic analysis to build the new declaration. Subclasses may override this routine to provide different behavior.
Definition at line 1342 of file TreeTransform.h.
References clang::NamedDecl::getIdentifier(), and clang::DeclaratorDecl::getInnerLocStart().
|
inline |
Build a new Objective-C fast enumeration statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1839 of file TreeTransform.h.
References clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::StmtError().
|
inline |
Build a new Objective-C "isa" expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2977 of file TreeTransform.h.
References Context, and clang::Expr::getType().
|
inline |
Build a new Objective-C ivar reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2923 of file TreeTransform.h.
References clang::NamedDecl::getDeclName(), and clang::Expr::getType().
|
inline |
Build a new Objective-C class message.
Definition at line 2867 of file TreeTransform.h.
References clang::TypeSourceInfo::getType().
|
inline |
Build a new Objective-C instance message.
Definition at line 2882 of file TreeTransform.h.
References clang::Expr::getType().
|
inline |
Build a new Objective-C instance/class message to 'super'.
Definition at line 2897 of file TreeTransform.h.
References clang::ObjCMethodDecl::isInstanceMethod().
QualType clang::TreeTransform< Derived >::RebuildObjCObjectPointerType | ( | QualType | PointeeType, |
SourceLocation | Star | ||
) |
Build a new Objective-C object pointer type given the pointee type.
By default, directly builds the pointer type, with no additional semantic analysis.
Definition at line 11497 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildObjCObjectType | ( | QualType | BaseType, |
SourceLocation | Loc, | ||
SourceLocation | TypeArgsLAngleLoc, | ||
ArrayRef< TypeSourceInfo * > | TypeArgs, | ||
SourceLocation | TypeArgsRAngleLoc, | ||
SourceLocation | ProtocolLAngleLoc, | ||
ArrayRef< ObjCProtocolDecl * > | Protocols, | ||
ArrayRef< SourceLocation > | ProtocolLocs, | ||
SourceLocation | ProtocolRAngleLoc | ||
) |
Build an Objective-C object type.
By default, performs semantic analysis when building the object type. Subclasses may override this routine to provide different behavior.
Definition at line 11479 of file TreeTransform.h.
|
inline |
Build a new Objective-C property reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2942 of file TreeTransform.h.
References clang::NamedDecl::getDeclName(), and clang::Expr::getType().
|
inline |
Build a new Objective-C property reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2961 of file TreeTransform.h.
References Context, clang::OK_ObjCProperty, and clang::VK_LValue.
|
inline |
Definition at line 2839 of file TreeTransform.h.
|
inline |
Build a new builtin offsetof expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2031 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'aligned' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1598 of file TreeTransform.h.
|
inline |
Build a new array section expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2084 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'collapse' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1456 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'copyin' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1611 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'copyprivate' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1623 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'default' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1467 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'depend' pseudo clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1648 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'device' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1660 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'dist_schedule' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1753 of file TreeTransform.h.
|
inline |
Build a new OpenMP executable directive.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1384 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'final' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1413 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'firstprivate' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1529 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'flush' pseudo clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1635 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'from' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1776 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'grainsize' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1720 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'hint' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1742 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'if' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1398 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'is_device_ptr' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1800 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'lastprivate' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1541 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'linear' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1582 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'map' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1672 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'num_tasks' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1731 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'num_teams' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1686 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'num_threads' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1424 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'ordered' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1507 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'priority' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1709 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'private' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1517 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'proc_bind' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1480 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'reduction' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1565 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'safelen' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1436 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'schedule' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1493 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'shared' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1553 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'simdlen' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1446 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'thread_limit' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1697 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'to' clause.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1765 of file TreeTransform.h.
|
inline |
Build a new OpenMP 'use_device_ptr' clause.
By default, performs semantic analysis to build the new OpenMP clause. Subclasses may override this routine to provide different behavior.
Definition at line 1788 of file TreeTransform.h.
|
inline |
Build a new template argument pack expansion.
By default, performs semantic analysis to build a new pack expansion for a template argument. Subclasses may override this routine to provide different behavior.
Definition at line 3035 of file TreeTransform.h.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getKind(), clang::TemplateArgumentLoc::getSourceExpression(), clang::TemplateArgumentLoc::getTemplateNameLoc(), clang::TemplateArgumentLoc::getTemplateQualifierLoc(), clang::TemplateArgumentLoc::getTypeSourceInfo(), clang::TemplateArgument::Integral, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::Result, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, and clang::TemplateArgument::Type.
|
inline |
Build a new expression pack expansion.
By default, performs semantic analysis to build a new pack expansion for an expression. Subclasses may override this routine to provide different behavior.
Definition at line 3083 of file TreeTransform.h.
|
inline |
Build a new pack expansion type.
By default, builds a new PackExpansionType type from the given pattern. Subclasses may override this routine to provide different behavior.
Definition at line 1044 of file TreeTransform.h.
|
inline |
Build a new expression in parentheses.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1999 of file TreeTransform.h.
|
inline |
Build a new expression list in parentheses.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2290 of file TreeTransform.h.
|
inline |
Build a new parenthesized type.
By default, builds a new ParenType type from the inner type. Subclasses may override this routine to provide different behavior.
Definition at line 881 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildPipeType | ( | QualType | ValueType, |
SourceLocation | KWLoc | ||
) |
Build a new pipe type given its value type.
Definition at line 11692 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildPointerType | ( | QualType | PointeeType, |
SourceLocation | Sigil | ||
) |
Build a new pointer type given its pointee type.
By default, performs semantic analysis when building the pointer type. Subclasses may override this routine to provide different behavior.
Definition at line 11447 of file TreeTransform.h.
|
inline |
Build a new predefined expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 1963 of file TreeTransform.h.
|
inline |
Build a new class/struct/union type.
Definition at line 826 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildReferenceType | ( | QualType | ReferentType, |
bool | LValue, | ||
SourceLocation | Sigil | ||
) |
Build a new reference type given the type it references.
By default, performs semantic analysis when building the reference type. Subclasses may override this routine to provide different behavior.
LValue | whether the type was written with an lvalue sigil or an rvalue sigil. |
Definition at line 11462 of file TreeTransform.h.
|
inline |
Build a new return statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1256 of file TreeTransform.h.
|
inline |
Definition at line 1950 of file TreeTransform.h.
|
inline |
Definition at line 1955 of file TreeTransform.h.
References clang::SEHFinallyStmt::Create().
|
inline |
Definition at line 1945 of file TreeTransform.h.
|
inline |
Build a new shuffle vector expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2994 of file TreeTransform.h.
References clang::DeclContextLookupResult::empty(), clang::DeclContextLookupResult::front(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Expr::getValueKindForType(), clang::DeclContext::lookup(), and clang::VK_RValue.
|
inline |
Build a new expression to compute the length of a parameter pack.
Definition at line 2811 of file TreeTransform.h.
References clang::SizeOfPackExpr::Create().
|
inline |
Build a new GNU statement expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2310 of file TreeTransform.h.
|
inline |
Attach the body to the switch statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1196 of file TreeTransform.h.
|
inline |
Start building a new switch statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1187 of file TreeTransform.h.
|
inline |
Build a new template-id expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2679 of file TreeTransform.h.
TemplateName clang::TreeTransform< Derived >::RebuildTemplateName | ( | CXXScopeSpec & | SS, |
bool | TemplateKW, | ||
TemplateDecl * | Template | ||
) |
Build a new template name given a nested name specifier, a flag indicating whether the "template" keyword was provided, and the template that the template name refers to.
By default, builds the new template name directly. Subclasses may override this routine to provide different behavior.
Definition at line 11699 of file TreeTransform.h.
References clang::CXXScopeSpec::getScopeRep().
TemplateName clang::TreeTransform< Derived >::RebuildTemplateName | ( | CXXScopeSpec & | SS, |
const IdentifierInfo & | Name, | ||
SourceLocation | NameLoc, | ||
QualType | ObjectType, | ||
NamedDecl * | FirstQualifierInScope | ||
) |
Build a new template name given a nested name specifier and the name that is referred to as a template.
By default, performs semantic analysis to determine whether the name can be resolved to a specific template, then builds the appropriate kind of template name. Subclasses may override this routine to provide different behavior.
Definition at line 11708 of file TreeTransform.h.
References clang::OpaquePtr< PtrTy >::get(), clang::OpaquePtr< QualType >::make(), and clang::UnqualifiedId::setIdentifier().
TemplateName clang::TreeTransform< Derived >::RebuildTemplateName | ( | CXXScopeSpec & | SS, |
OverloadedOperatorKind | Operator, | ||
SourceLocation | NameLoc, | ||
QualType | ObjectType | ||
) |
Build a new template name given a nested name specifier and the overloaded operator name that is referred to as a template.
By default, performs semantic analysis to determine whether the name can be resolved to a specific template, then builds the appropriate kind of template name. Subclasses may override this routine to provide different behavior.
Definition at line 11727 of file TreeTransform.h.
References clang::OpaquePtr< PtrTy >::get(), clang::OpaquePtr< QualType >::make(), clang::Name, and clang::UnqualifiedId::setOperatorFunctionId().
|
inline |
Build a new template name given a template template parameter pack and the.
By default, performs semantic analysis to determine whether the name can be resolved to a specific template, then builds the appropriate kind of template name. Subclasses may override this routine to provide different behavior.
Definition at line 1103 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildTemplateSpecializationType | ( | TemplateName | Template, |
SourceLocation | TemplateLoc, | ||
TemplateArgumentListInfo & | Args | ||
) |
Build a new template specialization type.
By default, performs semantic analysis when building the template specialization type. Subclasses may override this routine to provide different behavior.
Definition at line 11678 of file TreeTransform.h.
|
inline |
Build a new typedef type.
Definition at line 821 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildTypeOfExprType | ( | Expr * | Underlying, |
SourceLocation | Loc | ||
) |
Build a new typeof(expr) type.
By default, performs semantic analysis when building the typeof type. Subclasses may override this routine to provide different behavior.
Definition at line 11654 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildTypeOfType | ( | QualType | Underlying | ) |
Build a new typeof(type) type.
By default, builds a new TypeOfType with the given underlying type.
Definition at line 11660 of file TreeTransform.h.
|
inline |
Build a new type trait expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2622 of file TreeTransform.h.
|
inline |
Build a new sizeof, alignof or vec_step expression with a type argument.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2044 of file TreeTransform.h.
|
inline |
Build a new sizeof, alignof or vec step expression with an expression argument.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2056 of file TreeTransform.h.
References clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::Result.
|
inline |
Build a new unary operator expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2021 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildUnaryTransformType | ( | QualType | BaseType, |
UnaryTransformType::UTTKind | UKind, | ||
SourceLocation | Loc | ||
) |
Build a new unary transform type.
Definition at line 11671 of file TreeTransform.h.
|
inline |
Build a new member reference expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2784 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt().
QualType clang::TreeTransform< Derived >::RebuildUnresolvedUsingType | ( | Decl * | D | ) |
Rebuild an unresolved typename type, given the decl that the UnresolvedUsingTypenameDecl was transformed to.
Definition at line 11629 of file TreeTransform.h.
References clang::UsingDecl::hasTypename(), clang::UsingDecl::shadow_begin(), and clang::UsingDecl::shadow_end().
|
inline |
Build a new va_arg
expression.
By default, performs semantic analysis to build the new expression. Subclasses may override this routine to provide different behavior.
Definition at line 2278 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildVariableArrayType | ( | QualType | ElementType, |
ArrayType::ArraySizeModifier | SizeMod, | ||
Expr * | SizeExpr, | ||
unsigned | IndexTypeQuals, | ||
SourceRange | BracketsRange | ||
) |
Build a new variable-length array type given the element type, size modifier, size expression, and index type qualifiers.
By default, performs semantic analysis when building the array type. Subclasses may override this routine to provide different behavior.
Definition at line 11562 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::RebuildVectorType | ( | QualType | ElementType, |
unsigned | NumElements, | ||
VectorType::VectorKind | VecKind | ||
) |
Build a new vector type given the element type and number of elements.
By default, performs semantic analysis when building the vector type. Subclasses may override this routine to provide different behavior.
Definition at line 11585 of file TreeTransform.h.
|
inline |
Build a new while statement.
By default, performs semantic analysis to build the new statement. Subclasses may override this routine to provide different behavior.
Definition at line 1205 of file TreeTransform.h.
|
inline |
"Remember" the partially-substituted pack template argument after performing an instantiation that must preserve the parameter pack use.
This routine is meant to be overridden by the template instantiator.
Definition at line 277 of file TreeTransform.h.
|
inline |
Sets the "base" location and entity when that information is known based on another transformation.
By default, the source location and entity are ignored. Subclasses can override this function to provide a customized implementation.
Definition at line 171 of file TreeTransform.h.
ExprResult clang::TreeTransform< Derived >::TransformAddressOfOperand | ( | Expr * | E | ) |
The operand of a unary address-of operator has special rules: it's allowed to refer to a non-static member of a class even if there's no 'this' object available.
Definition at line 8329 of file TreeTransform.h.
const Attr * clang::TreeTransform< Derived >::TransformAttr | ( | const Attr * | S | ) |
Transform the given attribute.
By default, this routine transforms a statement by delegating to the appropriate TransformXXXAttr function to transform a specific kind of attribute. Subclasses may override this function to transform attributed statements using some other mechanism.
Definition at line 6227 of file TreeTransform.h.
References clang::Attr::getKind().
|
inline |
Transform the attributes associated with the given declaration and place them on the new declaration.
By default, this operation does nothing. Subclasses may override this behavior to transform attributes.
Definition at line 426 of file TreeTransform.h.
StmtResult clang::TreeTransform< Derived >::TransformCompoundStmt | ( | CompoundStmt * | S, |
bool | IsStmtExpr | ||
) |
Definition at line 6110 of file TreeTransform.h.
Sema::ConditionResult clang::TreeTransform< Derived >::TransformCondition | ( | SourceLocation | Loc, |
VarDecl * | Var, | ||
Expr * | Expr, | ||
Sema::ConditionKind | Kind | ||
) |
Transform the specified condition.
By default, this transforms the variable and expression and rebuilds the condition.
Definition at line 3400 of file TreeTransform.h.
References clang::Sema::ConditionError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().
ExprResult clang::TreeTransform< Derived >::TransformCXXNamedCastExpr | ( | CXXNamedCastExpr * | E | ) |
Definition at line 9187 of file TreeTransform.h.
References clang::ExprError(), clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::CXXNamedCastExpr::getAngleBrackets(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::CXXNamedCastExpr::getOperatorLoc(), clang::CXXNamedCastExpr::getRParenLoc(), clang::CastExpr::getSubExpr(), clang::CastExpr::getSubExprAsWritten(), clang::ExplicitCastExpr::getTypeInfoAsWritten(), and clang::ActionResult< PtrTy, CompressInvalid >::isInvalid().
|
inline |
Transform the given declaration, which is referenced from a type or expression.
By default, acts as the identity function on declarations, unless the transformer has had to transform the declaration itself. Subclasses may override this function to provide alternate behavior.
Definition at line 404 of file TreeTransform.h.
DeclarationNameInfo clang::TreeTransform< Derived >::TransformDeclarationNameInfo | ( | const DeclarationNameInfo & | NameInfo | ) |
Transform the given declaration name.
By default, transforms the types of conversion function, constructor, and destructor names and then (if needed) rebuilds the declaration name. Identifiers and selectors are returned unmodified. Sublcasses may override this function to provide alternate behavior.
Definition at line 3540 of file TreeTransform.h.
References clang::DeclarationName::CXXConstructorName, clang::DeclarationName::CXXConversionFunctionName, clang::DeclarationName::CXXDestructorName, clang::DeclarationName::CXXLiteralOperatorName, clang::DeclarationName::CXXOperatorName, clang::DeclarationName::CXXUsingDirective, clang::DeclarationName::getCXXNameType(), clang::DeclarationNameInfo::getLoc(), clang::DeclarationNameInfo::getName(), clang::DeclarationNameInfo::getNamedTypeInfo(), clang::DeclarationName::getNameKind(), clang::TypeSourceInfo::getType(), clang::DeclarationName::Identifier, clang::Name, clang::DeclarationName::ObjCMultiArgSelector, clang::DeclarationName::ObjCOneArgSelector, clang::DeclarationName::ObjCZeroArgSelector, clang::DeclarationNameInfo::setName(), and clang::DeclarationNameInfo::setNamedTypeInfo().
|
inline |
Transform the definition of the given declaration.
By default, invokes TransformDecl() to transform the declaration. Subclasses may override this function to provide alternate behavior.
Definition at line 443 of file TreeTransform.h.
ExprResult clang::TreeTransform< Derived >::TransformDependentScopeDeclRefExpr | ( | DependentScopeDeclRefExpr * | E, |
bool | IsAddressOfOperand, | ||
TypeSourceInfo ** | RecoveryTSI | ||
) |
Definition at line 9955 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::TransformDependentTemplateSpecializationType | ( | TypeLocBuilder & | TLB, |
DependentTemplateSpecializationTypeLoc | TL, | ||
TemplateName | Template, | ||
CXXScopeSpec & | SS | ||
) |
FIXME: Wrap this in an elaborated-type-specifier?
Definition at line 5614 of file TreeTransform.h.
References clang::TemplateName::getAsDependentTemplateName(), clang::DependentTemplateSpecializationTypeLoc::getElaboratedKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::getLAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::getNumArgs(), clang::DependentTemplateSpecializationTypeLoc::getRAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::getTemplateKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::getTemplateNameLoc(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), clang::CXXScopeSpec::getWithLocInContext(), clang::QualType::isNull(), clang::TypeLocBuilder::push(), clang::TemplateSpecializationTypeLoc::setArgLocInfo(), clang::DependentTemplateSpecializationTypeLoc::setArgLocInfo(), clang::DependentTemplateSpecializationTypeLoc::setElaboratedKeywordLoc(), clang::TemplateArgumentListInfo::setLAngleLoc(), clang::TemplateSpecializationTypeLoc::setLAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::setLAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::setQualifierLoc(), clang::TemplateArgumentListInfo::setRAngleLoc(), clang::TemplateSpecializationTypeLoc::setRAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::setRAngleLoc(), clang::TemplateSpecializationTypeLoc::setTemplateKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::setTemplateKeywordLoc(), clang::TemplateSpecializationTypeLoc::setTemplateNameLoc(), clang::DependentTemplateSpecializationTypeLoc::setTemplateNameLoc(), and clang::TemplateArgumentListInfo::size().
QualType clang::TreeTransform< Derived >::TransformDependentTemplateSpecializationType | ( | TypeLocBuilder & | TLB, |
DependentTemplateSpecializationTypeLoc | TL, | ||
NestedNameSpecifierLoc | QualifierLoc | ||
) |
Definition at line 5848 of file TreeTransform.h.
References clang::DependentTemplateSpecializationType(), E, clang::DependentTemplateSpecializationTypeLoc::getElaboratedKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::getLAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::getNumArgs(), clang::DependentTemplateSpecializationTypeLoc::getRAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::getTemplateKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::getTemplateNameLoc(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), I, clang::QualType::isNull(), clang::TypeLocBuilder::push(), clang::TemplateSpecializationTypeLoc::setArgLocInfo(), clang::DependentTemplateSpecializationTypeLoc::setArgLocInfo(), clang::ElaboratedTypeLoc::setElaboratedKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::setElaboratedKeywordLoc(), clang::TemplateArgumentListInfo::setLAngleLoc(), clang::TemplateSpecializationTypeLoc::setLAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::setLAngleLoc(), clang::ElaboratedTypeLoc::setQualifierLoc(), clang::DependentTemplateSpecializationTypeLoc::setQualifierLoc(), clang::TemplateArgumentListInfo::setRAngleLoc(), clang::TemplateSpecializationTypeLoc::setRAngleLoc(), clang::DependentTemplateSpecializationTypeLoc::setRAngleLoc(), clang::TemplateSpecializationTypeLoc::setTemplateKeywordLoc(), clang::DependentTemplateSpecializationTypeLoc::setTemplateKeywordLoc(), clang::TemplateSpecializationTypeLoc::setTemplateNameLoc(), clang::DependentTemplateSpecializationTypeLoc::setTemplateNameLoc(), and clang::TemplateArgumentListInfo::size().
|
inline |
Note that a local declaration has been transformed by this transformer.
Local declarations are typically transformed via a call to TransformDefinition. However, in some cases (e.g., lambda expressions), the transformer itself has to transform the declarations. This routine can be overridden by a subclass that keeps track of such mappings.
Definition at line 435 of file TreeTransform.h.
bool clang::TreeTransform< Derived >::TransformExceptionSpec | ( | SourceLocation | Loc, |
FunctionProtoType::ExceptionSpecInfo & | ESI, | ||
SmallVectorImpl< QualType > & | Exceptions, | ||
bool & | Changed | ||
) |
Definition at line 5024 of file TreeTransform.h.
References clang::Sema::ConstantEvaluated, clang::EST_ComputedNoexcept, clang::EST_Dynamic, clang::EST_Unevaluated, clang::EST_Uninstantiated, clang::FunctionProtoType::ExceptionSpecInfo::Exceptions, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::Type::getAs(), clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::QualType::isNull(), clang::Expr::isValueDependent(), clang::FunctionProtoType::ExceptionSpecInfo::NoexceptExpr, and clang::FunctionProtoType::ExceptionSpecInfo::Type.
Referenced by clang::TreeTransform< Derived >::TransformFunctionProtoType().
ExprResult clang::TreeTransform< Derived >::TransformExpr | ( | Expr * | E | ) |
Transform the given expression.
By default, this routine transforms an expression by delegating to the appropriate TransformXXXExpr function to build a new expression. Subclasses may override this function to transform expressions using some other mechanism.
Definition at line 3192 of file TreeTransform.h.
References E.
bool clang::TreeTransform< Derived >::TransformExprs | ( | Expr *const * | Inputs, |
unsigned | NumInputs, | ||
bool | IsCall, | ||
SmallVectorImpl< Expr * > & | Outputs, | ||
bool * | ArgChanged = nullptr |
||
) |
Transform the given list of expressions.
This routine transforms a list of expressions by invoking TransformExpr()
for each subexpression. However, it also provides support for variadic templates by expanding any pack expansions (if the derived class permits such expansion) along the way. When pack expansions are present, the number of outputs may not equal the number of inputs.
Inputs | The set of expressions to be transformed. |
NumInputs | The number of expressions in Inputs . |
IsCall | If true , then this transform is being performed on function-call arguments, and any arguments that should be dropped, will be. |
Outputs | The transformed input expressions will be added to this vector. |
ArgChanged | If non-NULL, will be set true if any argument changed due to transformation. |
Definition at line 3287 of file TreeTransform.h.
References clang::Expr::containsUnexpandedParameterPack(), clang::ActionResult< PtrTy, CompressInvalid >::get(), I, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), and clang::Result.
|
inline |
Transform the given declaration, which was the first part of a nested-name-specifier in a member access expression.
This specific declaration transformation only applies to the first identifier in a nested-name-specifier of a member access expression, e.g., the T
in x->T::member
By default, invokes TransformDecl() to transform the declaration. Subclasses may override this function to provide alternate behavior.
Definition at line 456 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::TransformFunctionProtoType | ( | TypeLocBuilder & | TLB, |
FunctionProtoTypeLoc | TL, | ||
CXXRecordDecl * | ThisContext, | ||
unsigned | ThisTypeQuals, | ||
Fn | TransformExceptionSpec | ||
) |
Definition at line 4931 of file TreeTransform.h.
References clang::FunctionProtoType::ExtProtoInfo::ExceptionSpec, clang::FunctionProtoType::ExtProtoInfo::ExtParameterInfos, clang::TypeLoc::getBeginLoc(), clang::FunctionProtoType::getExtParameterInfosOrNull(), clang::FunctionProtoType::getExtProtoInfo(), clang::FunctionTypeLoc::getLocalRangeBegin(), clang::FunctionTypeLoc::getLocalRangeEnd(), clang::FunctionTypeLoc::getLParenLoc(), clang::FunctionTypeLoc::getNumParams(), clang::FunctionTypeLoc::getParams(), clang::FunctionProtoType::getParamTypes(), clang::Sema::ExtParameterInfoBuilder::getPointerOrNull(), clang::FunctionTypeLoc::getReturnLoc(), clang::FunctionType::getReturnType(), clang::FunctionTypeLoc::getRParenLoc(), clang::TypeLoc::getType(), clang::InheritingConcreteTypeLoc< Base, Derived, TypeClass >::getTypePtr(), clang::FunctionProtoType::hasTrailingReturn(), clang::QualType::isNull(), clang::FunctionProtoType::param_type_begin(), clang::TypeLocBuilder::push(), clang::FunctionTypeLoc::setLocalRangeBegin(), clang::FunctionTypeLoc::setLocalRangeEnd(), clang::FunctionTypeLoc::setLParenLoc(), clang::FunctionTypeLoc::setParam(), and clang::FunctionTypeLoc::setRParenLoc().
Referenced by clang::TreeTransform< Derived >::TransformFunctionProtoType().
QualType clang::TreeTransform< Derived >::TransformFunctionProtoType | ( | TypeLocBuilder & | TLB, |
FunctionProtoTypeLoc | TL | ||
) |
Definition at line 4918 of file TreeTransform.h.
References clang::TypeLoc::getBeginLoc(), clang::TreeTransform< Derived >::TransformExceptionSpec(), and clang::TreeTransform< Derived >::TransformFunctionProtoType().
ParmVarDecl * clang::TreeTransform< Derived >::TransformFunctionTypeParam | ( | ParmVarDecl * | OldParm, |
int | indexAdjustment, | ||
Optional< unsigned > | NumExpansions, | ||
bool | ExpectParameterPack | ||
) |
Transforms a single function-type parameter.
Return null on error.
indexAdjustment | - A number to add to the parameter's scope index; can be negative |
Definition at line 4644 of file TreeTransform.h.
References clang::TypeLoc::castAs(), clang::ParmVarDecl::Create(), clang::PackExpansionTypeLoc::getEllipsisLoc(), clang::TypeLoc::getFullDataSize(), clang::ParmVarDecl::getFunctionScopeDepth(), clang::ParmVarDecl::getFunctionScopeIndex(), clang::NamedDecl::getIdentifier(), clang::DeclaratorDecl::getInnerLocStart(), clang::PackExpansionTypeLoc::getPatternLoc(), clang::TypeLoc::getSourceRange(), clang::VarDecl::getStorageClass(), clang::TypeSourceInfo::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::QualType::isNull(), clang::PackExpansionTypeLoc::setEllipsisLoc(), and clang::ParmVarDecl::setScopeInfo().
bool clang::TreeTransform< Derived >::TransformFunctionTypeParams | ( | SourceLocation | Loc, |
ArrayRef< ParmVarDecl * > | Params, | ||
const QualType * | ParamTypes, | ||
const FunctionProtoType::ExtParameterInfo * | ParamInfos, | ||
SmallVectorImpl< QualType > & | PTypes, | ||
SmallVectorImpl< ParmVarDecl * > * | PVars, | ||
Sema::ExtParameterInfoBuilder & | PInfos | ||
) |
Transforms the parameters of a function type into the given vectors.
The result vectors should be kept in sync; null entries in the variables vector are acceptable.
Return true on error.
Definition at line 4699 of file TreeTransform.h.
References clang::TypeLoc::castAs(), clang::Type::containsUnexpandedParameterPack(), clang::PackExpansionTypeLoc::getEllipsisLoc(), clang::PackExpansionType::getNumExpansions(), clang::PackExpansionTypeLoc::getPatternLoc(), clang::ValueDecl::getType(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), I, clang::QualType::isNull(), clang::None, and clang::Sema::ExtParameterInfoBuilder::set().
ExprResult clang::TreeTransform< Derived >::TransformInitializer | ( | Expr * | Init, |
bool | NotCopyInit | ||
) |
Transform the given initializer.
By default, this routine transforms an initializer by stripping off the semantic nodes added by initialization, then passing the result to TransformExpr or TransformExprs.
Definition at line 3209 of file TreeTransform.h.
References clang::ExprEmpty(), clang::ExprError(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), clang::SourceRange::isInvalid(), and clang::None.
NestedNameSpecifierLoc clang::TreeTransform< Derived >::TransformNestedNameSpecifierLoc | ( | NestedNameSpecifierLoc | NNS, |
QualType | ObjectType = QualType() , |
||
NamedDecl * | FirstQualifierInScope = nullptr |
||
) |
Transform the given nested-name-specifier with source-location information.
By default, transforms all of the types and declarations within the nested-name-specifier. Subclasses may override this function to provide alternate behavior.
Definition at line 3426 of file TreeTransform.h.
References clang::TypeLoc::getAs(), clang::NestedNameSpecifier::getAsIdentifier(), clang::NestedNameSpecifier::getAsNamespace(), clang::NestedNameSpecifier::getAsNamespaceAlias(), clang::NestedNameSpecifier::getAsRecordDecl(), clang::TypeLoc::getBeginLoc(), clang::NestedNameSpecifierLoc::getBeginLoc(), clang::NestedNameSpecifierLoc::getEndLoc(), clang::NestedNameSpecifier::getKind(), clang::NestedNameSpecifierLoc::getLocalBeginLoc(), clang::NestedNameSpecifierLoc::getLocalEndLoc(), clang::NestedNameSpecifierLoc::getNestedNameSpecifier(), clang::NestedNameSpecifierLoc::getOpaqueData(), clang::NestedNameSpecifierLoc::getPrefix(), clang::CXXScopeSpec::getScopeRep(), clang::TypeLoc::getType(), clang::TypedefTypeLoc::getTypedefNameDecl(), clang::NestedNameSpecifierLoc::getTypeLoc(), clang::CXXScopeSpec::getWithLocInContext(), clang::NestedNameSpecifier::Global, clang::QualType::hasLocalQualifiers(), clang::NestedNameSpecifier::Identifier, clang::Type::isDependentType(), clang::Type::isEnumeralType(), clang::Type::isRecordType(), clang::CXXScopeSpec::location_data(), clang::CXXScopeSpec::location_size(), clang::NestedNameSpecifier::Namespace, clang::NestedNameSpecifier::NamespaceAlias, clang::NestedNameSpecifier::Super, clang::NestedNameSpecifier::TypeSpec, and clang::NestedNameSpecifier::TypeSpecWithTemplate.
OMPClause * clang::TreeTransform< Derived >::TransformOMPClause | ( | OMPClause * | S | ) |
Transform the given statement.
By default, this routine transforms a statement by delegating to the appropriate TransformOMPXXXClause function to transform a specific kind of clause. Subclasses may override this function to transform statements using some other mechanism.
Definition at line 3174 of file TreeTransform.h.
References clang::OMPClause::getClauseKind(), and S.
StmtResult clang::TreeTransform< Derived >::TransformOMPExecutableDirective | ( | OMPExecutableDirective * | S | ) |
Definition at line 7164 of file TreeTransform.h.
References clang::OMPExecutableDirective::clauses(), E, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::OMPExecutableDirective::getAssociatedStmt(), clang::OMPExecutableDirective::getDirectiveKind(), clang::OMPExecutableDirective::getLocEnd(), clang::OMPExecutableDirective::getLocStart(), clang::OMPExecutableDirective::hasAssociatedStmt(), I, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::OMPD_unknown, and clang::StmtError().
ExprResult clang::TreeTransform< Derived >::TransformParenDependentScopeDeclRefExpr | ( | ParenExpr * | PE, |
DependentScopeDeclRefExpr * | DRE, | ||
bool | IsAddressOfOperand, | ||
TypeSourceInfo ** | RecoveryTSI | ||
) |
Definition at line 9937 of file TreeTransform.h.
References clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::ParenExpr::getLParen(), clang::ParenExpr::getRParen(), and clang::ActionResult< PtrTy, CompressInvalid >::isUsable().
QualType clang::TreeTransform< Derived >::TransformReferenceType | ( | TypeLocBuilder & | TLB, |
ReferenceTypeLoc | TL | ||
) |
Transforms a reference type.
Note that somewhat paradoxically we don't care whether the type itself is an l-value type or an r-value type; we only care if the type was written as an l-value type or an r-value type.
Definition at line 4295 of file TreeTransform.h.
References clang::Type::getAs(), clang::PointerLikeTypeLoc< Derived, TypeClass, LocalData >::getPointeeLoc(), clang::ReferenceType::getPointeeTypeAsWritten(), clang::PointerLikeTypeLoc< Derived, TypeClass, LocalData >::getSigilLoc(), clang::TypeLoc::getType(), clang::ConcreteTypeLoc< Base, Derived, TypeClass, LocalData >::getTypePtr(), clang::QualType::isNull(), clang::ReferenceType::isSpelledAsLValue(), clang::TypeLocBuilder::push(), clang::PointerLikeTypeLoc< Derived, TypeClass, LocalData >::setSigilLoc(), and clang::TypeLocBuilder::TypeWasModifiedSafely().
StmtResult clang::TreeTransform< Derived >::TransformSEHHandler | ( | Stmt * | Handler | ) |
Definition at line 7147 of file TreeTransform.h.
StmtResult clang::TreeTransform< Derived >::TransformStmt | ( | Stmt * | S | ) |
Transform the given statement.
By default, this routine transforms a statement by delegating to the appropriate TransformXXXStmt function to transform a specific kind of statement or the TransformExpr() function to transform an expression. Subclasses may override this function to transform statements using some other mechanism.
Definition at line 3142 of file TreeTransform.h.
References E, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), S, and clang::StmtError().
bool clang::TreeTransform< Derived >::TransformTemplateArgument | ( | const TemplateArgumentLoc & | Input, |
TemplateArgumentLoc & | Output, | ||
bool | Uneval = false |
||
) |
Transform the given template argument.
By default, this operation transforms the type, expression, or declaration stored within the template argument and constructs a new template argument from the transformed result. Subclasses may override this function to provide alternate behavior.
Returns true if there was an error.
Definition at line 3723 of file TreeTransform.h.
References clang::CXXScopeSpec::Adopt(), clang::Sema::ConstantEvaluated, clang::TemplateArgument::Declaration, E, clang::TemplateArgument::Expression, clang::ActionResult< PtrTy, CompressInvalid >::get(), clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgumentLoc::getSourceExpression(), clang::TemplateArgumentLoc::getTemplateNameLoc(), clang::TemplateArgumentLoc::getTemplateQualifierLoc(), clang::TemplateArgumentLoc::getTypeSourceInfo(), clang::TemplateArgument::Integral, clang::ActionResult< PtrTy, CompressInvalid >::isInvalid(), clang::TemplateName::isNull(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and clang::Sema::Unevaluated.
|
inline |
Transform the given set of template arguments.
By default, this operation transforms all of the template arguments in the input set using TransformTemplateArgument()
, and appends the transformed arguments to the output list.
Note that this overload of TransformTemplateArguments()
is merely a convenience function. Subclasses that wish to override this behavior should override the iterator-based member template version.
Inputs | The set of template arguments to be transformed. |
NumInputs | The number of template arguments in Inputs . |
Outputs | The set of transformed template arguments output by this routine. |
Returns true if an error occurred.
Definition at line 536 of file TreeTransform.h.
bool clang::TreeTransform< Derived >::TransformTemplateArguments | ( | InputIterator | First, |
InputIterator | Last, | ||
TemplateArgumentListInfo & | Outputs, | ||
bool | Uneval = false |
||
) |
Transform the given set of template arguments.
By default, this operation transforms all of the template arguments in the input set using TransformTemplateArgument()
, and appends the transformed arguments to the output list.
First | An iterator to the first template argument. |
Last | An iterator one step past the last template argument. |
Outputs | The set of transformed template arguments output by this routine. |
Returns true if an error occurred.
Definition at line 3852 of file TreeTransform.h.
References clang::TemplateArgumentListInfo::addArgument(), clang::TemplateArgument::containsUnexpandedParameterPack(), clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getKind(), clang::TemplateArgumentLoc::getSourceRange(), I, clang::TemplateArgument::isNull(), clang::TemplateArgument::isPackExpansion(), clang::LangAS::Last, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), and clang::TemplateArgument::pack_end().
TemplateName clang::TreeTransform< Derived >::TransformTemplateName | ( | CXXScopeSpec & | SS, |
TemplateName | Name, | ||
SourceLocation | NameLoc, | ||
QualType | ObjectType = QualType() , |
||
NamedDecl * | FirstQualifierInScope = nullptr |
||
) |
Transform the given template name.
SS | The nested-name-specifier that qualifies the template name. This nested-name-specifier must already have been transformed. |
Name | The template name to transform. |
NameLoc | The source location of the template name. |
ObjectType | If we're translating a template name within a member access expression, this is the type of the object whose member template is being referenced. |
FirstQualifierInScope | If the first part of a nested-name-specifier also refers to a name within the current (lexical) scope, this is the declaration it refers to. |
By default, transforms the template name by transforming the declarations and nested-name-specifiers that occur within the template name. Subclasses may override this function to provide alternate behavior.
Definition at line 3590 of file TreeTransform.h.
References clang::TemplateName::getAsDependentTemplateName(), clang::TemplateName::getAsQualifiedTemplateName(), clang::TemplateName::getAsSubstTemplateTemplateParmPack(), clang::TemplateName::getAsTemplateDecl(), clang::CXXScopeSpec::getScopeRep(), clang::QualType::isNull(), and clang::Name.
|
inline |
Definition at line 637 of file TreeTransform.h.
QualType clang::TreeTransform< Derived >::TransformTemplateSpecializationType | ( | TypeLocBuilder & | TLB, |
TemplateSpecializationTypeLoc | TL, | ||
TemplateName | Template | ||
) |
QualType clang::TreeTransform< Derived >::TransformType | ( | QualType | T | ) |
Transforms the given type into another type.
By default, this routine transforms a type by creating a TypeSourceInfo for it and delegating to the appropriate function. This is expensive, but we don't mind, because this method is deprecated anyway; all users should be switched to storing TypeSourceInfos.
Definition at line 3975 of file TreeTransform.h.
References clang::TypeSourceInfo::getType().
TypeSourceInfo * clang::TreeTransform< Derived >::TransformType | ( | TypeSourceInfo * | DI | ) |
Transforms the given type-with-location into a new type-with-location.
By default, this routine transforms a type by delegating to the appropriate TransformXXXType to build a new type. Subclasses may override this function (to take over all type transformations) or some set of the TransformXXXType functions to alter the transformation.
Definition at line 3993 of file TreeTransform.h.
References clang::TypeLoc::getBeginLoc(), clang::TypeLoc::getFullDataSize(), clang::TypeSourceInfo::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::TypeLocBuilder::getTypeSourceInfo(), clang::QualType::isNull(), clang::TypeLocBuilder::reserve(), and clang::Result.
QualType clang::TreeTransform< Derived >::TransformType | ( | TypeLocBuilder & | TLB, |
TypeLoc | TL | ||
) |
Transform the given type-with-location into a new type, collecting location information in the given builder as necessary.
Definition at line 4014 of file TreeTransform.h.
References clang::TypeLoc::getTypeLocClass().
|
inline |
Determine whether we should expand a pack expansion with the given set of parameter packs into separate arguments by repeatedly transforming the pattern.
By default, the transformer never tries to expand pack expansions. Subclasses can override this routine to provide different behavior.
EllipsisLoc | The location of the ellipsis that identifies the pack expansion. |
PatternRange | The source range that covers the entire pattern of the pack expansion. |
Unexpanded | The set of unexpanded parameter packs within the pattern. |
ShouldExpand | Will be set to true if the transformer should expand the corresponding pack expansions into separate arguments. When set, NumExpansions must also be set. |
RetainExpansion | Whether the caller should add an unexpanded pack expansion after all of the expanded arguments. This is used when extending explicitly-specified template argument packs per C++0x [temp.arg.explicit]p9. |
NumExpansions | The number of separate arguments that will be in the expanded form of the corresponding pack expansion. This is both an input and an output parameter, which can be set by the caller if the number of expansions is known a priori (e.g., due to a prior substitution) and will be set by the callee when the number of expansions is known. The callee must set this value when ShouldExpand is true ; it may set this value in other cases. |
ShouldExpand
(and possibly NumExpansions
) must be set. Definition at line 253 of file TreeTransform.h.
|
protected |
Definition at line 114 of file TreeTransform.h.
|
protected |
The set of local declarations that have been transformed, for cases where we are forced to build new declarations within the transformer rather than in the subclass (e.g., lambda closure types).
Definition at line 119 of file TreeTransform.h.