| private SubsegDealloc ( Segment dyingsubseg ) : void | ||
| dyingsubseg | Segment | |
| return | void | |
internal void SubsegDealloc(Segment dyingsubseg)
{
// Mark the subsegment as dead. This makes it possible to detect dead
// subsegments when traversing the list of all subsegments.
Osub.Kill(dyingsubseg);
subsegs.Remove(dyingsubseg.hash);
}