Uses of Enum Class
dev.civl.mc.model.IF.CIVLProperty

Packages that use CIVLProperty

Package	Description
dev.civl.mc.config.IF	Module config provides static configurations of the CIVL tool.
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 CIVLProperty in dev.civl.mc.config.IF

Fields in dev.civl.mc.config.IF with type parameters of type CIVLProperty

Modifier and Type	Field	Description
(package private) Map<CIVLProperty,Boolean>	CIVLConfiguration.toggleableCivlProps

Methods in dev.civl.mc.config.IF with parameters of type CIVLProperty

Modifier and Type	Method	Description
boolean	CIVLConfiguration.isPropertyToggled(CIVLProperty prop)	Determines if a toggleable property is toggled, i.e.
boolean	CIVLConfiguration.isToggleableProperty(CIVLProperty prop)	Determines whether a CIVLProperty is toggleable.
void	CIVLConfiguration.setToggleableProperty(CIVLProperty prop, boolean value)	Sets a CIVLProperty to be toggleable and to be either turned on or off

Uses of CIVLProperty in dev.civl.mc.log.IF

Methods in dev.civl.mc.log.IF that return CIVLProperty

Modifier and Type	Method	Description
CIVLProperty	CIVLExecutionException.civlProperty()

Methods in dev.civl.mc.log.IF with parameters of type CIVLProperty

Modifier and Type	Method	Description
State	CIVLErrorLogger.logError(CIVLSource source, State state, int pid, StringBuffer stateString, dev.civl.sarl.IF.expr.BooleanExpression claim, dev.civl.sarl.IF.ValidityResult.ResultType resultType, CIVLProperty property, String message)	Report a (possible) error detected in the course of evaluating an expression.
void	CIVLErrorLogger.logSimpleError(CIVLSource source, State state, int pid, String process, StringBuffer stateString, CIVLProperty property, String message)	Checks whether the path condition is satisfiable and logs an error if it is (or might be).

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

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 CIVLProperty in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return CIVLProperty

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

Methods in dev.civl.mc.model.IF that return types with arguments of type CIVLProperty

Modifier and Type	Method	Description
static final List<CIVLProperty>	CIVLProperty.getAllConfigurableProperties()
static final List<CIVLProperty>	CIVLProperty.getAllUnconfigurableProperties()

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

Fields in dev.civl.mc.state.IF declared as CIVLProperty

Modifier and Type	Field	Description
protected CIVLProperty	CIVLStateException.property

Methods in dev.civl.mc.state.IF that return CIVLProperty

Modifier and Type	Method	Description
CIVLProperty	CIVLHeapException.civlProperty()
CIVLProperty	CIVLStateException.civlProperty()

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

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)