dev-java/checker-qual

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

Screenshots

Runtime Dependencies

checker-qual-2.11.1-r1