Next Previous Up Top Contents Index

3.4 Profiling: the Profile structure

3.4.8 Profiler performance data

In addition to data gathered for your function according to the profiling manner used, the profiler records data about its own performance. Values of type call_header, space_header, time_header and general_header are returned in every profile. See the reference entries for these types (pages 43 to 46) for more details.


MLWorks Reference Manual version 2.0 - 29 Jul 1998

Next Previous Up Top Contents Index

Generated with Harlequin WebMaker