Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

edu.ucsb.ccs.jcontractor
Class PostconditionViolationError  

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          edu.ucsb.ccs.jcontractor.PostconditionViolationError

All Implemented Interfaces:

java.io.Serializable

---

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.

Version:

$Id: PostconditionViolationError.java,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

PostconditionViolationError

public PostconditionViolationError(java.lang.String message)

Construction a new error with an informative message to tell what went wrong.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---