Package org.checkerframework.checker.optional
-
Class Summary Class Description OptionalChecker A type-checker that prevents misuse of theOptionalclass.OptionalVisitor The OptionalVisitor enforces the Optional Checker rules.
| Class | Description |
|---|---|
| OptionalChecker |
A type-checker that prevents misuse of the
Optional class. |
| OptionalVisitor |
The OptionalVisitor enforces the Optional Checker rules.
|