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