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: Description

Class Summary

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.

Package org.checkerframework.checker.interning Description

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