Package org.checkerframework.checker.linear

Class Summary

Class	Description
LinearAnnotatedTypeFactory	Adds Unusable qualifier to a type if it represents: Class declaration tree/element.
LinearChecker	A type-checker plug-in for the Linear type system.
LinearVisitor	A type-checking visitor for the Linear type system.