type.lang
Class SEpostconditionException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by type.lang.SEException
                  extended by type.lang.SEpostconditionException
All Implemented Interfaces:
java.io.Serializable

public class SEpostconditionException
extends SEException

This exception is thrown when the condition passed to the SE.ensure(boolean, java.lang.String) method is false. It indicates that the work completed by the method (or the app) is not as specified by the contract.

See Also:
Serialized Form

Constructor Summary
SEpostconditionException()
           
SEpostconditionException(java.lang.String msg)
           
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SEpostconditionException

public SEpostconditionException()

SEpostconditionException

public SEpostconditionException(java.lang.String msg)


Java by Abstraction: A Client-View Approach