org.checkerframework.framework.qual

Annotations

  1. Annotated­For
  2. CF­Comment
  3. Conditional­Postcondition­Annotation
  4. Covariant
  5. Default­For
  6. Default­Qualifier
  7. Default­Qualifier­For­Use
  8. Default­Qualifier­In­Hierarchy
  9. Ensures­Qualifier
  10. Ensures­Qualifier­If
  11. Field­Invariant
  12. From­Byte­Code
  13. From­Stub­File
  14. Has­Qualifier­Parameter
  15. Ignore­In­Whole­Program­Inference
  16. Inherited­Annotation
  17. Invisible­Qualifier
  18. Java­Expression
  19. Monotonic­Qualifier
  20. No­Default­Qualifier­For­Use
  21. No­Qualifier­Parameter
  22. Polymorphic­Qualifier
  23. Postcondition­Annotation
  24. Precondition­Annotation
  25. Purity­Unqualified
  26. Qualifier­Argument
  27. Qualifier­For­Literals
  28. Relevant­Java­Types
  29. Requires­Qualifier
  30. Stub­Files
  31. Subtype­Of
  32. Target­Locations
  33. Unused
  34. Upper­Bound­For

Enums

  1. Literal­Kind
  2. Type­Kind
  3. Type­Use­Location