Skip to content

Issues: jspecify/jspecify

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.

Sign up for GitHub

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

99 Open 186 Closed
99 Open 186 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Document the nullness of special APIs on enum and annotation types
#509 opened Apr 29, 2024 by cpovirk
3
Document on how to add the jspecify dependency: Maven and Gradle
#503 opened Mar 29, 2024 by sdavids
3
generic userdoc confusion
#500 opened Mar 23, 2024 by xenoterracide
7
Figure out and document whether module-level @NullMarked helps users who don't declare a module
#496 opened Mar 15, 2024 by cpovirk
13
Document how to declare that your JPMS module uses JSpecify
#495 opened Mar 14, 2024 by xenoterracide
11
Give advice in docs about the "findViewById problem" documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
#494 opened Mar 13, 2024 by kevinb9n 1.0
Document that we ignore @Inherited documentation For issues related to user-facing documentation implies For issues with the `@Implies` annotation (name TBD).
#493 opened Mar 13, 2024 by kevinb9n Post-1.0
Not possible to annotation a return enum @Nullable from a method discussion Something that did or will resolve itself without any actual change needed nullness For issues specific to nullness analysis.
#492 opened Mar 12, 2024 by alexandrenavarro
1
Take the Javadoc warning down a notch documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
#491 opened Mar 8, 2024 by kevinb9n 1.0
8
Consider annotating InvocationTargetException, ExecutionException, and CompletionException causes as non-nullable library-use-case Question of how a particular library should be annotated; could potentially affect design or docs nullness For issues specific to nullness analysis.
#490 opened Mar 6, 2024 by cpovirk 1.0
8
@ValueClass, to prepare a class for Valhalla transition (also immediately useful) design An issue that is resolved by making a decision, about whether and how something should work. new-feature Adding something entirely new for users, not improving what's there
#488 opened Mar 2, 2024 by kevinb9n Release-independent
1
Move module-info back to the main root? dev development tasks, build issues...
#484 opened Feb 22, 2024 by cpovirk
2
How to annotate Collection.toArray(T[]) library-use-case Question of how a particular library should be annotated; could potentially affect design or docs nullness For issues specific to nullness analysis.
#481 opened Feb 12, 2024 by kevinb9n 1.0
2
No access to Java-concepts glossary documentation For issues related to user-facing documentation
#460 opened Jan 25, 2024 by kashike
@netdpb
2
Guava has documented their plan for releasing with JSpecify annotations nullness For issues specific to nullness analysis. tracking keeping track of our needs from projects
#459 opened Jan 24, 2024 by netdpb 1.0
@cpovirk
3
Finalize all workingly-decided specification issues affecting 1.0 design An issue that is resolved by making a decision, about whether and how something should work. nullness For issues specific to nullness analysis.
#458 opened Jan 24, 2024 by netdpb 1.0
@netdpb
1
Documentation for code authors documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
#457 opened Jan 24, 2024 by netdpb 1.0
@msridhar
Write 1.0 release announcement documentation For issues related to user-facing documentation
#456 opened Jan 24, 2024 by netdpb 1.0
1
Document intended pre-1.0 releases, including release candidates documentation For issues related to user-facing documentation
#455 opened Jan 24, 2024 by netdpb 1.0
User Guide: Type-use annotation syntax for full qualified names documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
#453 opened Jan 12, 2024 by bjmi
1
What about lazy initialization/setters discussion Something that did or will resolve itself without any actual change needed nullness For issues specific to nullness analysis.
#431 opened Dec 15, 2023 by danthe1st
27
Rename artifact id and module name dev development tasks, build issues...
#426 opened Dec 11, 2023 by Sparky983 1.0
1
@netdpb
9
Standard set of declaration-annotation equivalents to @Nullable and @NonNull design An issue that is resolved by making a decision, about whether and how something should work. needs-decision-post-1.0 Issues needing a finalized decision that they are post 1.0 new-feature Adding something entirely new for users, not improving what's there nullness For issues specific to nullness analysis.
#410 opened Aug 21, 2023 by cpovirk Post-1.0
2
Javadoc "Why?" links don't appear to include the section header documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
#408 opened Aug 14, 2023 by cpovirk
1
AtomicReference.compareAndSet: (V?, V%) or (V%, V%)? library-use-case Question of how a particular library should be annotated; could potentially affect design or docs nullness For issues specific to nullness analysis.
#401 opened Jul 26, 2023 by cpovirk 1.0
4
ProTip! Adding no:label will show everything without a label.