Annotated JDK 8

Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker Framework annotations. 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.

License

License

GroupId

GroupId

io.github.eisop
ArtifactId

ArtifactId

jdk8
Last Version

Last Version

3.0.0-b2
Release Date

Release Date

Type

Type

jar
Description

Description

Annotated JDK 8
Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker Framework annotations. 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.
Project URL

Project URL

https://checkerframework.org
Source Code Management

Source Code Management

https://github.com/typetools/checker-framework.git

Download jdk8

How to add to project

<!-- https://jarcasting.com/artifacts/io.github.eisop/jdk8/ -->
<dependency>
    <groupId>io.github.eisop</groupId>
    <artifactId>jdk8</artifactId>
    <version>3.0.0-b2</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.eisop/jdk8/
implementation 'io.github.eisop:jdk8:3.0.0-b2'
// https://jarcasting.com/artifacts/io.github.eisop/jdk8/
implementation ("io.github.eisop:jdk8:3.0.0-b2")
'io.github.eisop:jdk8:jar:3.0.0-b2'
<dependency org="io.github.eisop" name="jdk8" rev="3.0.0-b2">
  <artifact name="jdk8" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.eisop', module='jdk8', version='3.0.0-b2')
)
libraryDependencies += "io.github.eisop" % "jdk8" % "3.0.0-b2"
[io.github.eisop/jdk8 "3.0.0-b2"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file changelog.txt.

Documentation for Checker Framework developers is in directory docs/developer/.

io.github.eisop

Versions

Version
3.0.0-b2