exceptions
Class OperatorNotEvaluatedException

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

public class OperatorNotEvaluatedException
extends OperatorException

Diese Exception wird ausgel?st, wenn der Operator vor seiner Ausf?hrung Ergebnisse liefern soll (z.B. Aufruf von Operator.getPostcondFullfilled(), bevor Operator.eval() aufgerufen wurde.

Version:
1.0
Author:
Nils Malzahn
See Also:
Operator.getPostcondFullfilled(), Operator.eval(), Serialized Form

Fields inherited from class java.lang.Throwable
backtrace, detailMessage, serialVersionUID
 
Constructor Summary
OperatorNotEvaluatedException()
           
OperatorNotEvaluatedException(java.lang.String s)
          Diesem Konstruktor kann ein String ?bergeben werden, indem z.B.
 
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

OperatorNotEvaluatedException

public OperatorNotEvaluatedException()

OperatorNotEvaluatedException

public OperatorNotEvaluatedException(java.lang.String s)
Diesem Konstruktor kann ein String ?bergeben werden, indem z.B. der Grund f?r die Exception genauer erl?utert wird.
Parameters:
s - String der den Grund der Exception beschreibt.
Since:
Version 1.0