checkers.quals.Unqualified Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of checker-quals-jdk5 Show documentation

Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications

There is a newer version: 1.7.5

package checkers.quals;

import java.lang.annotation.Target;

/**
 * A special annotation intended solely for representing an unqualified type in
 * the qualifier hierarchy, as an argument to {@link SubtypeOf#value()},
 * in the type qualifiers declarations.
 * 
 *
 * This annotation may not be written in source code; it is an
 * implementation detail of the checker.
 */
@TypeQualifier
@InvisibleQualifier
@SubtypeOf({})
@Target({}) // empty target prevents programmers from writing this in a program
public @interface Unqualified { }