Handbook
Glossary
total-time* ( profile-data -- n )
Vocabulary
tools
.
profiler
.
sampling
Inputs
profile-data
raw profile data
Outputs
n
a
duration
Word description
Returns the total time spent from the given
profile-data
.
Definition
USING:
sequences
;
IN:
tools.profiler.sampling
:
total-time*
( profile-data -- n )
[
total-sample-count
]
map-sum
samples>time
;