All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class rebelsky.util.FailedPostcondition

java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Exception
                   |
                   +----rebelsky.util.FailedAssertion
                           |
                           +----rebelsky.util.FailedPostcondition

public class FailedPostcondition
extends FailedAssertion

Exceptions that are thrown when assertions are not met. Used primarily by rebelsky.util.Assert.

Version:: 1.0 of February 1998
Author:: Samuel A. Rebelsky

Constructor Index

o FailedPostcondition(): Create a new failed postcondition without a description of the failure.
o FailedPostcondition(String): Create a new failed postcondition with a description of the failed Postcondition.

Constructors

o FailedPostcondition

 public FailedPostcondition()

Create a new failed postcondition without a description of the failure.

o FailedPostcondition

 public FailedPostcondition(String reason)

Create a new failed postcondition with a description of the failed Postcondition.

All Packages  Class Hierarchy  This Package  Previous  Next  Index