Package checkers.igj

Provides a typechecker plug-in for the IGJ checkers.igj.quals qualifiers that finds (and verifies the absence of) immutability errors.

See:
          Description

Class Summary
Class Description
IGJAnnotatedTypeFactory Adds implicit and default IGJ annotations, only if the user does not annotate the type explicitly.
IGJChecker A type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.
IGJVisitor A type-checking visitor for the IGJ type qualifier that uses the BaseTypeVisitor implementation.
 

Package checkers.igj Description

Provides a typechecker plug-in for the IGJ checkers.igj.quals qualifiers that finds (and verifies the absence of) immutability errors. The checker guarantees that no immutable object is modified and no object is mutated through a read-only reference.

See Also:
IGJChecker
See the Checker Framework manual:
IGJ Checker