jcontract
Class ConcurrencyException
java.lang.Object
|
+--java.lang.Throwable
|
+--java.lang.Exception
|
+--java.lang.RuntimeException
|
+--jcontract.ContractException
|
+--jcontract.ConcurrencyException
- All Implemented Interfaces:
- java.io.Serializable
- public class ConcurrencyException
- extends ContractException
Signals that a @concurrency
contract has been violated
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ConcurrencyException
public ConcurrencyException()
ConcurrencyException
public ConcurrencyException(ContractException already_executing_thread)
ConcurrencyException
public ConcurrencyException(java.lang.String message)
ConcurrencyException
public ConcurrencyException(java.lang.String message,
ContractException already_executing_thread)
getAlreadyExecutingThread
public ContractException getAlreadyExecutingThread()
- Returns:
- exception describing the thread where the method is already
executing