Indexed Artifacts (21.5M)

Popular Categories

Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method implementations in this file are empty. This file should only be compiled against and should never be placed on the runtime classpath of a compiled program.

LicenseGPL
HomePage https://checkerframework.org
Date(Apr 02, 2020)
Filesjar (927 KB)  View All
RepositoriesCentral
Used By16 artifacts


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
GNU General Public License, version 2 (GPL2), with the classpath exception http://www.gnu.org/software/classpath/license.html

Developers

NameEmailDev IdRolesOrganization
Michael Ernstmernst<at>cs.washington.edumernstUniversity of Washington
Werner M. Dietlwdietl<at>uwaterloo.cawmdietlUniversity of Waterloo
Suzanne Millsteinsmillst<at>cs.washington.edusmillstUniversity of Washington