|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 ). |
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.
IGJChecker
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |