Search Java Classes and Packages
#Org.checkerframework.checker.interning Classes and Interfaces - 7 results found.
| Name | Description | Type | Package | Framework |
| Interned | Indicates that a variable has been interned, i. | Class | org.checkerframework.checker.interning.qual | Checker |
| InterningAnnotatedTypeFactory | An AnnotatedTypeFactory that accounts for the properties of the Interned type system. | Class | org.checkerframework.checker.interning | Checker |
| InterningChecker | A type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors. | Class | org.checkerframework.checker.interning | Checker |
| InterningVisitor | Typechecks source code for interning violations. | Class | org.checkerframework.checker.interning | 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 |