Uses of Enum Class
dev.civl.mc.state.IF.CIVLHeapException.HeapErrorKind

Packages that use CIVLHeapException.HeapErrorKind

Package	Description
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of CIVLHeapException.HeapErrorKind in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF that return CIVLHeapException.HeapErrorKind

Modifier and Type	Method	Description
CIVLHeapException.HeapErrorKind	CIVLHeapException.heapErrorKind()
static CIVLHeapException.HeapErrorKind	CIVLHeapException.HeapErrorKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static CIVLHeapException.HeapErrorKind[]	CIVLHeapException.HeapErrorKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Method parameters in dev.civl.mc.state.IF with type arguments of type CIVLHeapException.HeapErrorKind

Modifier and Type	Method	Description
State	StateFactory.canonic(State state, boolean collectProcesses, boolean collectScopes, boolean collectHeaps, boolean collectSymbolicConstants, boolean simplify, Set<CIVLHeapException.HeapErrorKind> toBeIgnored)	Return the "canonical" version of the given state.
State	StateFactory.collectHeaps(State state, Set<CIVLHeapException.HeapErrorKind> toBeIgnored)	Performs a garbage collection and canonicalization of heaps.
State	StateFactory.collectScopes(State state, Set<CIVLHeapException.HeapErrorKind> toBeIgnored)	Performs a garbage collection and canonicalization of dynamic scopes.

Constructors in dev.civl.mc.state.IF with parameters of type CIVLHeapException.HeapErrorKind

Modifier	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)