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
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
See the checkers manual:
Interning checker