All Downloads are FREE. Search and download functionalities are using the official Maven repository.

checkers.quals.package-info Maven / Gradle / Ivy

There is a newer version: 3.7.0-stable
Show newest version
/**
 * 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 #writing-a-checker Writing a checker
 */
package checkers.quals;




© 2015 - 2024 Weber Informatics LLC | Privacy Policy