| Class | Description |
|---|---|
| LockAnnotatedTypeFactory |
The type factory for
Lock type system. |
| LockChecker |
A typechecker plug-in for the JCIP type system qualifier that finds (and
verifies the absence of) locking and concurrency errors.
|
| LockVisitor |
A type-checking visitor for the Lock type system.
|