pgjdbc/pgjdbc GitHub issues and pull requests (mirror)  

help / color / mirror / Atom feed

From: vlsi (@vlsi) <[email protected]>
To: pgjdbc/pgjdbc <[email protected]>
Subject: [pgjdbc/pgjdbc] issue #3725: Add @Contract annotation for clarifying nullability constraints
Date: Fri, 11 Jul 2025 17:26:18 +0000
Message-ID: <[email protected]> (raw)

See https://github.com/junit-team/junit-framework/issues/4722

It turns out we could add pgjdbc's `@Contract` annotation and use it for cases like `@Contract("null, _ -> null")` which means "returns `null` if the first argument is `null`".

Currently, we use a bunch of `@PolyNull` annotations for those cases, however, it looks like we could make Nullaway and IDEA aware of the contracts if we add the annotation.

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: github://pgjdbc/pgjdbc
  Cc: [email protected], [email protected]
  Subject: Re: [pgjdbc/pgjdbc] issue #3725: Add @Contract annotation for clarifying nullability constraints
  In-Reply-To: <<[email protected]>>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox