structure
Class FailedPostcondition

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--structure.FailedAssertion
                    |
                    +--structure.FailedPostcondition
All Implemented Interfaces:
java.io.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.


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

FailedPostcondition

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

Parameters:
reason - String describing postcondition.