Jcontract API

jcontract
Class InvariantException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--jcontract.ContractException
                          |
                          +--jcontract.InvariantException
All Implemented Interfaces:
java.io.Serializable

public class InvariantException
extends ContractException

Signals that an @invariant contract has been violated

See Also:
Serialized Form

Constructor Summary
InvariantException()
           
InvariantException(java.lang.String 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

InvariantException

public InvariantException()

InvariantException

public InvariantException(java.lang.String message)

Jcontract API