java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
com.simscomputing.SoftwareFaultException
com.simscomputing.util.BrokenContractException
com.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 classes inherited from class java.lang.Throwable |
|
| Fields inherited from class java.lang.Throwable |
|
| Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
UnsatisfiedInvariantException
public UnsatisfiedInvariantException(java.lang.String message)
- Indicates that a precondition was not satisifed.