JavaScript is disabled on your browser.
Skip navigation links
Overview
Class
Tree
Deprecated
Index
Search
Help
org.checkerframework.framework.testchecker.util
AnnoWithStringArg
Contents
Hide sidebar
❮
❯
Show sidebar
Description
Required Element Summary
Element Details
value
Annotation Interface AnnoWithStringArg
@SubtypeOf
(
Unqualified
.class)
@Target
({
TYPE_USE
,
TYPE_PARAMETER
})
public @interface
AnnoWithStringArg
Required Element Summary
Required Elements
Modifier and Type
Required Element
Description
String
value
Element Details
value
String
value