[operations]
[attributes]
[fields]
[template]
[definition]
[implementation]
[documentation]
[next]
[prev]
[superclass]
[next peer]
[prev peer]
[subclass]
[index]
[hierarchy]
mixes in with Viewable
Operations
Get list of all operations
Class HasLock defines no new operations.
Attributes
Get list of all attributes
Fields
Instance template
Class HasLock cannot be instantiated.
Class definition
Define Class HasLock;
mixes in with Viewable;
field lock: Lock;
attribute Lock: Lock;
end class;