org.argus.jawa.compiler.util
A class of work items to be used in interrupt requests. Todo: we should replace the Eithers by Futures or Try's.
The result type of the operation
The operation to be performed
To be called from interrupted server to execute demanded task
To be called from interrupting client to get result for interrupt
A class of work items to be used in interrupt requests. Todo: we should replace the Eithers by Futures or Try's.