Package checkers.interned

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

InternedAnnotatedTypeFactory	An AnnotatedTypeFactory that accounts for the properties of the Interned type system.
InternedChecker	A typechecker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.
InternedVisitor	A type-checking visitor for the Interned type qualifier that uses the BaseTypeVisitor implementation.

Package checkers.interned Description

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

See Also:

InternedChecker

See the checkers manual:

Interned checker