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.


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker