rd-gen
2023.3.2-preview4
rd-gen
/
com.jetbrains.rd.generator.nova
/
Toplevel
/
classdef
classdef
fun
classdef
(
name
:
String
,
body
:
Class
.
(
)
->
Unit
)
:
Class.Concrete
Content copied to clipboard
fun
classdef
(
body
:
Class
.
(
)
->
Unit
)
:
Class.Concrete
Content copied to clipboard
fun
classdef
(
name
:
String
)
:
Class.Concrete
Content copied to clipboard
fun
classdef
(
name
:
String
,
base
:
Class.Abstract
?
,
body
:
Class
.
(
)
->
Unit
)
:
Class.Concrete
Content copied to clipboard
val
classdef
:
<Error class: unknown class>
Content copied to clipboard