Package org.checkerframework.checker.lock
package org.checkerframework.checker.lock
-
ClassesClassDescriptionThe analysis class for the lock type system.LockAnnotatedTypeFactory builds types with @LockHeld and @LockPossiblyHeld annotations.The Lock Checker.The Lock Store behaves like CFAbstractStore but requires the ability to insert exact annotations.LockTransfer handles constructors, initializers, synchronized methods, and synchronized blocks.A TreeAnnotator implementation to apply special type introduction rules to string concatenations, binary comparisons, and new array instantiations.The LockVisitor enforces the special type-checking rules described in the Lock Checker manual chapter.