JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Use
Tree
Index
Search
Help
org.checkerframework.checker.index.qual
LessThanBottom
Contents
Description
Hide sidebar
Show sidebar
Annotation Type LessThanBottom
@Documented
@Retention
(
RUNTIME
)
@Target
({
TYPE_PARAMETER
,
TYPE_USE
})
@SubtypeOf
(
LessThan
.class)
public @interface
LessThanBottom
The bottom type in the LessThan type system. Programmers should rarely write this type.