Serialized Form
-
Package dev.civl.mc.log.IF
-
Exception Class dev.civl.mc.log.IF.CIVLExecutionException
class CIVLExecutionException extends CIVLException implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
certainty
CIVLException.Certainty certainty
-
pid
int pid
-
process
String process
-
property
CIVLProperty property
-
reported
boolean reported
-
state
State state
-
stateString
StringBuffer stateString
-
-
-
Package dev.civl.mc.model.IF
-
Exception Class dev.civl.mc.model.IF.CIVLException
class CIVLException extends RuntimeException implements Serializable- serialVersionUID:
- -5218392349059280169L
-
Serialized Fields
-
source
CIVLSource source
Source of the element that led to exception, for error reporting. May be null.
-
-
Exception Class dev.civl.mc.model.IF.CIVLInternalException
class CIVLInternalException extends CIVLException implements Serializable- serialVersionUID:
- 6522079858283496490L
-
Exception Class dev.civl.mc.model.IF.CIVLSyntaxException
class CIVLSyntaxException extends CIVLException implements Serializable- serialVersionUID:
- -7304144606936703023L
-
Exception Class dev.civl.mc.model.IF.CIVLUnimplementedFeatureException
class CIVLUnimplementedFeatureException extends CIVLException implements Serializable- serialVersionUID:
- -4225986290508573575L
-
-
Package dev.civl.mc.semantics.IF
-
Exception Class dev.civl.mc.semantics.IF.LibraryLoaderException
class LibraryLoaderException extends Exception implements Serializable- serialVersionUID:
- -4619608037914000146L
-
Serialized Fields
-
message
String message
The error message from the library loader.
-
-
-
Package dev.civl.mc.state.IF
-
Exception Class dev.civl.mc.state.IF.CIVLHeapException
class CIVLHeapException extends CIVLStateException implements Serializable- serialVersionUID:
- -5422700931342739728L
-
Serialized Fields
-
dyscopeID
int dyscopeID
-
dyscopeName
String dyscopeName
-
heapErrorKind
CIVLHeapException.HeapErrorKind heapErrorKind
-
heapFieldID
int heapFieldID
-
heapObjectID
int heapObjectID
-
heapValue
dev.civl.sarl.IF.expr.SymbolicExpression heapValue
-
-
Exception Class dev.civl.mc.state.IF.CIVLStateException
class CIVLStateException extends Exception implements Serializable- serialVersionUID:
- -6159425221287192305L
-
Serialized Fields
-
certainty
CIVLException.Certainty certainty
-
message
String message
-
property
CIVLProperty property
-
source
CIVLSource source
-
state
State state
-
-
Exception Class dev.civl.mc.state.IF.UnsatisfiablePathConditionException
class UnsatisfiablePathConditionException extends Exception implements Serializable- serialVersionUID:
- -8712277042005191993L
-