Checker Qual

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

License

License

GroupId

GroupId

io.github.eisop
ArtifactId

ArtifactId

checker-qual
Last Version

Last Version

3.22.1-eisop1
Release Date

Release Date

Type

Type

jar
Description

Description

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

Project URL

https://eisop.github.io/
Source Code Management

Source Code Management

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

Download checker-qual

How to add to project

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

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.
io.github.eisop
JDK 9 version of typetools

Versions

Version
3.22.1-eisop1
3.22.0-eisop1
3.21.4-eisop1
3.21.3-eisop1
3.21.2-eisop1
3.0.0-b2
3.0.0-b1