Top Annotations
[default module]

Package org.checkerframework.common.subtyping.qual


Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
Bottom

A special annotation intended solely for representing the bottom type in the qualifier hierarchy.

public @interface
Unqualified

A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf#value(), in a type qualifier declaration.