clang
3.9.0
|
Represents a prototype with parameter type info, e.g. More...
#include <Type.h>
Classes | |
struct | ExceptionSpecInfo |
class | ExtParameterInfo |
Interesting information about a specific parameter that can't simply be reflected in parameter's type. More... | |
struct | ExtProtoInfo |
Extra information about a function prototype. More... | |
Public Types | |
enum | NoexceptResult { NR_NoNoexcept, NR_BadNoexcept, NR_Dependent, NR_Throw, NR_Nothrow } |
Result type of getNoexceptSpec(). More... | |
typedef const QualType * | param_type_iterator |
typedef llvm::iterator_range < param_type_iterator > | param_type_range |
typedef const QualType * | exception_iterator |
![]() | |
enum | TypeClass { TagFirst = Record, TagLast = Enum } |
enum | ScalarTypeKind { STK_CPointer, STK_BlockPointer, STK_ObjCObjectPointer, STK_MemberPointer, STK_Bool, STK_Integral, STK_Floating, STK_IntegralComplex, STK_FloatingComplex } |
Public Member Functions | |
unsigned | getNumParams () const |
QualType | getParamType (unsigned i) const |
ArrayRef< QualType > | getParamTypes () const |
ExtProtoInfo | getExtProtoInfo () const |
ExceptionSpecificationType | getExceptionSpecType () const |
Get the kind of exception specification on this function. More... | |
bool | hasExceptionSpec () const |
Return whether this function has any kind of exception spec. More... | |
bool | hasDynamicExceptionSpec () const |
Return whether this function has a dynamic (throw) exception spec. More... | |
bool | hasNoexceptExceptionSpec () const |
Return whether this function has a noexcept exception spec. More... | |
bool | hasDependentExceptionSpec () const |
Return whether this function has a dependent exception spec. More... | |
NoexceptResult | getNoexceptSpec (const ASTContext &Ctx) const |
Get the meaning of the noexcept spec on this function, if any. More... | |
unsigned | getNumExceptions () const |
QualType | getExceptionType (unsigned i) const |
Expr * | getNoexceptExpr () const |
FunctionDecl * | getExceptionSpecDecl () const |
If this function type has an exception specification which hasn't been determined yet (either because it has not been evaluated or because it has not been instantiated), this is the function whose exception specification is represented by this type. More... | |
FunctionDecl * | getExceptionSpecTemplate () const |
If this function type has an uninstantiated exception specification, this is the function whose exception specification should be instantiated to find the exception specification for this type. More... | |
bool | isNothrow (const ASTContext &Ctx, bool ResultIfDependent=false) const |
Determine whether this function type has a non-throwing exception specification. More... | |
bool | isVariadic () const |
bool | isTemplateVariadic () const |
Determines whether this function prototype contains a parameter pack at the end. More... | |
bool | hasTrailingReturn () const |
unsigned | getTypeQuals () const |
RefQualifierKind | getRefQualifier () const |
Retrieve the ref-qualifier associated with this function type. More... | |
param_type_range | param_types () const |
param_type_iterator | param_type_begin () const |
param_type_iterator | param_type_end () const |
ArrayRef< QualType > | exceptions () const |
exception_iterator | exception_begin () const |
exception_iterator | exception_end () const |
bool | hasExtParameterInfos () const |
Is there any interesting extra information for any of the parameters of this function type? More... | |
ArrayRef< ExtParameterInfo > | getExtParameterInfos () const |
const ExtParameterInfo * | getExtParameterInfosOrNull () const |
Return a pointer to the beginning of the array of extra parameter information, if present, or else null if none of the parameters carry it. More... | |
ExtParameterInfo | getExtParameterInfo (unsigned I) const |
ParameterABI | getParameterABI (unsigned I) const |
bool | isParamConsumed (unsigned I) const |
bool | isSugared () const |
QualType | desugar () const |
void | printExceptionSpecification (raw_ostream &OS, const PrintingPolicy &Policy) const |
void | Profile (llvm::FoldingSetNodeID &ID, const ASTContext &Ctx) |
![]() | |
QualType | getReturnType () const |
bool | getHasRegParm () const |
unsigned | getRegParmType () const |
bool | getNoReturnAttr () const |
Determine whether this function type includes the GNU noreturn attribute. More... | |
CallingConv | getCallConv () const |
ExtInfo | getExtInfo () const |
bool | isConst () const |
bool | isVolatile () const |
bool | isRestrict () const |
QualType | getCallResultType (const ASTContext &Context) const |
Determine the type of an expression that calls a function of this type. More... | |
![]() | |
TypeClass | getTypeClass () const |
bool | isFromAST () const |
Whether this type comes from an AST file. More... | |
bool | containsUnexpandedParameterPack () const |
Whether this type is or contains an unexpanded parameter pack, used to support C++0x variadic templates. More... | |
bool | isCanonicalUnqualified () const |
Determines if this type would be canonical if it had no further qualification. More... | |
QualType | getLocallyUnqualifiedSingleStepDesugaredType () const |
Pull a single level of sugar off of this locally-unqualified type. More... | |
bool | isIncompleteType (NamedDecl **Def=nullptr) const |
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types, and incomplete types. More... | |
bool | isIncompleteOrObjectType () const |
Return true if this is an incomplete or object type, in other words, not a function type. More... | |
bool | isObjectType () const |
Determine whether this type is an object type. More... | |
bool | isLiteralType (const ASTContext &Ctx) const |
Return true if this is a literal type (C++11 [basic.types]p10) More... | |
bool | isStandardLayoutType () const |
Test if this type is a standard-layout type. More... | |
bool | isBuiltinType () const |
Helper methods to distinguish type categories. More... | |
bool | isSpecificBuiltinType (unsigned K) const |
Test for a particular builtin type. More... | |
bool | isPlaceholderType () const |
Test for a type which does not represent an actual type-system type but is instead used as a placeholder for various convenient purposes within Clang. More... | |
const BuiltinType * | getAsPlaceholderType () const |
bool | isSpecificPlaceholderType (unsigned K) const |
Test for a specific placeholder type. More... | |
bool | isNonOverloadPlaceholderType () const |
Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType. More... | |
bool | isIntegerType () const |
isIntegerType() does not include complex integers (a GCC extension). More... | |
bool | isEnumeralType () const |
bool | isBooleanType () const |
bool | isCharType () const |
bool | isWideCharType () const |
bool | isChar16Type () const |
bool | isChar32Type () const |
bool | isAnyCharacterType () const |
Determine whether this type is any of the built-in character types. More... | |
bool | isIntegralType (const ASTContext &Ctx) const |
Determine whether this type is an integral type. More... | |
bool | isIntegralOrEnumerationType () const |
Determine whether this type is an integral or enumeration type. More... | |
bool | isIntegralOrUnscopedEnumerationType () const |
Determine whether this type is an integral or unscoped enumeration type. More... | |
bool | isRealFloatingType () const |
Floating point categories. More... | |
bool | isComplexType () const |
isComplexType() does not include complex integers (a GCC extension). More... | |
bool | isAnyComplexType () const |
bool | isFloatingType () const |
bool | isHalfType () const |
bool | isRealType () const |
bool | isArithmeticType () const |
bool | isVoidType () const |
bool | isScalarType () const |
bool | isAggregateType () const |
Determines whether the type is a C++ aggregate type or C aggregate or union type. More... | |
bool | isFundamentalType () const |
Tests whether the type is categorized as a fundamental type. More... | |
bool | isCompoundType () const |
Tests whether the type is categorized as a compound type. More... | |
bool | isFunctionType () const |
bool | isFunctionNoProtoType () const |
bool | isFunctionProtoType () const |
bool | isPointerType () const |
bool | isAnyPointerType () const |
bool | isBlockPointerType () const |
bool | isVoidPointerType () const |
bool | isReferenceType () const |
bool | isLValueReferenceType () const |
bool | isRValueReferenceType () const |
bool | isFunctionPointerType () const |
bool | isMemberPointerType () const |
bool | isMemberFunctionPointerType () const |
bool | isMemberDataPointerType () const |
bool | isArrayType () const |
bool | isConstantArrayType () const |
bool | isIncompleteArrayType () const |
bool | isVariableArrayType () const |
bool | isDependentSizedArrayType () const |
bool | isRecordType () const |
bool | isClassType () const |
bool | isStructureType () const |
bool | isObjCBoxableRecordType () const |
bool | isInterfaceType () const |
bool | isStructureOrClassType () const |
bool | isUnionType () const |
bool | isComplexIntegerType () const |
bool | isVectorType () const |
bool | isExtVectorType () const |
bool | isObjCObjectPointerType () const |
bool | isObjCRetainableType () const |
bool | isObjCLifetimeType () const |
Returns true if objects of this type have lifetime semantics under ARC. More... | |
bool | isObjCIndirectLifetimeType () const |
bool | isObjCNSObjectType () const |
bool | isObjCIndependentClassType () const |
bool | isObjCObjectType () const |
bool | isObjCQualifiedInterfaceType () const |
bool | isObjCQualifiedIdType () const |
bool | isObjCQualifiedClassType () const |
bool | isObjCObjectOrInterfaceType () const |
bool | isObjCIdType () const |
bool | isObjCInertUnsafeUnretainedType () const |
Was this type written with the special inert-in-MRC __unsafe_unretained qualifier? More... | |
bool | isObjCIdOrObjectKindOfType (const ASTContext &ctx, const ObjCObjectType *&bound) const |
Whether the type is Objective-C 'id' or a __kindof type of an object type, e.g., __kindof NSView * or __kindof id <NSCopying>. More... | |
bool | isObjCClassType () const |
bool | isObjCClassOrClassKindOfType () const |
Whether the type is Objective-C 'Class' or a __kindof type of an Class type, e.g., __kindof Class <NSCopying>. More... | |
bool | isBlockCompatibleObjCPointerType (ASTContext &ctx) const |
bool | isObjCSelType () const |
bool | isObjCBuiltinType () const |
bool | isObjCARCBridgableType () const |
Determine whether the given type T is a "bridgable" Objective-C type, which is either an Objective-C object pointer type or an. More... | |
bool | isCARCBridgableType () const |
Determine whether the given type T is a "bridgeable" C type. More... | |
bool | isTemplateTypeParmType () const |
bool | isNullPtrType () const |
bool | isAtomicType () const |
bool | isImageType () const |
bool | isSamplerT () const |
bool | isEventT () const |
bool | isClkEventT () const |
bool | isQueueT () const |
bool | isNDRangeT () const |
bool | isReserveIDT () const |
bool | isPipeType () const |
bool | isOpenCLSpecificType () const |
bool | isObjCARCImplicitlyUnretainedType () const |
Determines if this type, which must satisfy isObjCLifetimeType(), is implicitly __unsafe_unretained rather than implicitly __strong. More... | |
Qualifiers::ObjCLifetime | getObjCARCImplicitLifetime () const |
Return the implicit lifetime for this type, which must not be dependent. More... | |
ScalarTypeKind | getScalarTypeKind () const |
Given that this is a scalar type, classify it. More... | |
bool | isDependentType () const |
Whether this type is a dependent type, meaning that its definition somehow depends on a template parameter (C++ [temp.dep.type]). More... | |
bool | isInstantiationDependentType () const |
Determine whether this type is an instantiation-dependent type, meaning that the type involves a template parameter (even if the definition does not actually depend on the type substituted for that template parameter). More... | |
bool | isUndeducedType () const |
Determine whether this type is an undeduced type, meaning that it somehow involves a C++11 'auto' type which has not yet been deduced. More... | |
bool | isVariablyModifiedType () const |
Whether this type is a variably-modified type (C99 6.7.5). More... | |
bool | hasSizedVLAType () const |
Whether this type involves a variable-length array type with a definite size. More... | |
bool | hasUnnamedOrLocalType () const |
Whether this type is or contains a local or unnamed type. More... | |
bool | isOverloadableType () const |
Determines whether this is a type for which one can define an overloaded operator. More... | |
bool | isElaboratedTypeSpecifier () const |
Determine wither this type is a C++ elaborated-type-specifier. More... | |
bool | canDecayToPointerType () const |
Determines whether this type can decay to a pointer type. More... | |
bool | hasPointerRepresentation () const |
Whether this type is represented natively as a pointer. More... | |
bool | hasObjCPointerRepresentation () const |
Whether this type can represent an objective pointer type for the purpose of GC'ability. More... | |
bool | hasIntegerRepresentation () const |
Determine whether this type has an integer representation of some sort, e.g., it is an integer type or a vector. More... | |
bool | hasSignedIntegerRepresentation () const |
Determine whether this type has an signed integer representation of some sort, e.g., it is an signed integer type or a vector. More... | |
bool | hasUnsignedIntegerRepresentation () const |
Determine whether this type has an unsigned integer representation of some sort, e.g., it is an unsigned integer type or a vector. More... | |
bool | hasFloatingRepresentation () const |
Determine whether this type has a floating-point representation of some sort, e.g., it is a floating-point type or a vector thereof. More... | |
const RecordType * | getAsStructureType () const |
const RecordType * | getAsUnionType () const |
NOTE: getAs*ArrayType are methods on ASTContext. More... | |
const ComplexType * | getAsComplexIntegerType () const |
const ObjCObjectType * | getAsObjCInterfaceType () const |
const ObjCObjectPointerType * | getAsObjCInterfacePointerType () const |
const ObjCObjectPointerType * | getAsObjCQualifiedIdType () const |
const ObjCObjectPointerType * | getAsObjCQualifiedClassType () const |
const ObjCObjectType * | getAsObjCQualifiedInterfaceType () const |
CXXRecordDecl * | getAsCXXRecordDecl () const |
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or because it is the injected-class-name type of a class template or class template partial specialization. More... | |
TagDecl * | getAsTagDecl () const |
Retrieves the TagDecl that this type refers to, either because the type is a TagType or because it is the injected-class-name type of a class template or class template partial specialization. More... | |
const CXXRecordDecl * | getPointeeCXXRecordDecl () const |
If this is a pointer or reference to a RecordType, return the CXXRecordDecl that that type refers to. More... | |
AutoType * | getContainedAutoType () const |
Get the AutoType whose type will be deduced for a variable with an initializer of this type. More... | |
template<typename T > | |
const T * | getAs () const |
Member-template getAs<specific type>'. More... | |
const ArrayType * | getAsArrayTypeUnsafe () const |
A variant of getAs<> for array types which silently discards qualifiers from the outermost type. More... | |
template<typename T > | |
const T * | castAs () const |
Member-template castAs<specific type>. More... | |
const ArrayType * | castAsArrayTypeUnsafe () const |
A variant of castAs<> for array type which silently discards qualifiers from the outermost type. More... | |
const Type * | getBaseElementTypeUnsafe () const |
Get the base element type of this type, potentially discarding type qualifiers. More... | |
const Type * | getArrayElementTypeNoTypeQual () const |
If this is an array type, return the element type of the array, potentially with type qualifiers missing. More... | |
const Type * | getPointeeOrArrayElementType () const |
If this is a pointer type, return the pointee type. More... | |
QualType | getPointeeType () const |
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee. More... | |
const Type * | getUnqualifiedDesugaredType () const |
Return the specified type with any "sugar" removed from the type, removing any typedefs, typeofs, etc., as well as any qualifiers. More... | |
bool | isPromotableIntegerType () const |
More type predicates useful for type checking/promotion. More... | |
bool | isSignedIntegerType () const |
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation. More... | |
bool | isUnsignedIntegerType () const |
Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true for _Bool], or an enum decl which has an unsigned representation. More... | |
bool | isSignedIntegerOrEnumerationType () const |
Determines whether this is an integer type that is signed or an enumeration types whose underlying type is a signed integer type. More... | |
bool | isUnsignedIntegerOrEnumerationType () const |
Determines whether this is an integer type that is unsigned or an enumeration types whose underlying type is a unsigned integer type. More... | |
bool | isConstantSizeType () const |
Return true if this is not a variable sized type, according to the rules of C99 6.7.5p3. More... | |
bool | isSpecifierType () const |
Returns true if this type can be represented by some set of type specifiers. More... | |
Linkage | getLinkage () const |
Determine the linkage of this type. More... | |
Visibility | getVisibility () const |
Determine the visibility of this type. More... | |
bool | isVisibilityExplicit () const |
Return true if the visibility was explicitly set is the code. More... | |
LinkageInfo | getLinkageAndVisibility () const |
Determine the linkage and visibility of this type. More... | |
bool | isLinkageValid () const |
True if the computed linkage is valid. More... | |
Optional< NullabilityKind > | getNullability (const ASTContext &context) const |
Determine the nullability of the given type. More... | |
bool | canHaveNullability () const |
Determine whether the given type can have a nullability specifier applied to it, i.e., if it is any kind of pointer type or a dependent type that could instantiate to any kind of pointer type. More... | |
Optional< ArrayRef< QualType > > | getObjCSubstitutions (const DeclContext *dc) const |
Retrieve the set of substitutions required when accessing a member of the Objective-C receiver type that is declared in the given context. More... | |
bool | acceptsObjCTypeParams () const |
Determines if this is an ObjC interface type that may accept type parameters. More... | |
const char * | getTypeClassName () const |
QualType | getCanonicalTypeInternal () const |
CanQualType | getCanonicalTypeUnqualified () const |
void | dump () const |
template<> | |
const TypedefType * | getAs () const |
This will check for a TypedefType by removing any existing sugar until it reaches a TypedefType or a non-sugared type. More... | |
template<> | |
const TemplateSpecializationType * | getAs () const |
This will check for a TemplateSpecializationType by removing any existing sugar until it reaches a TemplateSpecializationType or a non-sugared type. More... | |
template<> | |
const AttributedType * | getAs () const |
This will check for an AttributedType by removing any existing sugar until it reaches an AttributedType or a non-sugared type. More... | |
Static Public Member Functions | |
static bool | classof (const Type *T) |
static void | Profile (llvm::FoldingSetNodeID &ID, QualType Result, param_type_iterator ArgTys, unsigned NumArgs, const ExtProtoInfo &EPI, const ASTContext &Context) |
![]() | |
static StringRef | getNameForCallConv (CallingConv CC) |
static bool | classof (const Type *T) |
Friends | |
class | ASTContext |
Represents a prototype with parameter type info, e.g.
'int foo(int)' or 'int foo(void)'. 'void' is represented as having no parameters, not as having a single void parameter. Such a type can have an exception specification, but this specification is not part of the canonical type.
typedef const QualType* clang::FunctionProtoType::exception_iterator |
typedef const QualType* clang::FunctionProtoType::param_type_iterator |
typedef llvm::iterator_range<param_type_iterator> clang::FunctionProtoType::param_type_range |
Result type of getNoexceptSpec().
Definition at line 3458 of file Type.h.
References clang::Type::getTypeClass().
|
inline |
Definition at line 3453 of file Type.h.
References clang::ExtQualsTypeCommonBase::QualType.
|
inline |
Definition at line 3404 of file Type.h.
Referenced by clang::Sema::CheckEquivalentExceptionSpec().
|
inline |
Definition at line 3408 of file Type.h.
References clang::EST_Dynamic.
Definition at line 3401 of file Type.h.
Referenced by clang::Sema::ImplicitExceptionSpecification::CalledDecl(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExceptionSpecSubset(), clang::Sema::checkThisInStaticMemberFunctionExceptionSpec(), hasDependentExceptionSpec(), and clang::ASTNodeImporter::VisitFunctionProtoType().
|
inline |
If this function type has an exception specification which hasn't been determined yet (either because it has not been evaluated or because it has not been instantiated), this is the function whose exception specification is represented by this type.
Definition at line 3346 of file Type.h.
References clang::EST_Unevaluated, and clang::EST_Uninstantiated.
Referenced by addExceptionSpec(), and clang::Sema::ResolveExceptionSpec().
|
inline |
If this function type has an uninstantiated exception specification, this is the function whose exception specification should be instantiated to find the exception specification for this type.
Definition at line 3356 of file Type.h.
References clang::EST_Uninstantiated.
Referenced by addExceptionSpec(), and clang::Sema::InstantiateExceptionSpec().
|
inline |
Get the kind of exception specification on this function.
Definition at line 3304 of file Type.h.
Referenced by AddAttributesFromFunctionProtoType(), addExceptionSpec(), clang::ast_matchers::AST_POLYMORPHIC_MATCHER(), clang::ASTDeclReader::attachPreviousDeclImpl(), clang::Sema::ImplicitExceptionSpecification::CalledDecl(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExceptionSpecSubset(), clang::Sema::CheckExplicitlyDefaultedMemberExceptionSpec(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::Sema::checkThisInStaticMemberFunctionExceptionSpec(), clang::CodeGen::CodeGenFunction::EmitEndEHSpec(), clang::CodeGen::CodeGenFunction::EmitStartEHSpec(), clang::Sema::EvaluateImplicitExceptionSpec(), getNoexceptSpec(), clang::Sema::InstantiateExceptionSpec(), isNothrow(), IsStructurallyEquivalent(), clang::Sema::MarkFunctionReferenced(), printExceptionSpecification(), and clang::Sema::ResolveExceptionSpec().
Definition at line 3332 of file Type.h.
Referenced by addExceptionSpec(), clang::CodeGen::CodeGenFunction::EmitStartEHSpec(), isNothrow(), IsStructurallyEquivalent(), and printExceptionSpecification().
|
inline |
|
inline |
Definition at line 3417 of file Type.h.
Referenced by addExtParameterInfosForCall(), and clang::ASTContext::doFunctionTypesMatchOnExtParameterInfos().
|
inline |
Return a pointer to the beginning of the array of extra parameter information, if present, or else null if none of the parameters carry it.
This is equivalent to getExtProtoInfo().ExtParameterInfos.
Definition at line 3425 of file Type.h.
Referenced by clang::Sema::SubstituteExplicitTemplateArguments(), and clang::TreeTransform< Derived >::TransformFunctionProtoType().
|
inline |
Definition at line 3280 of file Type.h.
References clang::EST_ComputedNoexcept, clang::EST_Dynamic, clang::EST_Unevaluated, clang::EST_Uninstantiated, clang::FunctionProtoType::ExceptionSpecInfo::Exceptions, clang::FunctionProtoType::ExtProtoInfo::ExceptionSpec, clang::FunctionProtoType::ExtProtoInfo::ExtInfo, clang::FunctionProtoType::ExtProtoInfo::ExtParameterInfos, clang::FunctionType::getExtInfo(), clang::FunctionType::getTypeQuals(), clang::FunctionProtoType::ExtProtoInfo::HasTrailingReturn, clang::FunctionProtoType::ExceptionSpecInfo::NoexceptExpr, clang::FunctionProtoType::ExtProtoInfo::RefQualifier, clang::FunctionProtoType::ExceptionSpecInfo::SourceDecl, clang::FunctionProtoType::ExceptionSpecInfo::SourceTemplate, clang::FunctionProtoType::ExceptionSpecInfo::Type, clang::FunctionProtoType::ExtProtoInfo::TypeQuals, and clang::FunctionProtoType::ExtProtoInfo::Variadic.
Referenced by clang::Sema::ActOnBlockStmtExpr(), clang::Sema::ActOnFinishFunctionBody(), clang::Sema::ActOnFunctionDeclarator(), addBlockPointerConversion(), addFunctionPointerConversion(), clang::ASTContext::adjustDeducedFunctionResultType(), clang::Sema::AdjustDestructorExceptionSpec(), clang::ASTContext::adjustFunctionType(), clang::Sema::CheckConstructorDeclarator(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckDestructorDeclarator(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckFunctionTemplateSpecialization(), Desugar(), clang::Sema::findInheritingConstructor(), GetFullTypeForDeclarator(), getFunctionTypeWithExceptionSpec(), clang::TemplateDeclInstantiator::InitFunctionInstantiation(), LookupDirect(), clang::Sema::MergeFunctionDecl(), clang::ASTContext::mergeFunctionTypes(), Profile(), SpecializeCorrespondingLambdaCallOperatorAndInvoker(), clang::Sema::startLambdaDefinition(), clang::Sema::SubstExceptionSpec(), clang::Sema::SubstituteExplicitTemplateArguments(), clang::TreeTransform< Derived >::TransformFunctionProtoType(), and clang::ASTNodeImporter::VisitFunctionProtoType().
|
inline |
Definition at line 3336 of file Type.h.
References clang::EST_ComputedNoexcept.
Referenced by addExceptionSpec(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::checkThisInStaticMemberFunctionExceptionSpec(), getNoexceptSpec(), hasDependentExceptionSpec(), IsStructurallyEquivalent(), and printExceptionSpecification().
FunctionProtoType::NoexceptResult FunctionProtoType::getNoexceptSpec | ( | const ASTContext & | Ctx | ) | const |
Get the meaning of the noexcept spec on this function, if any.
Definition at line 2752 of file Type.cpp.
References clang::EST_BasicNoexcept, clang::EST_ComputedNoexcept, getExceptionSpecType(), getNoexceptExpr(), clang::Expr::isIntegerConstantExpr(), clang::Expr::isValueDependent(), NR_BadNoexcept, NR_Dependent, NR_NoNoexcept, NR_Nothrow, and NR_Throw.
Referenced by clang::Sema::ImplicitExceptionSpecification::CalledDecl(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExceptionSpecSubset(), clang::CodeGen::CodeGenFunction::EmitEndEHSpec(), clang::CodeGen::CodeGenFunction::EmitStartEHSpec(), and isNothrow().
|
inline |
Definition at line 3331 of file Type.h.
Referenced by addExceptionSpec(), clang::Sema::CheckEquivalentExceptionSpec(), clang::CodeGen::CodeGenFunction::EmitStartEHSpec(), IsStructurallyEquivalent(), and printExceptionSpecification().
|
inline |
Definition at line 3271 of file Type.h.
Referenced by addExtParameterInfosForCall(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), AddOverloadParameterChunks(), clang::Sema::AddSurrogateCandidate(), clang::CodeGen::CodeGenTypes::arrangeCXXMethodCall(), clang::Sema::BuildCallToObjectOfClassType(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckMain(), clang::Sema::CheckParamExceptionSpec(), commonEmitCXXMemberOrOperatorCall(), clang::Sema::CompleteConstructorCall(), CompleteNonViableCandidate(), clang::Sema::ComputeDefaultedCopyAssignmentExceptionSpec(), clang::Sema::ComputeDefaultedCopyCtorExceptionSpec(), clang::Sema::ConvertArgumentsForCall(), DeduceTemplateArgumentsByTypeMatch(), EvaluateUnaryTypeTrait(), clang::Sema::FindAllocationFunctions(), clang::Sema::findInheritingConstructor(), clang::CodeGen::RequiredArgs::forPrototypePlus(), clang::Sema::GatherArgumentsForCall(), getAbsoluteValueArgumentType(), clang::FunctionDecl::getNumParams(), clang::Sema::HandleFunctionTypeMismatch(), IsAcceptableNonMemberOperatorCandidate(), clang::Sema::IsBlockPointerConversion(), isDispatchBlock(), isFirstArgumentCompatibleWithType(), clang::Sema::isObjCPointerConversion(), clang::Sema::IsOverload(), IsStructurallyEquivalent(), isTemplateVariadic(), MarkUsedTemplateParameters(), clang::ASTContext::mergeFunctionTypes(), clang::NamedDecl::printQualifiedName(), and rewriteBuiltinFunctionDecl().
|
inline |
Definition at line 3438 of file Type.h.
References I, and clang::Ordinary.
Definition at line 3272 of file Type.h.
Referenced by clang::Sema::AddOverloadCandidate(), AddOverloadParameterChunks(), clang::Sema::AddSurrogateCandidate(), clang::Sema::BuildResolvedCallExpr(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::Sema::CheckMain(), clang::Sema::CheckParamExceptionSpec(), CompleteNonViableCandidate(), clang::Sema::ComputeDefaultedCopyAssignmentExceptionSpec(), clang::Sema::ComputeDefaultedCopyCtorExceptionSpec(), clang::Sema::FindAllocationFunctions(), clang::Sema::findInheritingConstructor(), clang::Sema::GatherArgumentsForCall(), getAbsoluteValueArgumentType(), clang::Sema::HandleFunctionTypeMismatch(), IsAcceptableNonMemberOperatorCandidate(), clang::Sema::IsBlockPointerConversion(), isFirstArgumentCompatibleWithType(), clang::Sema::isObjCPointerConversion(), IsStructurallyEquivalent(), isTemplateVariadic(), MarkUsedTemplateParameters(), clang::ASTContext::mergeFunctionTypes(), rewriteBuiltinFunctionDecl(), and clang::TemplateDeclInstantiator::SubstFunctionType().
Definition at line 3276 of file Type.h.
Referenced by clang::Sema::ActOnBlockStmtExpr(), clang::Sema::ActOnFinishFunctionBody(), clang::Sema::ActOnFunctionDeclarator(), addBlockPointerConversion(), addFunctionPointerConversion(), clang::ASTContext::adjustDeducedFunctionResultType(), clang::ASTContext::adjustFunctionType(), clang::Sema::CheckConstructorDeclarator(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckFunctionTemplateSpecialization(), CheckNonNullArguments(), clang::Sema::findInheritingConstructor(), GetFullTypeForDeclarator(), getFunctionTypeWithExceptionSpec(), clang::TemplateDeclInstantiator::InitFunctionInstantiation(), lookupPromiseType(), clang::ASTContext::mergeFunctionTypes(), SpecializeCorrespondingLambdaCallOperatorAndInvoker(), clang::Sema::startLambdaDefinition(), and clang::TreeTransform< Derived >::TransformFunctionProtoType().
|
inline |
Retrieve the ref-qualifier associated with this function type.
Definition at line 3382 of file Type.h.
References clang::Type::FunctionTypeBits.
Referenced by checkQualifiedFunction(), DeduceTemplateArgumentsByTypeMatch(), and getFunctionQualifiersAsString().
|
inline |
Definition at line 3378 of file Type.h.
References clang::FunctionType::getTypeQuals().
Referenced by AddFunctionTypeQualsToCompletionString(), clang::Sema::BuildCallToMemberFunction(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), checkQualifiedFunction(), DeduceTemplateArgumentsByTypeMatch(), getFunctionQualifiersAsString(), clang::Sema::HandleFunctionTypeMismatch(), clang::Sema::isObjCPointerConversion(), and IsStructurallyEquivalent().
bool FunctionProtoType::hasDependentExceptionSpec | ( | ) | const |
Return whether this function has a dependent exception spec.
Definition at line 2739 of file Type.cpp.
References exceptions(), and getNoexceptExpr().
Referenced by clang::Sema::CheckExceptionSpecCompatibility().
|
inline |
Return whether this function has a dynamic (throw) exception spec.
Definition at line 3312 of file Type.h.
References clang::isDynamicExceptionSpec().
Referenced by printExceptionSpecification().
|
inline |
Return whether this function has any kind of exception spec.
Definition at line 3308 of file Type.h.
References clang::EST_None.
Referenced by clang::Sema::ActOnFunctionDeclarator(), clang::Sema::AdjustDestructorExceptionSpec(), clang::Sema::CheckDistantExceptionSpec(), clang::Sema::CheckEquivalentExceptionSpec(), clang::Sema::CheckExplicitlyDefaultedSpecialMember(), clang::hasImplicitExceptionSpec(), clang::TemplateDeclInstantiator::InitFunctionInstantiation(), and clang::ASTContext::mergeFunctionTypes().
|
inline |
Is there any interesting extra information for any of the parameters of this function type?
Definition at line 3416 of file Type.h.
Referenced by addExtParameterInfosForCall(), clang::ASTContext::doFunctionTypesMatchOnExtParameterInfos(), and getExtParameterInfosForCall().
|
inline |
Return whether this function has a noexcept exception spec.
Definition at line 3316 of file Type.h.
References clang::isNoexceptExceptionSpec().
|
inline |
Definition at line 3376 of file Type.h.
Referenced by clang::Sema::checkThisInStaticMemberFunctionType(), clang::TypeLoc::getBeginLoc(), clang::TypeLoc::getEndLoc(), clang::Sema::SubstituteExplicitTemplateArguments(), and clang::TreeTransform< Derived >::TransformFunctionProtoType().
bool FunctionProtoType::isNothrow | ( | const ASTContext & | Ctx, |
bool | ResultIfDependent = false |
||
) | const |
Determine whether this function type has a non-throwing exception specification.
If this depends on template arguments, returns ResultIfDependent
.
Definition at line 2775 of file Type.cpp.
References clang::EST_BasicNoexcept, clang::EST_ComputedNoexcept, clang::EST_Dynamic, clang::EST_DynamicNone, clang::EST_Unevaluated, clang::EST_Uninstantiated, getExceptionSpecType(), getExceptionType(), getNoexceptSpec(), I, NR_Dependent, and NR_Nothrow.
Referenced by AddAttributesFromFunctionProtoType(), clang::ast_matchers::AST_POLYMORPHIC_MATCHER(), clang::canCalleeThrow(), EvaluateUnaryTypeTrait(), and HasNoThrowOperator().
Definition at line 3445 of file Type.h.
References I.
Referenced by clang::Sema::BuildResolvedCallExpr(), and clang::Sema::GatherArgumentsForCall().
bool FunctionProtoType::isTemplateVariadic | ( | ) | const |
Determines whether this function prototype contains a parameter pack at the end.
A function template whose last parameter is a parameter pack can be called with an arbitrary number of arguments, much like a variadic function.
Definition at line 2800 of file Type.cpp.
References getNumParams(), and getParamType().
Referenced by clang::Sema::DeduceTemplateArguments().
|
inline |
Definition at line 3366 of file Type.h.
Referenced by addBlockPointerConversion(), addFunctionPointerConversion(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), AddOverloadParameterChunks(), clang::Sema::AddSurrogateCandidate(), clang::CodeGen::CodeGenTypes::arrangeCXXMethodCall(), clang::Sema::BuildCallToObjectOfClassType(), clang::Sema::BuildCXXNew(), clang::Sema::BuildResolvedCallExpr(), clang::Sema::CheckConversionDeclarator(), clang::Sema::CheckMain(), clang::Sema::CompleteConstructorCall(), clang::Sema::ConvertArgumentsForCall(), clang::Sema::DeduceTemplateArguments(), DeduceTemplateArgumentsByTypeMatch(), clang::Sema::FindAllocationFunctions(), FormatFunctionParameter(), clang::CodeGen::RequiredArgs::forPrototypePlus(), clang::Sema::getVariadicCallType(), handleFunctionTypeAttr(), clang::Sema::IsBlockPointerConversion(), isFunctionOrMethodVariadic(), clang::Sema::isObjCPointerConversion(), clang::Sema::IsOverload(), IsStructurallyEquivalent(), clang::ASTContext::mergeFunctionTypes(), clang::NamedDecl::printQualifiedName(), and rewriteBuiltinFunctionDecl().
|
inline |
Definition at line 3392 of file Type.h.
Referenced by CheckConstexprParameterTypes(), DeduceTemplateArgumentsByTypeMatch(), clang::CodeGen::CodeGenFunction::EmitBuiltinNewDeleteCall(), clang::CodeGen::CodeGenFunction::EmitSynthesizedCXXCopyCtorCall(), clang::Sema::FunctionParamTypesAreEqual(), isAtLeastAsSpecializedAs(), Profile(), and clang::TreeTransform< Derived >::TransformFunctionProtoType().
|
inline |
Definition at line 3395 of file Type.h.
Referenced by CheckConstexprParameterTypes(), clang::Sema::FunctionParamTypesAreEqual(), and isAtLeastAsSpecializedAs().
|
inline |
Definition at line 3389 of file Type.h.
Referenced by addAssociatedClassesAndNamespaces(), computeCachedProperties(), computeLinkageInfo(), Desugar(), rewriteBuiltinFunctionDecl(), and clang::ASTNodeImporter::VisitFunctionProtoType().
void FunctionProtoType::printExceptionSpecification | ( | raw_ostream & | OS, |
const PrintingPolicy & | Policy | ||
) | const |
Definition at line 594 of file TypePrinter.cpp.
References clang::EST_ComputedNoexcept, clang::EST_MSAny, getExceptionSpecType(), getExceptionType(), getNoexceptExpr(), getNumExceptions(), hasDynamicExceptionSpec(), I, clang::isNoexceptExceptionSpec(), and clang::QualType::stream().
void FunctionProtoType::Profile | ( | llvm::FoldingSetNodeID & | ID, |
const ASTContext & | Ctx | ||
) |
Definition at line 2863 of file Type.cpp.
References getExtProtoInfo(), clang::FunctionType::getReturnType(), and param_type_begin().
Referenced by clang::ASTContext::getFunctionType().
|
static |
|
friend |