JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Index
Help
Summary:
Field
Required
Optional
Detail:
Field
Element
Summary:
Field |
Required
|
Optional
Detail:
Field |
Element
SEARCH
Package
org.teavm.vm.spi
Annotation Interface Requires
@Retention
(
RUNTIME
)
@Target
(
TYPE
)
public @interface
Requires
Required Element Summary
Required Elements
Modifier and Type
Required Element
Description
Class
<? extends
TeaVMPlugin
>[]
value
Element Details
value
Class
<? extends
TeaVMPlugin
>[]
value