Name | Description | Type | Package | Framework |
Linear | Class | org.checkerframework.checker.linear.qual | Checker | |
LinearAnnotatedTypeFactory | Adds Unusable qualifier to a type if it represents: Class declaration tree/element. | Class | org.checkerframework.checker.linear | Checker |
LinearChecker | A type-checker plug-in for the Linear type system. | Class | org.checkerframework.checker.linear | Checker |
LinearVisitor | A type-checking visitor for the Linear type system. | Class | org.checkerframework.checker.linear | Checker |
Normal | Class | org.checkerframework.checker.linear.qual | Checker | |
Unusable | Class | org.checkerframework.checker.linear.qual | Checker | |