Class LockAnnotatedTypeFactory

All Implemented Interfaces:

public class LockAnnotatedTypeFactory extends GenericAnnotatedTypeFactory<CFValue,LockStore,LockTransfer,LockAnalysis>
LockAnnotatedTypeFactory builds types with @LockHeld and @LockPossiblyHeld annotations. LockHeld identifies that an object is being used as a lock and is being held when a given tree is executed. LockPossiblyHeld is the default type qualifier for this hierarchy and applies to all fields, local variables and parameters -- hence it does not convey any information other than that it is not LockHeld.

However, there are a number of other annotations used in conjunction with these annotations to enforce proper locking.

See the Checker Framework Manual:
Lock Checker