Package org.checkerframework.common.subtyping.qual

package org.checkerframework.common.subtyping.qual
  • Annotation Interfaces
    Class
    Description
    Bottom
    A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
    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.