Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Class PostconditionViolationError  view PostconditionViolationError download

  extended byjava.lang.Throwable
      extended byjava.lang.Error
          extended byedu.ucsb.ccs.jcontractor.PostconditionViolationError
All Implemented Interfaces:

public class PostconditionViolationError
extends java.lang.Error

An error that will be thrown when a postcondition is violated. Be warned: in general a contract violation suggests a problem with the implementation or specification of the code. It is not an error that should be caught and handled. Think twice before catching a PostconditionViolationError.

$Id:,v 1.4 2002/12/17 06:21:55 ccn Exp $

Nested Class Summary
Nested classes inherited from class java.lang.Throwable
Field Summary
Fields inherited from class java.lang.Error
Fields inherited from class java.lang.Throwable
Constructor Summary
PostconditionViolationError(java.lang.String message)
          Construction a new error with an informative message to tell what went wrong.
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 PostconditionViolationError(java.lang.String message)
Construction a new error with an informative message to tell what went wrong.