Jcontract API

jcontract
Class PreException

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

public class PreException
extends ContractException

Signals that a @pre contract has been violated

See Also:
Serialized Form

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

PreException

public PreException()

PreException

public PreException(java.lang.String message)

Jcontract API