Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

com.simscomputing.util
Class UnsatisfiedInvariantException  view UnsatisfiedInvariantException download UnsatisfiedInvariantException.java

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjava.lang.RuntimeException
              extended bycom.simscomputing.SoftwareFaultException
                  extended bycom.simscomputing.util.BrokenContractException
                      extended bycom.simscomputing.util.UnsatisfiedInvariantException
All Implemented Interfaces:
java.io.Serializable

public class UnsatisfiedInvariantException
extends BrokenContractException

Thrown when an invariant is not satisfied. This exception is a subclass of RuntimeException because BrokenContractException should be thrown only in the event of a programmer error.

Version:
$Revision: 1.1.1.1 $ $Date: 2000/02/21 21:22:36 $

Nested Class Summary
 
Nested classes inherited from class java.lang.Throwable
 
Field Summary
 
Fields inherited from class com.simscomputing.SoftwareFaultException
 
Fields inherited from class java.lang.RuntimeException
 
Fields inherited from class java.lang.Throwable
 
Constructor Summary
UnsatisfiedInvariantException(java.lang.String message)
          Indicates that a precondition was not satisifed.
 
Methods inherited from class com.simscomputing.SoftwareFaultException
getException
 
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

UnsatisfiedInvariantException

public UnsatisfiedInvariantException(java.lang.String message)
Indicates that a precondition was not satisifed.