JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Tree
Deprecated
Index
Search
Help
org.checkerframework.framework.testchecker.util
PatternBottomFull
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Annotation Interface PatternBottomFull
@SubtypeOf
({
PatternA
.class,
PatternB
.class,
PatternC
.class})
@Target
({
TYPE_USE
,
TYPE_PARAMETER
})
@TargetLocations
({
LOWER_BOUND
,
UPPER_BOUND
})
public @interface
PatternBottomFull