Elide API
Toggle table of contents
1.0.0-beta1
jvm
Platform filter
jvm
Switch theme
Search in API
Elide API
graalvm
/
tools.elide.call
/
CallTimingKt
/
Dsl
/
callTimeMs
call
Time
Ms
@get:
JvmName
(
name
=
"getCallTimeMs"
)
@set:
JvmName
(
name
=
"setCallTimeMs"
)
var
callTimeMs
:
Long
Time, in milliseconds, that the call took to complete.
Content copied to clipboard
uint64 call_time_ms = 1;