public class WrapRunnable extends CRunnable
Transforms a Runnable into a CRunnable.
This class follows DbC(tm) methodology
(Wikipedia).
Where possible, contracts are implement with native's Java
assert.
Constructor and Description |
---|
WrapRunnable(java.lang.Runnable run) |
Modifier and Type | Method and Description |
---|---|
void |
arun()
The new thread program method (replaces
run ). |
await, await, await, broadcast, interruptWaitingThreads, lockIsMine, registerAwaitingThreads, signal, syncronizedLockIsMine