Jcontract API

jcontract
Class ContractException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--jcontract.ContractException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
AssertException, ConcurrencyException, InvariantException, PostException, PreException

public class ContractException
extends java.lang.RuntimeException

Base class for all the contract exceptions

See Also:
Serialized Form

Constructor Summary
ContractException()
          Constructs a ContractException with no message
ContractException(java.lang.String message)
          Constructs a ContractException with the specific message
 
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

ContractException

public ContractException()
Constructs a ContractException with no message

ContractException

public ContractException(java.lang.String message)
Constructs a ContractException with the specific message
Parameters:
message - a String containing the message

Jcontract API