Package org.checkerframework.checker.optional

package org.checkerframework.checker.optional

Related Packages

Package	Description
org.checkerframework.checker.optional.qual
org.checkerframework.checker.optional.util

Classes

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