Elide API
Toggle table of contents
1.0.0-beta1
jvm
Platform filter
jvm
Switch theme
Search in API
Elide API
graalvm
/
tools.elide.net
/
PortKt
/
Dsl
/
wellKnown
well
Known
@get:
JvmName
(
name
=
"getWellKnown"
)
@set:
JvmName
(
name
=
"setWellKnown"
)
var
wellKnown
:
WellKnownPort
Well-known port.
Content copied to clipboard
.elide.net.WellKnownPort well_known = 1;