JarCasting
JarCasting JarCasting

Project Group: io.github.eisop

io.github.eisop

Checker Qual

 io.github.eisop : checker-qual

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Javacutil

 io.github.eisop : javacutil

javacutil contains utility classes for the javac compiler.

Last Version: 3.22.1-eisop1

Release Date:

Checker Util

 io.github.eisop : checker-util

checker-util contains utility classes for programmers to use at run time.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Dataflow

 io.github.eisop : dataflow

Dataflow is a dataflow framework based on the javac compiler.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Checker Framework

 io.github.eisop : checker

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Checker Qual Android

 io.github.eisop : checker-qual-android

checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework. The checker-qual-android artifact is identical to the checker-qual artifact, except that in checker-qual-android annotations have classfile retention. The default Android Gradle plugin retains types annotated with runtime annotations in the main dex, but strips out class-retention annotations.

Last Version: 3.22.1-eisop1

Release Date:

Dataflow (shaded)

 io.github.eisop : dataflow-shaded

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Last Version: 3.22.1-eisop1

Release Date:

Dataflow (errorprone)

 io.github.eisop : dataflow-errorprone

dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.errorprone.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Last Version: 3.22.1-eisop1

Release Date:

Dataflow (nullaway)

 io.github.eisop : dataflow-nullaway

dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Checker Framework Testing Library

 io.github.eisop : framework-test

framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.

Last Version: 3.22.1-eisop1

Release Date:
io.github.eisop

Annotated JDK 8

 io.github.eisop : jdk8

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.

Last Version: 3.0.0-b2

Release Date:
io.github.eisop

Checker Framework Core Library

 io.github.eisop : framework

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

Last Version: 3.0.0-b2

Release Date:
io.github.eisop

Checker Framework Core Library (including all dependencies)

 io.github.eisop : framework-all

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

Last Version: 3.0.0-b2

Release Date:

  • 1