ds::linked_list::cell::PtrAddr Class Reference

Encode a linked list cons cell as a pair of addresses (but present an interface in terms of pointers). More...

#include <linked_list.h>

Public Member Functions
void	cell_reset ()
auto	cell_next ()
auto	cell_prev ()
bool	cell_is_singleton ()
bool	cell_is_doubleton ()

Detailed Description

Encode a linked list cons cell as a pair of addresses (but present an interface in terms of pointers).

CHERI bounds on the returned pointers are inherited from the pointer to this cons cell.

Definition at line 471 of file linked_list.h.

Constructor & Destructor Documentation

PtrAddr()

ds::linked_list::cell::PtrAddr::PtrAddr ( )

inline

Definition at line 476 of file linked_list.h.

Member Function Documentation

cell_is_doubleton()

bool ds::linked_list::cell::PtrAddr::cell_is_doubleton ( )

inline

Definition at line 507 of file linked_list.h.

cell_is_singleton()

bool ds::linked_list::cell::PtrAddr::cell_is_singleton ( )

inline

Definition at line 502 of file linked_list.h.

cell_next()

auto ds::linked_list::cell::PtrAddr::cell_next ( )

inline

Definition at line 487 of file linked_list.h.

cell_prev()

auto ds::linked_list::cell::PtrAddr::cell_prev ( )

inline

Definition at line 492 of file linked_list.h.

cell_reset()

void ds::linked_list::cell::PtrAddr::cell_reset ( )

inline

Definition at line 482 of file linked_list.h.

---

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

• sdk/include/ds/linked_list.h