Module dev.civl.mc

Package dev.civl.mc.state.IF

Class CIVLHeapException

java.lang.Object

java.lang.Throwable

java.lang.Exception

dev.civl.mc.state.IF.CIVLStateException

dev.civl.mc.state.IF.CIVLHeapException

All Implemented Interfaces:

Serializable

public class CIVLHeapException
extends CIVLStateException

Extends an execution exception with a state at which error occurred.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	CIVLHeapException.HeapErrorKind

Field Summary

Fields inherited from class dev.civl.mc.state.IF.CIVLStateException

certainty, message, property, source, state

Constructor Summary

Constructors

Constructor	Description
CIVLHeapException(CIVLProperty property, CIVLException.Certainty certainty, State state, String dyscopeName, int dyscopeID, dev.civl.sarl.IF.expr.SymbolicExpression heapValue, int fieldID, int objectID, CIVLHeapException.HeapErrorKind heapError, CIVLSource source)
CIVLHeapException(CIVLProperty property, CIVLException.Certainty certainty, State state, String dyscopeName, int dyscopeID, dev.civl.sarl.IF.expr.SymbolicExpression heapValue, CIVLHeapException.HeapErrorKind heapError, CIVLSource source)

Method Summary

Modifier and Type	Method	Description
CIVLException.Certainty	certainty()
CIVLProperty	civlProperty()
int	dyscopeID()
String	dyscopeName()
CIVLHeapException.HeapErrorKind	heapErrorKind()
int	heapFieldID()
int	heapObjectID()
dev.civl.sarl.IF.expr.SymbolicExpression	heapValue()
String	message()
CIVLSource	source()
State	state()
String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

CIVLHeapException

public CIVLHeapException(CIVLProperty property,
 CIVLException.Certainty certainty,
 State state,
 String dyscopeName,
 int dyscopeID,
 dev.civl.sarl.IF.expr.SymbolicExpression heapValue,
 CIVLHeapException.HeapErrorKind heapError,
 CIVLSource source)

CIVLHeapException

public CIVLHeapException(CIVLProperty property,
 CIVLException.Certainty certainty,
 State state,
 String dyscopeName,
 int dyscopeID,
 dev.civl.sarl.IF.expr.SymbolicExpression heapValue,
 int fieldID,
 int objectID,
 CIVLHeapException.HeapErrorKind heapError,
 CIVLSource source)

Method Details

source

public CIVLSource source()

Overrides:

source in class CIVLStateException

state

public State state()

Overrides:

state in class CIVLStateException

civlProperty

public CIVLProperty civlProperty()

Overrides:

civlProperty in class CIVLStateException

certainty

public CIVLException.Certainty certainty()

Overrides:

certainty in class CIVLStateException

message

public String message()

Overrides:

message in class CIVLStateException

toString

public String toString()

Overrides:

toString in class CIVLStateException

heapValue

public dev.civl.sarl.IF.expr.SymbolicExpression heapValue()

dyscopeName

public String dyscopeName()

dyscopeID

public int dyscopeID()

heapErrorKind

public CIVLHeapException.HeapErrorKind heapErrorKind()

heapFieldID

public int heapFieldID()

heapObjectID

public int heapObjectID()