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 Generates AnnotatedTypeMirror instances accounting for the properties of the IGJ type system.
IGJChecker An annotation processor that checks a program use of IGJ mutability type annotations, (@ReadOnly, @Mutable, and @Immutable).
 

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