|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Provides a typechecker plug-in for the Javari type system that finds (and verifies the absence of) immutability errors.
ReadOnly
,
Mutable
,
Assignable
,
PolyRead
,
QReadOnly
,
Unmodifiable
,
JavariChecker
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |