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