Checker framework's annotated JDK 7

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

Homepage POM file JAR file Javadoc
'edu.washington.cs.types.checker:checker-annotated-jdk7:1.7.5'

Dependencies

no dependencies