org.jmlspecs.jml4.fspv
Class NoSupportException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.jmlspecs.jml4.fspv.NoSupportException

All Implemented Interfaces:

java.io.Serializable

public class NoSupportException
extends java.lang.RuntimeException

See Also:

Serialized Form

Constructor Summary

NoSupportException(java.lang.String string)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NoSupportException

public NoSupportException(java.lang.String string)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable