|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.lang.Throwable | +--java.lang.Error | +--structure.FailedAssertion | +--structure.FailedPostcondition
This error is thrown by the Assert class in the event of a failed postcondition. Errors are thrown rather than exceptions because failed postconditions are assumed to be an indication of such an egregious program failure that recovery is impossible.
Field Summary |
Fields inherited from class java.lang.Error |
|
Constructor Summary | |
FailedPostcondition(java.lang.String reason)
Constructs an error indicating failure to meet a postcondition. |
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 |
public FailedPostcondition(java.lang.String reason)
reason
- String describing postcondition.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |