Jcontract API

jcontract
Class PostException

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

public class PostException
extends ContractException

Signals that a @post contract has been violated

See Also:
Serialized Form

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

PostException

public PostException()

PostException

public PostException(java.lang.String message)

Jcontract API