Package checkers.linear

Class Summary
Class Description
LinearAnnotatedTypeFactory  
LinearChecker A typechecker plug-in for the Linear type system qualifier that finds (and verifies the absence of) usage
LinearVisitor