Package org.checkerframework.checker.optional
package org.checkerframework.checker.optional
-
ClassDescriptionA type-checker that prevents misuse of the
Optional
class.The OptionalVisitor enforces the Optional Checker rules.
Optional
class.