Top Annotations
[default module]

Package org.checkerframework.checker.propkey.qual

Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
PropertyKey

Indicates that the String type can be used as key in a property file or resource bundle.

public @interface
PropertyKeyBottom

The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.

public @interface
UnknownPropertyKey

Indicates that the String type has an unknown property key property.