A class for pending watchdog events with embedded links. More...

#include <Pending_Element_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >:

Collaboration diagram for Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >:

Public Member Functions
	Pending_Element (const Threshold &deadline, const Handler &handler, bool &expired_flag)
	Constructs an element with the given attributes. More...

void	assign (const Threshold &deadline, const Handler &handler, bool &expired_flag)
	Modifies `*this` so that it has the given attributes. More...

const Threshold &	deadline () const
	Returns the deadline of the event. More...

const Handler &	handler () const
	Returns the handler associated to the event. More...

bool &	expired_flag () const
	Returns a reference to the "event-expired" flag. More...

bool	OK () const
	Checks if all the invariants are satisfied. More...

Public Member Functions inherited from Parma_Polyhedra_Library::Implementation::Doubly_Linked_Object
	Doubly_Linked_Object ()
	Default constructor. More...

	Doubly_Linked_Object (Doubly_Linked_Object f, Doubly_Linked_Object b)
	Creates a chain element with forward link `f` and backward link `b`. More...

void	insert_before (Doubly_Linked_Object &y)
	Inserts `y` before `*this`. More...

void	insert_after (Doubly_Linked_Object &y)
	Inserts `y` after `*this`. More...

Doubly_Linked_Object *	erase ()
	Erases `*this` from the chain and returns a pointer to the next element. More...

	~Doubly_Linked_Object ()
	Erases `*this` from the chain. More...

Private Attributes
Threshold	d
	The deadline of the event. More...

const Handler *	p_h
	A pointer to the handler associated to the event. More...

bool *	p_f
	A pointer to a flag saying whether the event has already expired or not. More...

Detailed Description

template<typename Threshold>
class Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >

A class for pending watchdog events with embedded links.

Each pending watchdog event is characterized by a deadline (a positive time interval), an associated handler that will be invoked upon event expiration, and a Boolean flag that indicates whether the event has already expired or not.

Definition at line 39 of file Pending_Element_defs.hh.

Constructor & Destructor Documentation

template<typename Threshold >

Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::Pending_Element	(	const Threshold &	deadline,
		const Handler &	handler,
		bool &	expired_flag
	)

inline

Constructs an element with the given attributes.

Definition at line 43 of file Pending_Element_inlines.hh.

References Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::OK().

   : d(deadline), p_h(&handler), p_f(&expired_flag) {
   assert(OK());
 }

Member Function Documentation

template<typename Threshold >

void Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::assign	(	const Threshold &	deadline,
		const Handler &	handler,
		bool &	expired_flag
	)

inline

Modifies *this so that it has the given attributes.

Definition at line 52 of file Pending_Element_inlines.hh.

                                                        {
   d = deadline;
   p_h = &handler;
   p_f = &expired_flag;
   assert(OK());
 }

template<typename Threshold >

const Threshold & Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::deadline ( ) const

inline

Returns the deadline of the event.

Definition at line 63 of file Pending_Element_inlines.hh.

                                            {
   return d;
 }

template<typename Threshold >

bool & Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::expired_flag ( ) const

inline

Returns a reference to the "event-expired" flag.

Definition at line 75 of file Pending_Element_inlines.hh.

                                                {
   return *p_f;
 }

template<typename Threshold >

const Handler & Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::handler ( ) const

inline

Returns the handler associated to the event.

Definition at line 69 of file Pending_Element_inlines.hh.

                                           {
   return *p_h;
 }

template<typename Threshold >

bool Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::OK ( ) const

inline

Checks if all the invariants are satisfied.

Definition at line 37 of file Pending_Element_inlines.hh.

Referenced by Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::Pending_Element().

                                      {
   return true;
 }

Member Data Documentation

template<typename Threshold>

Threshold Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::d

private

The deadline of the event.

Definition at line 66 of file Pending_Element_defs.hh.

template<typename Threshold>

bool* Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::p_f

private

A pointer to a flag saying whether the event has already expired or not.

Definition at line 72 of file Pending_Element_defs.hh.

template<typename Threshold>

const Handler* Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >::p_h

private

A pointer to the handler associated to the event.

Definition at line 69 of file Pending_Element_defs.hh.

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

Public Member Functions

Private Attributes

Detailed Description

template<typename Threshold> class Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<typename Threshold>
class Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >