org.jmlspecs.jml4.rac.quantifiedexpression
Class NonExecutableQuantifierException

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

All Implemented Interfaces:

java.io.Serializable

public class NonExecutableQuantifierException
extends NonExecutableException

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

Version:

$Revision: 1.1 $

Author:

Yoonsik Cheon and Amritam Sarcar

See Also:

Serialized Form

Constructor Summary

NonExecutableQuantifierException()
Constructs a new instance.

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

Method Summary

Methods inherited from class org.jmlspecs.jml4.rac.NonExecutableException

throwException

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

NonExecutableQuantifierException

public NonExecutableQuantifierException()

Constructs a new instance.

NonExecutableQuantifierException

public NonExecutableQuantifierException(java.lang.String msg)

Constructs a new instance with the given message.