org.jmlspecs.jml4.rac
Class NonExecutableException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.jmlspecs.jml4.rac.NonExecutableException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

NonExecutableQuantifierException

public class NonExecutableException
extends java.lang.Exception

Thrown to indicate that an attempt has been made to translate a JML expression that is not executable.

Author:

Amritam Sarcar

See Also:

Serialized Form

Constructor Summary

NonExecutableException()
Constructs a new instance.

NonExecutableException(java.lang.String msg)
Constructs a new instance with the given message.

Method Summary

static java.lang.String

throwException(Expression expr)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NonExecutableException

public NonExecutableException()

Constructs a new instance.

NonExecutableException

public NonExecutableException(java.lang.String msg)

Constructs a new instance with the given message.

Method Detail

throwException

public static java.lang.String throwException(Expression expr)