type.lang
Class SEinvariantException

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.SEinvariantException
All Implemented Interfaces:
java.io.Serializable

public class SEinvariantException
extends SEException

This exception is thrown when the condition passed to the SE.invariant(boolean, java.lang.String) method is false.

See Also:
Serialized Form

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

SEinvariantException

public SEinvariantException()

SEinvariantException

public SEinvariantException(java.lang.String msg)


Java by Abstraction: A Client-View Approach