Interface for a simple form of synchronization. More...
#include <contracts.h>


Public Member Functions | |
| virtual void | establish_lock ()=0 |
| virtual void | repeal_lock ()=0 |
Interface for a simple form of synchronization.
Derived classes must provide a locking operation and a corresponding unlocking operation.
Definition at line 97 of file contracts.h.
| virtual void basis::base_synchronizer::establish_lock | ( | ) | [pure virtual] |
Implemented in basis::mutex, and processes::rendezvous.
Referenced by basis::auto_synchronizer::auto_synchronizer().
| virtual void basis::base_synchronizer::repeal_lock | ( | ) | [pure virtual] |
Implemented in basis::mutex, and processes::rendezvous.
1.6.3