| protected Checkpoint ( int time, int event_num ) : void | ||
| time | int | |
| event_num | int | |
| return | void | |
protected override void Checkpoint(int time, int event_num)
{
if (current_type_data != null) {
base.Checkpoint (time, event_num);
return;
}
int [] dummy;
int last_resize = Profile.Metadata.GetTimelineBefore (EventType.HeapResize, time);
if (last_resize != -1) {
cur_heap_size = Profile.Metadata.GetTimeline (last_resize).SizeHigh;
}
ReadCheckpoint (out current_type_data, out dummy);
Split (time);
}