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

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