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 | |
LockTreeAnnotator | |
LockVisitor |
The LockVisitor enforces the special type-checking rules described in the Lock Checker manual chapter.
|