Package org.checkerframework.common.subtyping.qual


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