3.4.9 Profile structure values

make_manner

Summary

Creates a profiling manner.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

val make_manner :
  {time : bool,
   space : bool,
   calls : bool,
   copies : bool,
   depth : int,
   breakdown : object_kind list} -> manner

Syntax

make_manner manner_spec -> manner

Description

Creates a profiling manner.

time

If true, return time-profiling data.

space

If true, return space-profiling data.

calls

If true, return function-call-counting data

copies

If true, record the number of garbage-collector copies per generation in any space profile.

depth

An integer specifying the call-depth to which callers should be recorded in multi-level time profiling. See the note on multi-level time profiling in Section 3.4.6 on page 27.

breakdown

A list of the kinds of MLWorks runtime object to break down in any space profile. Of the total amount of space allocated by a function, breakdowns show how much of that space was taken by a certain kind of object. See object_kind, page 40.

Generated with Harlequin WebMaker