Package apron
Class OutOfSpaceException
java.lang.Object
java.lang.Throwable
java.lang.Exception
apron.ApronException
apron.OutOfSpaceException
- All Implemented Interfaces:
Serializable
Exception thrown by an abstract transfer function when
the maximum memory consumption is exceeded.
The maximum memory consumption is set by
Manager.setMaxObjectSize(int, int)
, on a
per-function, per-manager basis. There is no limit by default.
The unit of memory consumption is unspecified (it may not be bytes).
This exception is not a (fatal) java.lang.OutOfMemoryError
,
but merely exceeding a self-imposed limit. The function can be called again
after raising the limit.
- See Also:
-
Field Summary
Fields inherited from class apron.ApronException
funid, manager
-
Constructor Summary
Constructors -
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
-
Constructor Details
-
OutOfSpaceException
public OutOfSpaceException() -
OutOfSpaceException
-