Serialized Form

Package edu.udel.cis.vsl.sarl.IF

Exception edu.udel.cis.vsl.sarl.IF.SARLBoundException

class SARLBoundException extends SARLException implements Serializable

serialVersionUID:

8406532220408063547L

Serialized Fields

expr

SymbolicExpression expr

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

index

NumericExpression index

The offending index

location

String location

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

lowerBound

NumericExpression lowerBound

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

upperBound

NumericExpression upperBound

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

Exception edu.udel.cis.vsl.sarl.IF.SARLException

class SARLException extends RuntimeException implements Serializable

serialVersionUID:

6164113938850258529L

Exception edu.udel.cis.vsl.sarl.IF.SARLInternalException

class SARLInternalException extends SARLException implements Serializable

serialVersionUID:

-2296472993062192755L

Exception edu.udel.cis.vsl.sarl.IF.TheoremProverException

class TheoremProverException extends SARLException implements Serializable

serialVersionUID:

-6788820073994943518L

Package edu.udel.cis.vsl.sarl.simplify.simplifier

Exception edu.udel.cis.vsl.sarl.simplify.simplifier.InconsistentContextException

class InconsistentContextException extends Exception implements Serializable

serialVersionUID:

-2910681509456717916L