C++ interface for capabilities. More...

#include <capability.h>

Inheritance diagram for L4::Cap< T >:

Collaboration diagram for L4::Cap< T >:

Public Member Functions
template<typename O >
	Cap (Cap< O > const &o) noexcept
	Create a copy from `o`, supporting implicit type casting.

	Cap (Cap_type cap) noexcept
	Constructor to create an invalid capability selector.

	Cap (l4_default_caps_t cap) noexcept
	Initialize capability with one of the default capability selectors.

	Cap (l4_cap_idx_t idx=L4_INVALID_CAP) noexcept
	Initialize capability, defaults to the invalid capability selector.

	Cap (No_init_type) noexcept
	Create an uninitialized cap selector.

Cap	move (Cap const &src) const
	Move a capability to this cap slot.

Cap	copy (Cap const &src) const
	Copy a capability to this cap slot.

T *	operator-> () const noexcept
	Member access of a `T`.

Public Member Functions inherited from L4::Cap_base
l4_cap_idx_t	cap () const noexcept
	Return capability selector.

bool	is_valid () const noexcept
	Test whether the capability is a valid capability index (i.e., not L4_INVALID_CAP).

l4_fpage_t	fpage (unsigned rights=L4_CAP_FPAGE_RWS) const noexcept
	Return flex-page for the capability.

l4_umword_t	snd_base (unsigned grant=L4_MAP_ITEM_MAP, l4_cap_idx_t base=L4_INVALID_CAP) const noexcept
	Return send base.

bool	operator== (Cap_base const &o) const noexcept
	Test if two capabilities are equal.

bool	operator!= (Cap_base const &o) const noexcept
	Test if two capabilities are not equal.

l4_msgtag_t	validate (l4_utcb_t *u=l4_utcb()) const noexcept
	Check whether a capability is present (refers to an object).

l4_msgtag_t	validate (Cap< Task > task, l4_utcb_t *u=l4_utcb()) const noexcept
	Check whether a capability is present (refers to an object).

void	invalidate () noexcept
	Set this capability to invalid (L4_INVALID_CAP).

Static Public Member Functions
template<typename From >
static void	check_convertible_from () noexcept
	Perform the type conversion that needs to compile in order for a capability of type From to be convertible to one of type T.

template<typename From >
static void	check_castable_from () noexcept
	Perform the type conversion that needs to compile in order for a capability of type From te be castable (via the correct cap_cast) to one of type T.

Friends
class	L4::Kobject

Additional Inherited Members
Public Types inherited from L4::Cap_base
enum	No_init_type { No_init }
	Special value for uninitialized capability objects. More...

enum	Cap_type { Invalid = L4_INVALID_CAP }
	Invalid capability type. More...

Protected Member Functions inherited from L4::Cap_base
	Cap_base (l4_cap_idx_t c) noexcept
	Generate a capability from its C representation.

	Cap_base (Cap_type cap) noexcept
	Constructor to create an invalid capability.

	Cap_base (l4_default_caps_t cap) noexcept
	Initialize capability with one of the default capabilities.

	Cap_base () noexcept
	Create an uninitialized instance.

void	move (Cap_base const &src) const
	Replace this capability with the contents of `src`.

void	copy (Cap_base const &src) const
	Copy a capability.

Protected Attributes inherited from L4::Cap_base
l4_cap_idx_t	_c
	The C representation of a capability selector.

Detailed Description

template<typename T>
class L4::Cap< T >

C++ interface for capabilities.

Template Parameters

T	Type of the object the capability points to.

The C++ version of a capability is comparable to a pointer, in fact it is a kind of smart pointer for our kernel objects and the objects derived from the kernel objects (L4::Kobject).

Add

#include <l4/sys/capability>

to your code to use the capability interface.

Examples: examples/clntsrv/client.cc, examples/libs/l4re/c++/mem_alloc/ma+rm.cc, examples/libs/l4re/c++/shared_ds/ds_clnt.cc, examples/libs/l4re/c++/shared_ds/ds_srv.cc, examples/libs/l4re/streammap/client.cc, and examples/sys/migrate/thread_migrate.cc.

Definition at line 218 of file capability.h.

Constructor & Destructor Documentation

◆ Cap() [1/4]

template<typename T >

template<typename O >

L4::Cap< T >::Cap ( Cap< O > const & o )

inlinenoexcept

Create a copy from o, supporting implicit type casting.

Parameters

o	The source selector that shall be copied (and casted).

Definition at line 270 of file capability.h.

◆ Cap() [2/4]

template<typename T >

L4::Cap< T >::Cap ( Cap_type cap )

inlinenoexcept

Constructor to create an invalid capability selector.

Parameters

cap	Capability selector.

Definition at line 277 of file capability.h.

◆ Cap() [3/4]

template<typename T >

L4::Cap< T >::Cap ( l4_default_caps_t cap )

inlinenoexcept

Initialize capability with one of the default capability selectors.

Parameters

cap	Capability selector.

Definition at line 283 of file capability.h.

◆ Cap() [4/4]

template<typename T >

L4::Cap< T >::Cap ( l4_cap_idx_t idx = L4_INVALID_CAP )

inlineexplicitnoexcept

Initialize capability, defaults to the invalid capability selector.

Parameters

idx	Capability selector.

Definition at line 289 of file capability.h.

Member Function Documentation

◆ check_castable_from()

template<typename T >

template<typename From >

static void L4::Cap< T >::check_castable_from ( )

inlinestaticnoexcept

Perform the type conversion that needs to compile in order for a capability of type From te be castable (via the correct cap_cast) to one of type T.

Template Parameters

From	Type to convert from

Definition at line 259 of file capability.h.

◆ check_convertible_from()

template<typename T >

template<typename From >

static void L4::Cap< T >::check_convertible_from ( )

inlinestaticnoexcept

Perform the type conversion that needs to compile in order for a capability of type From to be convertible to one of type T.

Template Parameters

From	Type to convert from

Definition at line 246 of file capability.h.

◆ copy()

template<typename T >

Cap L4::Cap< T >::copy ( Cap< T > const & src ) const

inline

Copy a capability to this cap slot.

Parameters

src	the source capability slot.

Definition at line 312 of file capability.h.

◆ move()

template<typename T >

Cap L4::Cap< T >::move ( Cap< T > const & src ) const

inline

Move a capability to this cap slot.

Parameters

src	the source capability slot.

After this operation the source slot is no longer valid.

Definition at line 302 of file capability.h.

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

l4/sys/cxx/capability.h

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Cap() [1/4]

◆ Cap() [2/4]

◆ Cap() [3/4]

◆ Cap() [4/4]

Member Function Documentation

◆ check_castable_from()

◆ check_convertible_from()

◆ copy()

◆ move()