eeverman / eeverman/andhow

Add The Checker Framework or similar

Open
#548 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
25
Forks
34
PR merge metrics
No merged PRs in 30d

Description

Something like this could verify annotations like `@nonnull`, which would be great added safety.

https://checkerframework.org/manual/#pluggable-types

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.