checker.src.org.jmlspecs.annotation.README Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation

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

There is a newer version: 3.48.4

Show newest version

Annotations for the JML project, available from:

http://jmlspecs.svn.sourceforge.net/viewvc/jmlspecs/JMLAnnotations/trunk/src/org/jmlspecs/annotation/

Also see the project homepage at:

http://jmlspecs.org/