Module dev.civl.sarl

Package dev.civl.sarl.IF

Class SARLBoundException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.sarl.IF.SARLException

dev.civl.sarl.IF.SARLBoundException

All Implemented Interfaces:

Serializable

public class SARLBoundException
extends SARLException

An exception that occurs when an index is out of bounds. Typically, this means an array index, though this class uses only a general notion of an index being out of bounds.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
SymbolicExpression	expr	The symbolic expression into which the index points (typically, an array)
NumericExpression	index	The offending index
String	location	The kind of operation that resulted in the exception, e.g., "an array write operation" or "an array read operation"
NumericExpression	lowerBound	The lowest value that an index should take; can be null, representing "unknown"
NumericExpression	upperBound	The greatest value that an index should take; can be null, representing "unknown"

Constructor Summary

Constructors

Constructor	Description
SARLBoundException(SymbolicExpression expr, NumericExpression index, NumericExpression lowerBound, NumericExpression upperBound, String location)	Constructs new out-of-bounds exception with a message formed from the given parameters.

Method Summary

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

expr

public SymbolicExpression expr

The symbolic expression into which the index points (typically, an array)

index

public NumericExpression index

The offending index

lowerBound

public NumericExpression lowerBound

The lowest value that an index should take; can be null, representing "unknown"

upperBound

public NumericExpression upperBound

The greatest value that an index should take; can be null, representing "unknown"

location

public String location

The kind of operation that resulted in the exception, e.g., "an array write operation" or "an array read operation"

Constructor Details

SARLBoundException

public SARLBoundException(SymbolicExpression expr,
 NumericExpression index,
 NumericExpression lowerBound,
 NumericExpression upperBound,
 String location)

Constructs new out-of-bounds exception with a message formed from the given parameters.

Parameters:

expr - the symbolic expression into which the index points (typically, an array)

index - the offending index

lowerBound - the lowest value that an index should take; can be null, representing "unknown"

upperBound - the greatest value that an index should take; can be null, representing "unknown"

location - the kind of operation that resulted in the exception, e.g., "an array write operation" or "an array read operation"