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)
-
PostconditionNotMetException()
- construct with no particular message
-
PostconditionNotMetException(String)
- construct with the given message
PostconditionNotMetException
public PostconditionNotMetException()
- construct with no particular message
PostconditionNotMetException
public PostconditionNotMetException(String msg)
- construct with the given message
- Parameters:
- msg - the message
All Packages Class Hierarchy This Package Previous Next Index