Archived Website: This website is a static snapshot for archival purposes only. It is no longer maintained or updated.

exceptions
Class OperatorNoSuchPostconditionException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--exceptions.OperatorException
                    |
                    +--exceptions.OperatorNoSuchPostconditionException

public class OperatorNoSuchPostconditionException

extends OperatorException

Diese Exception zeigt an, dass auf eine Postcondition des Operators verwiesen wurde, die es nicht gibt.

Version:

1.0

Author:

Nils Malzahn

See Also:

Operator.getPostcondFullfilled(), Operator.setPostcondFullfilled(int), Serialized Form

Fields inherited from class java.lang.Throwable

backtrace, detailMessage, serialVersionUID

Constructor Summary

OperatorNoSuchPostconditionException()

OperatorNoSuchPostconditionException(java.lang.String s)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, printStackTrace0, toString

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Constructor Detail

OperatorNoSuchPostconditionException

public OperatorNoSuchPostconditionException()

OperatorNoSuchPostconditionException

public OperatorNoSuchPostconditionException(java.lang.String s)

Parameters:

s - String der den Grund der Exception beschreibt.

Since:

Version 1.0