Package apron

Class NotImplementedException

java.lang.Object

java.lang.Throwable

java.lang.Exception

apron.ApronException

apron.NotImplementedException

All Implemented Interfaces:

Serializable

public class NotImplementedException
extends ApronException

Exception thrown when calling an abstract transfer function that is not implemented in the domain.

See Also:

• Serialized Form

Field Summary

Fields inherited from class apron.ApronException

funid, manager

Constructor Summary

Constructors

Constructor	Description
NotImplementedException()
NotImplementedException(String msg, Manager man, int fid)

Method Summary

Methods inherited from class apron.ApronException

getFunctionID, getManager

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

NotImplementedException

public NotImplementedException()

NotImplementedException

public NotImplementedException(String msg,
 Manager man,
 int fid)