c

checker-qual

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
https://eisop.github.io/
The MIT License
Werner M. Dietl Michael Ernst Suzanne Millstein
Files download
File Operation
checker-qual-3.24.0-eisop1.jar download
checker-qual-3.24.0-eisop1.pom download
checker-qual-3.24.0-eisop1-sources.jar download
Apache Maven
<dependency>
  <groupId>io.github.eisop</groupId>
  <artifactId>checker-qual</artifactId>
  <version>3.24.0-eisop1</version>
</dependency>
Gradle Groovy
implementation 'io.github.eisop:checker-qual:3.24.0-eisop1'
Gradle Kotlin
implementation("io.github.eisop:checker-qual:3.24.0-eisop1")
Scala SBT
libraryDependencies += "io.github.eisop" % "checker-qual" % "3.24.0-eisop1"
Groovy Grape
@Grapes(
  @Grab(group='io.github.eisop', module='checker-qual', version='3.24.0-eisop1')
)
Apache Ivy
<dependency org="io.github.eisop" name="checker-qual" rev="3.24.0-eisop1" />
Leiningen
[io.github.eisop/checker-qual "3.24.0-eisop1"]
Apache Buildr
'io.github.eisop:checker-qual:jar:3.24.0-eisop1'
Dependencies
The project has no third-party dependencies