Package checkers.javari

Provides a typechecker plug-in for the Javari type system that finds (and verifies the absence of) immutability errors.

See:
          Description

Class Summary
JavariAnnotatedTypeFactory Generates a AnnotatedTypeMirror with Javari annotations from a Tree or a Element parameter.
JavariChecker An annotation processor that checks a program's use of the Javari type annotations (\@ReadOnly, \@Mutable, \@Assignable, \@PolyRead and \@QReadOnly).
JavariVisitor A type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) that extends BaseTypeVisitor.
 

Package checkers.javari Description

Provides a typechecker plug-in for the Javari type system that finds (and verifies the absence of) immutability errors.

See Also:
ReadOnly, Mutable, Assignable, PolyRead, QReadOnly, JavariChecker
See the checkers manual:
Javari Checker