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.