org.checkerframework.framework.qual.package-info Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of guava Show documentation
Show all versions of guava Show documentation
Guava is a suite of core and expanded libraries that include
utility classes, google's collections, io classes, and much
much more.
/**
* Contains the basic annotations to be used by all type systems and meta-annotations to qualify
* annotations (qualifiers).
*
* They may serve as documentation for the type qualifiers, and aid the Checker Framework to
* infer the relations between the type qualifiers.
*
* @checker_framework.manual #creating-a-checker Writing a checker
*/
package org.checkerframework.framework.qual;