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.

Copyright (c) 1998 Samuel A. Rebelsky

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