org.checkerframework.checker.lock.qual

Annotations

  1. Ensures­Lock­Held
  2. Ensures­Lock­Held­If
  3. Guarded­By
  4. Guarded­By­Bottom
  5. Guarded­By­Unknown
  6. Guard­Satisfied
  7. Holding
  8. Lock­Held
  9. Locking­Free
  10. Lock­Possibly­Held
  11. May­Release­Locks
  12. New­Object
  13. Releases­No­Locks