Serialized Form

Package edu.udel.cis.vsl.civl.log.IF

Class edu.udel.cis.vsl.civl.log.IF.CIVLExecutionException extends CIVLException implements Serializable

serialVersionUID:

1L

Serialized Fields

certainty

CIVLException.Certainty certainty

kind

CIVLException.ErrorKind kind

pid

int pid

process

java.lang.String process

reported

boolean reported

state

State state

stateString

java.lang.StringBuffer stateString

Package edu.udel.cis.vsl.civl.model.IF

Class edu.udel.cis.vsl.civl.model.IF.CIVLException extends java.lang.RuntimeException implements Serializable

serialVersionUID:

-5218392349059280169L

Serialized Fields

source

CIVLSource source

Source of the element that led to exception, for error reporting. May be null.

Class edu.udel.cis.vsl.civl.model.IF.CIVLInternalException extends CIVLException implements Serializable

serialVersionUID:

6522079858283496490L

Class edu.udel.cis.vsl.civl.model.IF.CIVLSyntaxException extends CIVLException implements Serializable

serialVersionUID:

-7304144606936703023L

Class edu.udel.cis.vsl.civl.model.IF.CIVLUnimplementedFeatureException extends CIVLException implements Serializable

serialVersionUID:

-4225986290508573575L

Package edu.udel.cis.vsl.civl.semantics.IF

Class edu.udel.cis.vsl.civl.semantics.IF.LibraryLoaderException extends java.lang.Exception implements Serializable

serialVersionUID:

-4619608037914000146L

Serialized Fields

message

java.lang.String message

The error message from the library loader.

Package edu.udel.cis.vsl.civl.state.IF

Class edu.udel.cis.vsl.civl.state.IF.CIVLHeapException extends CIVLStateException implements Serializable

serialVersionUID:

-5422700931342739728L

Serialized Fields

dyscopeID

int dyscopeID

dyscopeName

java.lang.String dyscopeName

heapErrorKind

CIVLHeapException.HeapErrorKind heapErrorKind

heapFieldID

int heapFieldID

heapObjectID

int heapObjectID

heapValue

edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression heapValue

Class edu.udel.cis.vsl.civl.state.IF.CIVLStateException extends java.lang.Exception implements Serializable

serialVersionUID:

-6159425221287192305L

Serialized Fields

certainty

CIVLException.Certainty certainty

kind

CIVLException.ErrorKind kind

message

java.lang.String message

source

CIVLSource source

state

State state

Class edu.udel.cis.vsl.civl.state.IF.UnsatisfiablePathConditionException extends java.lang.Exception implements Serializable

serialVersionUID:

-8712277042005191993L