3.4.9 Profile structure values

function_profile

Type

Summary

Records all information gathered during the profiling of a function.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype function_profile = Function_Profile of
  {id: function_id,
   call_count: int,
   time: function_time_profile,
   space: function_space_profile}

Description

This datatype records all information gathered during the profiling of a function. The record contains the following data:

id: A string containing the profiled function's name, its location, and, possibly, compilation information.
call_count: The total number of times the profiled function was called.
time: A value of type function_time_profile containing time-profiling results. This field will have no useful value unless you request time profiling in the profiling manner.
space: A value of type function_space_profile containing space-profiling results. This field will have no useful value unless you request space profiling in the profiling manner.