Package org.checkerframework.checker.igj

Provides a type-checker plug-in for the IGJ org.checkerframework.checker.igj.qual 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 org.checkerframework.checker.igj Description

Provides a type-checker plug-in for the IGJ org.checkerframework.checker.igj.qual 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