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
OptionalAnnotatedTypeFactory	OptionalAnnotatedTypeFactory for the Optional Checker.
OptionalChecker	A type-checker that prevents misuse of the Optional class.
OptionalTransfer	The transfer function for the Optional Checker.
OptionalVisitor	The OptionalVisitor enforces the Optional Checker rules.