Package org.checkerframework.checker.lock

package org.checkerframework.checker.lock
  • Classes
    The 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.