Groups

jspecify-discuss

Contact owners and managers

1–23 of 23

0 selected

a, Manu Sridharan2

Jun 19

How jspecify fits with builder pattern?

Hi, I think the typical solution here is to mark the `Builder.hello` field as @Nullable and then to

unread,

How jspecify fits with builder pattern?

Hi, I think the typical solution here is to mark the `Builder.hello` field as @Nullable and then to

Jun 19

Andreas Schmidt, Chris Povirk2

Mar 18

Question regarding NullMarked/NullUnmarked classes, interfaces, etc.implemented/extended into others.

Hi, Andreas, Thanks for the question. The idea is that a method is null-marked or not based on where

unread,

Question regarding NullMarked/NullUnmarked classes, interfaces, etc.implemented/extended into others.

Hi, Andreas, Thanks for the question. The idea is that a method is null-marked or not based on where

Mar 18

Xeno Amess, Chris Povirk2

Feb 11

Do we have a way to mark "result be null if a paramater be null otherwise notnull"?

We do not :( Some tools/annotations do have support for this, such as @PolyNull in the Checker

unread,

Do we have a way to mark "result be null if a paramater be null otherwise notnull"?

We do not :( Some tools/annotations do have support for this, such as @PolyNull in the Checker

Feb 11

Sebastien Deleuze, David P. Baker2

12/19/24

Spring Framework main branch migrated to JSpecify

Fantastic! Thanks, Sebastien. Will repost. On Thu, Dec 19, 2024 at 6:20 AM 'Sebastien Deleuze

unread,

Spring Framework main branch migrated to JSpecify

Fantastic! Thanks, Sebastien. Will repost. On Thu, Dec 19, 2024 at 6:20 AM 'Sebastien Deleuze

12/19/24

Benjamin Evans, … tagir....@jetbrains.com3

10/21/24

Quarkus CDI injection with defaults

I agree that it's out of the scope of JSpecify. IntelliJ IDEA does not report this field, as it

unread,

Quarkus CDI injection with defaults

I agree that it's out of the scope of JSpecify. IntelliJ IDEA does not report this field, as it

10/21/24

Rich MacDonald, Chris Povirk7

9/27/24

Pros/Cons of Nullable Generic Type Declaration and ways to reduce verbiage

I am going for "Let's make this work for java!" Which means people like me have to make

unread,

Pros/Cons of Nullable Generic Type Declaration and ways to reduce verbiage

I am going for "Let's make this work for java!" Which means people like me have to make

9/27/24

Rich MacDonald3

9/14/24

Help understanding a 'type is made accessible using the less-annotated type' warning

New question: Same code example but now interested in the interaction between Nullable/NonNull and

unread,

Help understanding a 'type is made accessible using the less-annotated type' warning

New question: Same code example but now interested in the interaction between Nullable/NonNull and

9/14/24

9/11/24

OpenRewrite recipe for jspecify

The OpenRewrite JSpecify recipe has been published: https://github.com/openrewrite/rewrite-migrate-

unread,

OpenRewrite recipe for jspecify

The OpenRewrite JSpecify recipe has been published: https://github.com/openrewrite/rewrite-migrate-

9/11/24

Manu Sridharan, Liam Miller-Cushon3

7/19/24

tool to move declaration @Nullable annotations to the right spot for type-use annotations?

Thanks! I opened a PR to mention this option in the docs. Best, Manu On Jul 18, 2024 at 22:03:19,

unread,

tool to move declaration @Nullable annotations to the right spot for type-use annotations?

Thanks! I opened a PR to mention this option in the docs. Best, Manu On Jul 18, 2024 at 22:03:19,

7/19/24

Jens Bannmann, Chris Povirk2

7/18/24

Optional<@NonNull T>

Hi, Jens, I'd probably go with your signature with your suggested tweak to use Optional<@

unread,

Optional<@NonNull T>

Hi, Jens, I'd probably go with your signature with your suggested tweak to use Optional<@

7/18/24

Greg Thomas, … Sebastien Deleuze3

7/18/24

jspecify with other annotations

Hi, The reason for Spring null-safety annotations like org.springframework.lang.NonNull is that we

unread,

jspecify with other annotations

Hi, The reason for Spring null-safety annotations like org.springframework.lang.NonNull is that we

7/18/24

PBoe, Chris Povirk2

7/16/24

"unspecified" local variables complain but need to be annotatable with "@Nullable" or to be excluded from the Marking-Requirements

Is this a problem that you are seeing in IntelliJ? If so, there's a bug that was filed against

unread,

"unspecified" local variables complain but need to be annotatable with "@Nullable" or to be excluded from the Marking-Requirements

Is this a problem that you are seeing in IntelliJ? If so, there's a bug that was filed against

7/16/24

6/28/24

Here is a first set of answers: -- dishwasher detergent. YES -- dish detergent (for hand washing).

unread,

Here is a first set of answers: -- dishwasher detergent. YES -- dish detergent (for hand washing).

6/28/24

Baron Roberts, David P. Baker3

6/10/24

Can we get a status update on JSpecify

Thanks David for the quick and exciting reply! Best of luck with the 1.0 release. Cheers Baron On

unread,

Can we get a status update on JSpecify

Thanks David for the quick and exciting reply! Best of luck with the 1.0 release. Cheers Baron On

6/10/24

Sebastien Deleuze, … Manu Sridharan9

3/27/24

Feedback with Spring Framework codebase

Spring Framework main branch has now 100% of its code checked with NullAway at build time. I have

unread,

Feedback with Spring Framework codebase

Spring Framework main branch has now 100% of its code checked with NullAway at build time. I have

3/27/24

Caleb Cushing, Chris Povirk2

3/15/24

add a deprecated Nonnull

Sorry for burying this message. I don't know that we'd talked about providing multiple names.

unread,

add a deprecated Nonnull

Sorry for burying this message. I don't know that we'd talked about providing multiple names.

3/15/24

Caleb Cushing, … Chris Povirk6

3/15/24

does nullmarking packages recurese?

Thanks for the questions, and thanks, Manu, for already documenting one answer. On the question of

unread,

does nullmarking packages recurese?

Thanks for the questions, and thanks, Manu, for already documenting one answer. On the question of

3/15/24

pompiuses pompiuses, David P. Baker2

3/4/24

Maven plugin for JSpecify

Thanks for your interest! I'm not exactly sure what you mean by "in case any of the JSpecify

unread,

Maven plugin for JSpecify

Thanks for your interest! I'm not exactly sure what you mean by "in case any of the JSpecify

3/4/24

Caleb Cushing, … Manu Sridharan8

2/22/24

general user feedback

Just a note that on the NullAway side we are actively working on a way to translate the annotations

unread,

general user feedback

Just a note that on the NullAway side we are actively working on a way to translate the annotations

2/22/24

Kevin Bourrillion

12/11/23

Video presentation about JSpecify

I gave this presentation quite a while ago but it's still current info: https://www.youtube.com/

unread,

Video presentation about JSpecify

I gave this presentation quite a while ago but it's still current info: https://www.youtube.com/

12/11/23

Kevin Bourrillion, … Caio César3

12/11/23

Manu and I are livestreaming about JSpecify tomorrow/Wednesday

Nicolai just made it available in his channel: https://www.youtube.com/watch?v=HS_kA42YNkU El jueves,

unread,

Manu and I are livestreaming about JSpecify tomorrow/Wednesday

Nicolai just made it available in his channel: https://www.youtube.com/watch?v=HS_kA42YNkU El jueves,

12/11/23

Reinier Zwitserloot, … Kevin Bourrillion6

10/2/23

Expanding the horizon beyond nullity: Far-future, or is there a list?

On Wed, Sep 27, 2023 at 7:37 PM Reinier Zwitserloot <rein...@gmail.com> wrote: > These seem

unread,

Expanding the horizon beyond nullity: Far-future, or is there a list?

On Wed, Sep 27, 2023 at 7:37 PM Reinier Zwitserloot <rein...@gmail.com> wrote: > These seem

10/2/23

Björn Michael, Kevin Bourrillion2

2/9/23

Type-use annotation syntax and qualified names

I'm startled to see that we missed this message for 3 weeks! I'm very sorry about that; we

unread,

Type-use annotation syntax and qualified names

I'm startled to see that we missed this message for 3 weeks! I'm very sorry about that; we

2/9/23

Search

Clear search

Close search

Google apps

Main menu