Package org.checkerframework.checker.javari

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

See: Description

Class Summary

Class	Description
JavariAnnotatedTypeFactory	Adds implicit and default Javari annotations, only if the user does not annotate the type explicitly.
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 org.checkerframework.checker.javari Description

Provides a type-checker 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 Checker Framework Manual:

Javari Checker