JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Tree
Deprecated
Index
Search
Help
org.checkerframework.framework.testchecker.h1h2checker.quals
H2S1
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Annotation Interface H2S1
@Documented
@Retention
(
RUNTIME
)
@Target
({
TYPE_USE
,
TYPE_PARAMETER
})
@TargetLocations
({
FIELD
,
LOCAL_VARIABLE
,
PARAMETER
,
RETURN
,
CONSTRUCTOR_RESULT
})
@SubtypeOf
(
H2Top
.class)
public @interface
H2S1