Checker framework's type qualifiers

Annotations ("type qualifiers") from the checker framework

License	MIT License
GroupId	edu.washington.cs.types.checker
ArtifactId	checker-quals
Last Version	1.7.5
Release Date	Mar 31, 2014
Type	jar
Description	Checker framework's type qualifiers Annotations ("type qualifiers") from the checker framework
Project URL	http://types.cs.washington.edu/checker-framework
Source Code Management	http://code.google.com/p/checker-framework/source/browse

Download checker-quals

Filename	Size
checker-quals-1.7.5.pom
checker-quals-1.7.5.jar	75 KB
checker-quals-1.7.5-sources.jar	82 KB
checker-quals-1.7.5-javadoc.jar	391 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/ -->
<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-quals</artifactId>
    <version>1.7.5</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/
implementation 'edu.washington.cs.types.checker:checker-quals:1.7.5'

Gradle Kotlin

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals/
implementation ("edu.washington.cs.types.checker:checker-quals:1.7.5")

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

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.

Versions

Version
1.7.5 Mar 31, 2014
1.7.2 Jan 22, 2014
1.7.1 Dec 23, 2013
1.7.0 Nov 16, 2013
1.6.4 Jun 18, 2013
1.6.1 Mar 3, 2013
1.6.0 Feb 2, 2013
1.5.0 Jan 31, 2013