Next Previous Up Top Contents Index

3.4.9 Profile structure values

space_header

Type

Summary

General space-profiling statistics for the profiler invocation.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype space_header = Space of
  {data_allocated: int,
   functions: int, 
   collections: int, 
   total_profiled : function_space_profile} 

Description

General space-profiling statistics for the profiler invocation. These statistics are gathered regardless of whether the profiling manner in use gathered space-profiling information for its function_profile.

data_allocated
Number of bytes allocated by the space profiler.

functions
Number of code vectors space-profiled.

collections
Number of garbage collections during the profiler invocation.

total_profiled
Pointwise total of all function_space_profiles. This will be zero if space-profiling was not requested for any function.

MLWorks Reference Manual version 2.0 - 29 Jul 1998

Next Previous Up Top Contents Index

Generated with Harlequin WebMaker