Package org.checkerframework.checker.interning

package org.checkerframework.checker.interning

Provides a type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.

See Also:

• InterningChecker

See the Checker Framework Manual:

Interning Checker

Related Packages

Package	Description
org.checkerframework.checker.interning.qual

Classes

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.