Name | Description | Type | Package | Framework |
Interned | Indicates that a variable has been interned, i. | Class | org.checkerframework.checker.interning.qual | Checker |
PolyInterned | A polymorphic qualifier for the Interning type system. | Class | org.checkerframework.checker.interning.qual | Checker |
UnknownInterned | Class | org.checkerframework.checker.interning.qual | Checker | |
UsesObjectEquals | Class declaration to indicate the class does not override equals(Object), and therefore a. | Class | org.checkerframework.checker.interning.qual | Checker |