3.4.9 Profile structure values
object_count
Type
Summary
Records allocation and other space statistics for a data-object kind.
Signature
MLWORKS.Profile
Structure
MLWorks.Profile
Type
datatype object_count = Object_Count of {number : int, size : large_size, overhead : int}
Description
Records allocation data and other space statistics for a runtime object kind. It is used in space profiling.
number- Total number of runtime objects allocated.
- size
- Total amount of space used.
overhead- Total number of bytes used in overheads: header word, padding, and so on.