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;
}
}
