All Downloads are FREE. Search and download functionalities are using the official Maven repository.

checker.src.org.checkerframework.checker.interning.messages.properties Maven / Gradle / Ivy

### Error/warning messages for the Interning Checker
not.interned=attempting to use a non-@Interned comparison operand\nfound: %s
unnecessary.equals=use of .equals can be safely replaced by ==/!=
overrides.equals=annotated with @UsesObjectEquals but overrides .equals(Object)
superclass.notannotated=superclass must be annotated with @UsesObjectEquals
superclass.annotated=subclasses must also be annotated with @UsesObjectEquals




© 2015 - 2025 Weber Informatics LLC | Privacy Policy