Annotation Interface PropertyKey


Indicates that the String type can be used as key in a property file or resource bundle.
See the Checker Framework Manual:
Property File Checker