Package org.checkerframework.checker.propkey.qual

Annotation Types Summary

Annotation Type	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.