Package org.checkerframework.checker.propkey.qual

package org.checkerframework.checker.propkey.qual
  • Annotation Interfaces
    Class
    Description
    PropertyKey
    Indicates that the String type can be used as key in a property file or resource bundle.
    PropertyKeyBottom
    The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.
    UnknownPropertyKey
    Indicates that the String type has an unknown property key property.