total-time* ( profile-data -- n ) - Factor Documentation

Vocabulary
tools.profiler.sampling

Inputs and outputs

profile-data	raw profile data
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 ;