Checker framework's annotated OpenJDK 7

Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework

License	GNU General Public License, version 2, with the Classpath Exception
GroupId	edu.washington.cs.types.checker
ArtifactId	checker-annotated-openjdk7
Last Version	1.7.2
Release Date	Jan 22, 2014
Type	jar
Description	Checker framework's annotated OpenJDK 7 Subset of OpenJDK 7 classes, annotated with 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-annotated-openjdk7

Filename	Size
checker-annotated-openjdk7-1.7.2.pom
checker-annotated-openjdk7-1.7.2.jar	617 KB
checker-annotated-openjdk7-1.7.2-sources.jar	465 bytes
checker-annotated-openjdk7-1.7.2-javadoc.jar	463 bytes

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-annotated-openjdk7/
implementation 'edu.washington.cs.types.checker:checker-annotated-openjdk7:1.7.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-annotated-openjdk7/
implementation ("edu.washington.cs.types.checker:checker-annotated-openjdk7:1.7.2")

Apache Buildr

'edu.washington.cs.types.checker:checker-annotated-openjdk7:jar:1.7.2'

Apache Ivy

<dependency org="edu.washington.cs.types.checker" name="checker-annotated-openjdk7" rev="1.7.2">
  <artifact name="checker-annotated-openjdk7" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='edu.washington.cs.types.checker', module='checker-annotated-openjdk7', version='1.7.2')
)

Scala SBT

libraryDependencies += "edu.washington.cs.types.checker" % "checker-annotated-openjdk7" % "1.7.2"

Leiningen

[edu.washington.cs.types.checker/checker-annotated-openjdk7 "1.7.2"]

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.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