Jcontract API

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

Constructor Summary
ConcurrencyException()
           
ConcurrencyException(ContractException already_executing_thread)
           
ConcurrencyException(java.lang.String message)
           
ConcurrencyException(java.lang.String message, ContractException already_executing_thread)
           
 
Method Summary
 ContractException getAlreadyExecutingThread()
           
 
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
 

Constructor Detail

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)
Method Detail

getAlreadyExecutingThread

public ContractException getAlreadyExecutingThread()
Returns:
exception describing the thread where the method is already executing

Jcontract API