Uses of Class
dev.civl.mc.state.IF.CIVLStateException

Packages that use CIVLStateException

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

Uses of CIVLStateException in dev.civl.mc.state.IF

Subclasses of CIVLStateException in dev.civl.mc.state.IF

Modifier and Type	Class	Description
class	CIVLHeapException	Extends an execution exception with a state at which error occurred.

Methods in dev.civl.mc.state.IF that throw CIVLStateException

Modifier and Type	Method	Description
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.