Maven Jars
Αναζήτηση
Το σπίτι
edu.washington.cs.types.checker
checker-quals-jdk5
1.7.5
Checker framework's type qualifiers backported to JDK5
Checker framework's type qualifiers backported to JDK5
Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications
Maven
Gradle
SBT
Ivy
Grape
Leiningen
Buildr
edu.washington.cs.types.checker
checker-quals-jdk5
1.7.5
compile group: 'edu.washington.cs.types.checker', name: 'checker-quals-jdk5', version: '1.7.5'
compile 'edu.washington.cs.types.checker:checker-quals-jdk5:1.7.5'
libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals-jdk5" % "1.7.5"
<dependency org="edu.washington.cs.types.checker" name="checker-quals-jdk5" rev="1.7.5"/>
@Grapes( @Grab(group='edu.washington.cs.types.checker', module='checker-quals-jdk5', version='1.7.5') )
[edu.washington.cs.types.checker/checker-quals-jdk5 "1.7.5"]
'edu.washington.cs.types.checker:checker-quals-jdk5:jar:1.7.5'