Package checkers.linear

Class Summary

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