JarCasting
JarCasting JarCasting
is not current version
Last Version 1.7.5 →

edu.washington.cs.types.checker:checker-quals-jdk5 1.7.0

Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications

GroupId

GroupId

edu.washington.cs.types.checker
ArtifactId

ArtifactId

checker-quals-jdk5
Version

Version

1.7.0
Type

Type

jar

Download checker-quals-jdk5 1.7.0

Filename Size
checker-quals-jdk5-1.7.0.pom
checker-quals-jdk5-1.7.0.jar 84 KB
checker-quals-jdk5-1.7.0-sources.jar 99 KB
checker-quals-jdk5-1.7.0-javadoc.jar 463 bytes
Browse 

<!-- https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals-jdk5/ -->
<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-quals-jdk5</artifactId>
    <version>1.7.0</version>
</dependency>
// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals-jdk5/
implementation 'edu.washington.cs.types.checker:checker-quals-jdk5:1.7.0'
// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-quals-jdk5/
implementation ("edu.washington.cs.types.checker:checker-quals-jdk5:1.7.0")
'edu.washington.cs.types.checker:checker-quals-jdk5:jar:1.7.0'
<dependency org="edu.washington.cs.types.checker" name="checker-quals-jdk5" rev="1.7.0">
  <artifact name="checker-quals-jdk5" type="jar" />
</dependency>
@Grapes(
@Grab(group='edu.washington.cs.types.checker', module='checker-quals-jdk5', version='1.7.0')
)
libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals-jdk5" % "1.7.0"
[edu.washington.cs.types.checker/checker-quals-jdk5 "1.7.0"]