clang::FunctionEffectsRef Class Reference

An immutable set of FunctionEffects and possibly conditions attached to them. More...

#include "clang/AST/TypeBase.h"

Public Types
using	iterator = FunctionEffectIterator<FunctionEffectsRef>

Public Member Functions
	FunctionEffectsRef ()=default
bool	empty () const
size_t	size () const
ArrayRef< FunctionEffect >	effects () const
ArrayRef< EffectConditionExpr >	conditions () const
iterator	begin () const
iterator	end () const
void	dump (llvm::raw_ostream &OS) const

Static Public Member Functions
static FunctionEffectsRef	get (QualType QT)
	Extract the effects from a Type if it is a function, block, or member function pointer, or a reference or pointer to one.
static FunctionEffectsRef	create (ArrayRef< FunctionEffect > FX, ArrayRef< EffectConditionExpr > Conds)
	Asserts invariants.

Public Attributes
friend	iterator

Friends
bool	operator== (const FunctionEffectsRef &LHS, const FunctionEffectsRef &RHS)
bool	operator!= (const FunctionEffectsRef &LHS, const FunctionEffectsRef &RHS)

Detailed Description

An immutable set of FunctionEffects and possibly conditions attached to them.

The effects and conditions reside in memory not managed by this object (typically, trailing objects in FunctionProtoType, or borrowed references from a FunctionEffectSet).

Invariants:

• there is never more than one instance of any given effect.
• the array of conditions is either empty or has the same size as the array of effects.
• some conditions may be null expressions; each condition pertains to the effect at the same array index.

Also, if there are any conditions, at least one of those expressions will be dependent, but this is only asserted in the constructor of FunctionProtoType.

See also FunctionEffectSet, in Sema, which provides a mutable set.

Definition at line 5221 of file TypeBase.h.

Member Typedef Documentation

iterator

using clang::FunctionEffectsRef::iterator = FunctionEffectIterator<FunctionEffectsRef>

Definition at line 5257 of file TypeBase.h.

Constructor & Destructor Documentation

FunctionEffectsRef()

clang::FunctionEffectsRef::FunctionEffectsRef ( )

default

Referenced by create().

Member Function Documentation

begin()

iterator clang::FunctionEffectsRef::begin ( ) const

inline

Definition at line 5259 of file TypeBase.h.

Referenced by clang::Sema::FunctionEffectDiffVector::FunctionEffectDiffVector(), and clang::FunctionEffectSet::getIntersection().

conditions()

ArrayRef< EffectConditionExpr > clang::FunctionEffectsRef::conditions ( ) const

inline

Definition at line 5255 of file TypeBase.h.

Referenced by clang::TreeTransform< Derived >::TransformFunctionProtoType().

create()

FunctionEffectsRef FunctionEffectsRef::create ( ArrayRef< FunctionEffect > FX, ArrayRef< EffectConditionExpr > Conds )

static

Asserts invariants.

Definition at line 5997 of file Type.cpp.

References FunctionEffectsRef().

dump()

LLVM_DUMP_METHOD void FunctionEffectsRef::dump

(

llvm::raw_ostream &

OS

)

const

Definition at line 5980 of file Type.cpp.

Referenced by clang::FunctionEffectSet::dump().

effects()

ArrayRef< FunctionEffect > clang::FunctionEffectsRef::effects ( ) const

inline

Definition at line 5254 of file TypeBase.h.

Referenced by clang::FunctionEffectKindSet::insert().

empty()

bool clang::FunctionEffectsRef::empty ( ) const

inline

Definition at line 5251 of file TypeBase.h.

Referenced by clang::FunctionEffectSet::getUnion(), and clang::Sema::maybeAddDeclWithEffects().

end()

iterator clang::FunctionEffectsRef::end ( ) const

inline

Definition at line 5260 of file TypeBase.h.

References size().

Referenced by clang::Sema::FunctionEffectDiffVector::FunctionEffectDiffVector(), and clang::FunctionEffectSet::getIntersection().

get()

FunctionEffectsRef clang::FunctionEffectsRef::get ( QualType QT )

inlinestatic

Extract the effects from a Type if it is a function, block, or member function pointer, or a reference or pointer to one.

Definition at line 9445 of file TypeBase.h.

References clang::Type::getAs(), clang::Type::getBaseElementTypeUnsafe(), clang::Type::getPointeeType(), clang::QualType::getTypePtr(), clang::Type::isArrayType(), and clang::QualType::isNull().

Referenced by clang::Sema::diagnoseFunctionEffectConversion().

size()

size_t clang::FunctionEffectsRef::size ( ) const

inline

Definition at line 5252 of file TypeBase.h.

Referenced by end().

Friends And Related Symbol Documentation

operator!=

bool operator!= ( const FunctionEffectsRef & LHS, const FunctionEffectsRef & RHS )

friend

Definition at line 5266 of file TypeBase.h.

operator==

bool operator== ( const FunctionEffectsRef & LHS, const FunctionEffectsRef & RHS )

friend

Definition at line 5262 of file TypeBase.h.

Member Data Documentation

iterator

friend clang::FunctionEffectsRef::iterator

Definition at line 5258 of file TypeBase.h.

---

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

• include/clang/AST/TypeBase.h
• lib/AST/Type.cpp