| Class | Description |
|---|---|
| LockAnalysis |
The analysis class for the lock type system (serves as factory for the
transfer function, stores and abstract values.
|
| LockAnnotatedTypeFactory |
LockAnnotatedTypeFactory builds types with LockHeld and LockPossiblyHeld annotations.
|
| LockChecker | |
| LockStore | |
| LockTransfer | |
| LockVisitor |
The LockVisitor enforces the subtyping rules of LockHeld and LockPossiblyHeld
(via BaseTypeVisitor).
|