MVN

edu.washington.cs.types.checker : checker-annotated-openjdk7

Maven & Gradle

Jan 22, 2014

Checker framework's annotated OpenJDK 7 · Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework

<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-annotated-openjdk7</artifactId>
    <version>1.7.2</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of edu.washington.cs.types.checker : checker-annotated-openjdk7 to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 1.7.2

All Versions

Choose a version of edu.washington.cs.types.checker : checker-annotated-openjdk7 to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
1.7.x
checker-annotated-openjdk7-1.7.2
checker-annotated-openjdk7-1.7.1
checker-annotated-openjdk7-1.7.0
1.6.x
checker-annotated-openjdk7-1.6.4
checker-annotated-openjdk7-1.6.1
checker-annotated-openjdk7-1.6.0
1.5.x
checker-annotated-openjdk7-1.5.0

How to add a dependency to Maven

Add the following edu.washington.cs.types.checker : checker-annotated-openjdk7 maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-annotated-openjdk7</artifactId>
    <version>1.7.2</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following edu.washington.cs.types.checker : checker-annotated-openjdk7 gradle dependency to your build.gradle file:

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

Gradle Kotlin DSL: Add the following edu.washington.cs.types.checker : checker-annotated-openjdk7 gradle kotlin dependency to your build.gradle.kts file:

implementation("edu.washington.cs.types.checker:checker-annotated-openjdk7:1.7.2")

How to add a dependency to SBT Scala

SBT Scala: Add the following edu.washington.cs.types.checker : checker-annotated-openjdk7 sbt scala dependency to your build.sbt file:

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