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