All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class AT.Ac.univie.imp.loeffler.util.PostconditionNotMetException

java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Exception
                   |
                   +----java.lang.RuntimeException
                           |
                           +----AT.Ac.univie.imp.loeffler.util.PostconditionNotMetException

public class PostconditionNotMetException
extends RuntimeException
Exception class that is thrown if a postcondition of a method is not met. Since this class is a subclass of RuntimeException it is not enforced by the compiler to catch objects of this class.

Author:
Gerald Loeffler (Gerald.Loeffler@univie.ac.at)

Constructor Index

 o PostconditionNotMetException()
construct with no particular message
 o PostconditionNotMetException(String)
construct with the given message

Constructors

 o PostconditionNotMetException
 public PostconditionNotMetException()
construct with no particular message

 o PostconditionNotMetException
 public PostconditionNotMetException(String msg)
construct with the given message

Parameters:
msg - the message

All Packages  Class Hierarchy  This Package  Previous  Next  Index