Maven Jars
Otsing
Kodu
edu.washington.cs.types.checker
checker-annotated-openjdk7
1.6.1
Checker framework's annotated OpenJDK 7
Märkus:
Seal on uus versioon see artefakt
:
1.7.2
×
Checker framework's annotated OpenJDK 7
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework
Maven
Gradle
SBT
Ivy
Grape
Leiningen
Buildr
edu.washington.cs.types.checker
checker-annotated-openjdk7
1.6.1
compile group: 'edu.washington.cs.types.checker', name: 'checker-annotated-openjdk7', version: '1.6.1'
compile 'edu.washington.cs.types.checker:checker-annotated-openjdk7:1.6.1'
libraryDependencies += "edu.washington.cs.types.checker" % "checker-annotated-openjdk7" % "1.6.1"
<dependency org="edu.washington.cs.types.checker" name="checker-annotated-openjdk7" rev="1.6.1"/>
@Grapes( @Grab(group='edu.washington.cs.types.checker', module='checker-annotated-openjdk7', version='1.6.1') )
[edu.washington.cs.types.checker/checker-annotated-openjdk7 "1.6.1"]
'edu.washington.cs.types.checker:checker-annotated-openjdk7:jar:1.6.1'