Uses of Enum Class
dev.civl.mc.model.IF.CIVLException.Certainty

Packages that use CIVLException.Certainty

Package	Description
dev.civl.mc.log.IF	Module log provides the data structure for logging errors during verification.
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of CIVLException.Certainty in dev.civl.mc.log.IF

Methods in dev.civl.mc.log.IF that return CIVLException.Certainty

Modifier and Type	Method	Description
CIVLException.Certainty	CIVLExecutionException.certainty()

Constructors in dev.civl.mc.log.IF with parameters of type CIVLException.Certainty

Modifier	Constructor	Description
	CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String message, State state)	Constructs new CIVLExecutionException with no associated process.
	CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String message, State state, CIVLSource source)	Constructs new CIVLExecutionException with no associated process.
	CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String process, String message, State state, int pid, CIVLSource source)	Constructs a new CIVLExecutionException with an associated process.
	CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String process, String message, State state, int pid, CIVLSource source, StringBuffer stateString)	Constructs a new CIVLExecutionException with an associated process and stateString.

Uses of CIVLException.Certainty in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return CIVLException.Certainty

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

Uses of CIVLException.Certainty in dev.civl.mc.state.IF

Fields in dev.civl.mc.state.IF declared as CIVLException.Certainty

Modifier and Type	Field	Description
protected CIVLException.Certainty	CIVLStateException.certainty

Methods in dev.civl.mc.state.IF that return CIVLException.Certainty

Modifier and Type	Method	Description
CIVLException.Certainty	CIVLHeapException.certainty()
CIVLException.Certainty	CIVLStateException.certainty()

Constructors in dev.civl.mc.state.IF with parameters of type CIVLException.Certainty

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)
	CIVLStateException(CIVLProperty property, CIVLException.Certainty certainty, String message, State state, CIVLSource source)