rd-gen
Toggle table of contents
2025.3.0
jvm
Platform filter
jvm
Switch theme
Search in API
rd-gen
rd-gen
/
com.jetbrains.rd.generator.nova
/
Interface
/
Interface
Interface
constructor
(
_name
:
String
,
pointcut
:
Toplevel
,
baseInterfaces
:
MutableList
<
Interface
>
)