Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

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.
     

    Overview   Package  Class  Tree  Deprecated  Index  Help 
     PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES