apron

Class OutOfSpaceException

java.lang.Object

java.lang.Throwable

java.lang.Exception

apron.ApronException

apron.OutOfSpaceException

All Implemented Interfaces:

java.io.Serializable

public class OutOfSpaceException
extends ApronException

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:

Serialized Form

Field Summary

Fields inherited from class apron.ApronException

funid, manager

Constructor Summary

Constructors

Constructor and Description
OutOfSpaceException()
OutOfSpaceException(java.lang.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 Detail

OutOfSpaceException

public OutOfSpaceException()

OutOfSpaceException

public OutOfSpaceException(java.lang.String msg,
                           Manager man,
                           int fid)