Interned qualifier that finds (and verifies the
absence of) equality-testing and interning errors.See: Description
| Class | Description |
|---|---|
| InterningAnnotatedTypeFactory |
An
AnnotatedTypeFactory that accounts for the properties of the Interned type system. |
| InterningChecker |
A type-checker plug-in for the
Interned qualifier that finds (and verifies the absence
of) equality-testing and interning errors. |
| InterningVisitor |
Typechecks source code for interning violations.
|
Interned qualifier that finds (and verifies the
absence of) equality-testing and interning errors.InterningChecker