Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tracking issue: making jspecify/jdk library models available to NullAway users #950

Open
1 of 5 tasks
msridhar opened this issue Apr 16, 2024 · 0 comments
Open
1 of 5 tasks
Labels
jspecify Related to support for jspecify standard (see jspecify.dev) tracking For tracking a larger NullAway change / improvement

Comments

@msridhar
Copy link
Collaborator

msridhar commented Apr 16, 2024

This issue is for tracking remaining changes we need to make to use the jspecify/jdk library models with NullAway. We added some initial support for parsing source code and generating astubx files in #922, with support only for reading in @Nullable return types. (List below is quite incomplete for the moment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
jspecify Related to support for jspecify standard (see jspecify.dev) tracking For tracking a larger NullAway change / improvement
Projects
None yet
Development

No branches or pull requests

1 participant