Package apron

Class ApronException

java.lang.Object

java.lang.Throwable

java.lang.Exception

apron.ApronException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

NotImplementedException, OutOfSpaceException, OverflowException, TimeoutException

public class ApronException
extends 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	Description
int	funid	Identifier of the operation that caused the exception
Manager	manager	Manager that caused the exception.

Constructor Summary

Constructors

Constructor	Description
ApronException()
ApronException(String msg, Manager man, int fid)

Method Summary

Modifier and Type	Method	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 Details

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 Details

ApronException

public ApronException()

ApronException

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

Method Details

getFunctionID

public int getFunctionID()

getManager

public Manager getManager()