Package checkers.interning

Provides a typechecker 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 typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
InterningVisitor	A type-checking visitor for the Interned type qualifier that uses the BaseTypeVisitor implementation.

Package checkers.interning Description

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

See Also:

InterningChecker

checker.framework.manual

#interning-checker Interning checker