All pull requests

Pull requests

• Add purity annotations

  #299·smillst opened Sep 22, 2026Member·

  ·
  4

• Add MustCall annotations to JDBC Statement and ResultSet

  #258·parameshn opened Feb 15, 2026·

  ·
  1

• Merge checker annotaions from JDK 21 to JDK 25.

  #257·Gaoyan1999 opened Feb 12, 2026·

  ·
  1

• Add MustCall annotations to resource-owning JDBC, MIDI, and audio interfaces

  #254·parameshn opened Jan 22, 2026·

  ·
  15

• Add @Nullable to java.sql.Driver#connect

  #246·kennknowles opened Nov 25, 2025·

  ·

• Added null annotations for Field

  #235·DavyLandman opened Oct 9, 2025·

  ·
  3

• Added confidential checker JDK annotations

  #224·iywang2016 opened Mar 3, 2025·

  ·
  10

• Annotate Java Beans property listeners for nullness

  #123·grv87 opened Jan 26, 2022·

  ·
  3

  

• Annotate InvocationHandler for nullness.

  #74·cpovirk opened Aug 5, 2020·

  ·
  6

  

• Annotate much of java.time for nullness.

  #72·cpovirk opened Aug 3, 2020·

  ·
  3

  

• Finish annotating some classes for nullness.

  #71·cpovirk opened Aug 3, 2020·

  ·
  3