Package apron

Class OutOfSpaceException

All Implemented Interfaces:
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:
  • Constructor Details

    • OutOfSpaceException

      public OutOfSpaceException()
    • OutOfSpaceException

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