clang::FunctionType::ExtParameterInfo Class Reference

Interesting information about a specific parameter that can't simply be reflected in parameter's type. More...

#include "clang/AST/TypeBase.h"

Public Member Functions
	ExtParameterInfo ()=default
ParameterABI	getABI () const
	Return the ABI treatment of this parameter.
ExtParameterInfo	withABI (ParameterABI kind) const
bool	isConsumed () const
	Is this parameter considered "consumed" by Objective-C ARC?
ExtParameterInfo	withIsConsumed (bool consumed) const
bool	hasPassObjectSize () const
ExtParameterInfo	withHasPassObjectSize () const
bool	isNoEscape () const
ExtParameterInfo	withIsNoEscape (bool NoEscape) const
unsigned char	getOpaqueValue () const

Static Public Member Functions
static ExtParameterInfo	getFromOpaqueValue (unsigned char data)

Friends
bool	operator== (ExtParameterInfo lhs, ExtParameterInfo rhs)
bool	operator!= (ExtParameterInfo lhs, ExtParameterInfo rhs)

Detailed Description

Interesting information about a specific parameter that can't simply be reflected in parameter's type.

This is only used by FunctionProtoType but is in FunctionType to make this class available during the specification of the bases of FunctionProtoType.

It makes sense to model language features this way when there's some sort of parameter-specific override (such as an attribute) that affects how the function is called. For example, the ARC ns_consumed attribute changes whether a parameter is passed at +0 (the default) or +1 (ns_consumed). This must be reflected in the function type, but isn't really a change to the parameter type.

One serious disadvantage of modelling language features this way is that they generally do not work with language features that attempt to destructure types. For example, template argument deduction will not be able to match a parameter declared as T (*)(U) against an argument of type void (*)(attribute((ns_consumed)) id) because the substitution of T=void, U=id into the former will not produce the latter.

Definition at line 4634 of file TypeBase.h.

Constructor & Destructor Documentation

ExtParameterInfo()

clang::FunctionType::ExtParameterInfo::ExtParameterInfo ( )

default

Referenced by getFromOpaqueValue(), operator!=, operator==, withABI(), withHasPassObjectSize(), withIsConsumed(), and withIsNoEscape().

Member Function Documentation

getABI()

ParameterABI clang::FunctionType::ExtParameterInfo::getABI ( ) const

inline

Return the ABI treatment of this parameter.

Definition at line 4647 of file TypeBase.h.

Referenced by clang::Sema::AddOverloadCandidate(), checkExtParameterInfos(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), clang::CodeGen::CodeGenFunction::EmitCall(), clang::CodeGen::CodeGenFunction::EmitFunctionProlog(), and clang::Sema::GatherArgumentsForCall().

getFromOpaqueValue()

ExtParameterInfo clang::FunctionType::ExtParameterInfo::getFromOpaqueValue ( unsigned char data )

inlinestatic

Definition at line 4684 of file TypeBase.h.

References ExtParameterInfo().

getOpaqueValue()

unsigned char clang::FunctionType::ExtParameterInfo::getOpaqueValue ( ) const

inline

Definition at line 4683 of file TypeBase.h.

Referenced by clang::serialization::DataStreamBasicReader< Impl >::readExtParameterInfo(), and clang::serialization::DataStreamBasicWriter< Impl >::writeExtParameterInfo().

hasPassObjectSize()

bool clang::FunctionType::ExtParameterInfo::hasPassObjectSize ( ) const

inline

Definition at line 4666 of file TypeBase.h.

isConsumed()

bool clang::FunctionType::ExtParameterInfo::isConsumed ( ) const

inline

Is this parameter considered "consumed" by Objective-C ARC?

Consumed parameters must have retainable object type.

Definition at line 4656 of file TypeBase.h.

isNoEscape()

bool clang::FunctionType::ExtParameterInfo::isNoEscape ( ) const

inline

Definition at line 4673 of file TypeBase.h.

Referenced by clang::Sema::CheckOverridingFunctionAttributes(), clang::CodeGen::CodeGenModule::ConstructAttributeList(), clang::Sema::GatherArgumentsForCall(), and clang::ASTContext::mergeExtParameterInfo().

withABI()

ExtParameterInfo clang::FunctionType::ExtParameterInfo::withABI ( ParameterABI kind ) const

inline

Definition at line 4648 of file TypeBase.h.

References ExtParameterInfo(), and kind.

withHasPassObjectSize()

ExtParameterInfo clang::FunctionType::ExtParameterInfo::withHasPassObjectSize ( ) const

inline

Definition at line 4667 of file TypeBase.h.

References clang::Copy, and ExtParameterInfo().

withIsConsumed()

ExtParameterInfo clang::FunctionType::ExtParameterInfo::withIsConsumed ( bool consumed ) const

inline

Definition at line 4657 of file TypeBase.h.

References ExtParameterInfo().

withIsNoEscape()

ExtParameterInfo clang::FunctionType::ExtParameterInfo::withIsNoEscape ( bool NoEscape ) const

inline

Definition at line 4674 of file TypeBase.h.

References clang::Copy, and ExtParameterInfo().

Referenced by clang::CodeGen::CodeGenTypes::arrangeObjCMessageSendSignature(), and clang::ASTContext::mergeExtParameterInfo().

Friends And Related Symbol Documentation

operator!=

bool operator!= ( ExtParameterInfo lhs, ExtParameterInfo rhs )

friend

Definition at line 4694 of file TypeBase.h.

References ExtParameterInfo().

operator==

bool operator== ( ExtParameterInfo lhs, ExtParameterInfo rhs )

friend

Definition at line 4690 of file TypeBase.h.

References ExtParameterInfo().

---

The documentation for this class was generated from the following file:

• include/clang/AST/TypeBase.h