Workbench

The Workbench provides a framework for synchronizing job access to platform resources.

Only one single workbench job can run over a particular workbench. The waitLock method blocks until the previous job has terminated. The lock method throws an exception if the previous job has not terminated.

The idea is that we don't have to worry about serializing access to the underlying resources (for example, the Workspace). We can create instances of WorkbenchJob and execute these in a thread pool - the workbench ensures that no conflicts occur.

Members

Functions

isLocked
bool isLocked()
Undocumented in source.
lock
void lock(shared(WorkbenchJob) )
Undocumented in source.
unlock
void unlock(shared(WorkbenchJob) )
Undocumented in source.
waitLock
void waitLock(shared(WorkbenchJob) )
Undocumented in source.

Static functions

getCurrent
Workbench getCurrent()
Undocumented in source. Be warned that the author may not have intended to support it.

Meta