structure
Class FailedPostcondition

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--structure.FailedAssertion
                    |
                    +--structure.FailedPostcondition

All Implemented Interfaces:

Serializable

class FailedPostcondition

extends FailedAssertion

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.

See Also:

Serialized Form

Fields inherited from class java.lang.Throwable

backtrace, detailMessage, serialVersionUID

Constructor Summary

FailedPostcondition(String reason)
Constructs an error indicating failure to meet a postcondition.

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, printStackTrace0, toString

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Constructor Detail

FailedPostcondition

public FailedPostcondition(String reason)

Constructs an error indicating failure to meet a postcondition.

Parameters:

reason - String describing postcondition.