| Class | Description |
|---|---|
| LockAnalysis |
The analysis class for the lock type system.
|
| LockAnnotatedTypeFactory |
LockAnnotatedTypeFactory builds types with @LockHeld and @LockPossiblyHeld annotations.
|
| LockChecker | |
| LockStore |
The Lock Store behaves like CFAbstractStore but requires the ability to insert exact annotations.
|
| LockTransfer |
LockTransfer handles constructors, initializers, synchronized methods, and synchronized blocks.
|
| LockTreeAnnotator | |
| LockVisitor |
The LockVisitor enforces the special type-checking rules described in the Lock Checker manual
chapter.
|