Jcontract API

jcontract
Class AssertException

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

public class AssertException
extends ContractException

Signals that an @assert contract has been violated

See Also:
Serialized Form

Constructor Summary
AssertException()
           
AssertException(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

AssertException

public AssertException()

AssertException

public AssertException(java.lang.String message)

Jcontract API