org.checkerframework.checker.initialization.qual

Annotations

  1. FBC­Bottom
  2. Initialized
  3. Not­Only­Initialized
  4. Under­Initialization
  5. Unknown­Initialization