SubsumableLock
reactives.fullmv.sgt.synchronization.SubsumableLock
trait SubsumableLock extends SubsumableLockProxy, Hosted[SubsumableLock]
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class SubsumableLockReflectionclass SubsumableLockImpl
Members list
Value members
Abstract methods
Concrete methods
Attributes
- Definition Classes
Inherited methods
Calculates a hash code value for the object.
Calculates a hash code value for the object.
The default hashing algorithm is platform dependent.
Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.
Attributes
Attributes
- Inherited from:
- SubsumableLockProxy
Attributes
- Inherited from:
- SubsumableLockProxy
Attributes
- Inherited from:
- Hosted
Inherited and Abstract methods
Attributes
- Inherited from:
- SubsumableLockProxy
Attributes
- Inherited from:
- SubsumableLockProxy
Attributes
- Inherited from:
- SubsumableLockProxy
Abstract fields
Concrete fields
In this article