Package org.checkerframework.checker.optional

Class Summary

Class	Description
OptionalChecker	A type-checker that prevents misuse of the Optional class.
OptionalVisitor	The OptionalVisitor enforces the Optional Checker rules.