Uses of Enum Class
org.ek9lang.compiler.phase5.lockanalysis.ObjectProvability

Packages that use ObjectProvability

Package	Description
org.ek9lang.compiler.phase5.lockanalysis	Data model for slice-2 deadlock detection analysis results.

Uses of ObjectProvability in org.ek9lang.compiler.phase5.lockanalysis

Subclasses with type arguments of type ObjectProvability in org.ek9lang.compiler.phase5.lockanalysis

Modifier and Type	Class	Description
enum	ObjectProvability	Provability of the OBJECT that bears a field-rooted MutexLock at an enter site — the answer to "can a single consistent global acquisition order be proven for two locks sharing the same field declaration but reached through this object?" (Stage-3 Phase 2/3b, deadlock detection).

Methods in org.ek9lang.compiler.phase5.lockanalysis that return ObjectProvability

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

Constructors in org.ek9lang.compiler.phase5.lockanalysis with parameters of type ObjectProvability

Modifier	Constructor	Description
	ReceiverObjectPath(String objectKey, ObjectProvability provability, String display)	Creates an instance of a ReceiverObjectPath record class.