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 NoSuchElementException in the use of the Optional class.
OptionalImplAnnotatedTypeFactory	Type factory for the OptionalImplChecker.
OptionalImplChecker	The implementation of a type-checker that prevents misuse of the Optional class.
OptionalImplTransfer	The transfer function for the Optional Checker.
OptionalImplVisitor	The OptionalImplVisitor enforces the Optional Checker rules.