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

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.

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 checkers manual:

IGJ Checker