Space_index Class Reference

#include <space_index.h>

List of all members.

Public Types
enum	{ Max_space_number = L4_uid::Max_tasks }
Public Member Functions
	Space_index (unsigned number)
	operator unsigned ()
Space *	lookup ()
bool	set_chief (Space_index old_chief, Space_index new_chief)
Space_index	chief ()
Static Public Member Functions
static bool	add (Space *new_space, unsigned new_number)
static bool	del (Space_index number, Space_index chief)
static void	aux_del (Space_index)
Private Attributes
unsigned	space_id
Static Private Attributes
static Space_registry *	spaces = registered_spaces

---

Member Enumeration Documentation

anonymous enum

Enumeration values: Max_space_number

---

Constructor & Destructor Documentation

Space_index::Space_index (  unsigned  number  )  [inline, explicit]

---

Member Function Documentation

bool Space_index::add (  Space *  new_space, unsigned  new_number )  [inline, static]

void Space_index::aux_del (  Space_index   )  [inline, static]

Space_index Space_index::chief (   )  [inline]

bool Space_index::del (  Space_index  number, Space_index  chief )  [inline, static]

Space * Space_index::lookup (   )  [inline]

Space_index::operator unsigned (   )  [inline]

bool Space_index::set_chief (  Space_index  old_chief, Space_index  new_chief )  [inline]

---

Member Data Documentation

unsigned Space_index::space_id [private]

Space_registry * Space_index::spaces = registered_spaces [static, private]

---

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

• space_index.h
• space_index.cc

---