Search Java Classes and Packages
#Org.checkerframework.checker.linear Classes and Interfaces - 6 results found.
| 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 | |