mvncenter: edu.washington.cs.types.checker:checker-quals:1.7.5

Annotations ("type qualifiers") from the checker framework

qualifiers annotations from type framework checker

Files download

Apache Maven

<dependency>
  <groupId>edu.washington.cs.types.checker</groupId>
  <artifactId>checker-quals</artifactId>
  <version>1.7.5</version>
</dependency>

Gradle Groovy

implementation 'edu.washington.cs.types.checker:checker-quals:1.7.5'

Gradle Kotlin

implementation("edu.washington.cs.types.checker:checker-quals:1.7.5")

Scala SBT

libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals" % "1.7.5"

Groovy Grape

@Grapes(
  @Grab(group='edu.washington.cs.types.checker', module='checker-quals', version='1.7.5')
)

Apache Ivy

<dependency org="edu.washington.cs.types.checker" name="checker-quals" rev="1.7.5" />

Leiningen

[edu.washington.cs.types.checker/checker-quals "1.7.5"]

Apache Buildr

'edu.washington.cs.types.checker:checker-quals:jar:1.7.5'

Dependencies

<parent>
  <groupId>org.sonatype.oss</groupId>
  <artifactId>oss-parent</artifactId>
  <version>7</version>
</parent>

The project has no third-party dependencies