Package apron

Class OverflowException

java.lang.Object

java.lang.Throwable

java.lang.Exception

apron.ApronException

apron.OverflowException

All Implemented Interfaces:

Serializable

public class OverflowException
extends ApronException

Exception thrown by an abstract transfer function in case of an arithmetic overflow.

It indicates that the expected result cannot be expressed nor soundly approximated due to arithmetic limitations.

This can happen when using a domain implementation based on machine, fixed-length types (such as machine integers). However, this cannot happen with arbitrary-precision types (such as GMP) or types that can always provide some sound over approximation (such as machine or multi-precision floating-point numbers).

See Also:

• Serialized Form

Field Summary

Fields inherited from class apron.ApronException

funid, manager

Constructor Summary

Constructors

Constructor	Description
OverflowException()
OverflowException(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

OverflowException

public OverflowException()

OverflowException

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