#include <pwl.hh>
Inherits Parma_Watchdog_Library::Doubly_Linked_Object.
Public Member Functions | |
| Pending_Element (const Time &deadline, const Handler &handler, bool &expired_flag) | |
| Constructs an element with the given attributes. | |
| void | assign (const Time &deadline, const Handler &handler, bool &expired_flag) |
Modifies *this so that it has the given attributes. | |
| const Time & | deadline () const |
| Returns the deadline of the event. | |
| const Handler & | handler () const |
| Returns the handler associated to the event. | |
| bool & | expired_flag () const |
| Returns a reference to the "event-expired" flag. | |
| bool | OK () const |
| Checks if all the invariants are satisfied. | |
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.
1.5.7.1