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.23.0-eisop2.jar download
checker-qual-3.23.0-eisop2.pom download
checker-qual-3.23.0-eisop2-sources.jar download
Apache Maven
<dependency>
  <groupId>io.github.eisop</groupId>
  <artifactId>checker-qual</artifactId>
  <version>3.23.0-eisop2</version>
</dependency>
Gradle Groovy
implementation 'io.github.eisop:checker-qual:3.23.0-eisop2'
Gradle Kotlin
implementation("io.github.eisop:checker-qual:3.23.0-eisop2")
Scala SBT
libraryDependencies += "io.github.eisop" % "checker-qual" % "3.23.0-eisop2"
Groovy Grape
@Grapes(
  @Grab(group='io.github.eisop', module='checker-qual', version='3.23.0-eisop2')
)
Apache Ivy
<dependency org="io.github.eisop" name="checker-qual" rev="3.23.0-eisop2" />
Leiningen
[io.github.eisop/checker-qual "3.23.0-eisop2"]
Apache Buildr
'io.github.eisop:checker-qual:jar:3.23.0-eisop2'
Dependencies
The project has no third-party dependencies