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.

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

Jump to bottom

NullFree* annotations #1

Open
eparovyshnaya opened this issue Mar 17, 2020 · 0 comments
Open

NullFree* annotations #1

eparovyshnaya opened this issue Mar 17, 2020 · 0 comments
Assignees
@eparovyshnaya
Labels
meta: discussion No actual code change is required, but other issues can be begotten

Comments

@eparovyshnaya
Copy link
Contributor 

@NullFreeZone

annotation would be a nice way to publicly manifest intolerance to null in all it's forms and origins.

Implemented as with source retention and available for package/type/field/constructor/method , it can beget compile time errors for any null literal usages in the annotated code.

@NullFreeContract

as a weaker variant, would declare (and optionally contribute to JavaDoc) that

  • none of method s in scope can either accept null as a parameter or return it as a result
  • nont of field s in scope can be assigned to null
@eparovyshnaya eparovyshnaya self-assigned this Mar 17, 2020
@eparovyshnaya eparovyshnaya added the meta: discussion No actual code change is required, but other issues can be begotten label Mar 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@eparovyshnaya eparovyshnaya

Labels
meta: discussion No actual code change is required, but other issues can be begotten
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@eparovyshnaya