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

org.checkerframework.framework.qual.package-info Maven / Gradle / Ivy

There is a newer version: 9.3.0
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 #creating-a-checker Writing a checker */ package org.checkerframework.framework.qual;





© 2015 - 2024 Weber Informatics LLC | Privacy Policy