internal void addDisposeDelegate(handleRegionSafeToFreeDelegate delfn) { this.del = delfn; }
public void notifyRegionSafeToFree(long region_addr, handleRegionSafeToFreeDelegate del) { EFRegion region_handler = INTERNAL_readRegionAddrNonExcl(region_addr); region_handler.addDisposeDelegate(del); }
public void Dispose() { // (1) be sure all the filestreams are closed.. this happens through RegionFileStream // holding a reference to us... System.Console.WriteLine("EFRegion({0}): Dispose", this.address); if (this.del != null) { this.del(this.address); this.del = null; } }