L4::Type_info Struct Reference

Dynamic Type Information for L4Re Interfaces. More...

#include <l4/sys/capability>

Collaboration diagram for L4::Type_info:

Data Structures
class	Demand
	Data type for expressing the needed receive buffers at the server-side of an interface. More...
struct	Demand_t
	Template type statically describing demand of receive buffers. More...
struct	Demand_union_t
	Template type statically describing the combination of two Demand object. More...

Detailed Description

Dynamic Type Information for L4Re Interfaces.

This class represents the runtime-dynamic type information for L4Re interfaces, and is not intended to be used directly by applications.

Note

The interface of is subject to changes.

The main use for this info is to be used by the implementation of the L4::cap_dynamic_cast() function.

Definition at line 510 of file __typeinfo.h.

---

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

• l4/sys/__typeinfo.h