Loading...
Searching...
No Matches
L4::Type_info Struct Reference
Base API » Kernel Objects » L4 kernel object type information

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 499 of file __typeinfo.h.

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

- l4/sys/__typeinfo.h