apron

Class ApronException

java.lang.Object

java.lang.Throwable

java.lang.Exception

apron.ApronException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

NotImplementedException, OutOfSpaceException, OverflowException, TimeoutException

public class ApronException
extends java.lang.Exception

Superclass of Apron-specific exceptions that can be thrown by numerical abstract domains.

Apron functions can also throw standard java.lang.RuntimeException, mainly: java.lang.IndexOutOfBoundsException, java.lang.IllegalArgumentException, java.lang.ArithmeticException, and java.lang.NullPointerException.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	funid Identifier of the operation that caused the exception.
Manager	manager Manager that caused the exception.

Constructor Summary

Constructors

Constructor and Description
ApronException()
ApronException(java.lang.String msg, Manager man, int fid)

Method Summary

Modifier and Type	Method and Description
int	getFunctionID()
Manager	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

Field Detail

manager

public Manager manager

Manager that caused the exception.

funid

public int funid

Identifier of the operation that caused the exception. (Manager.FUNID_COPY, etc.)

Constructor Detail

ApronException

public ApronException()

ApronException

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

Method Detail

getFunctionID

public int getFunctionID()

getManager

public Manager getManager()