public int getReserved() {
if (containsReservedZone()) {
int reservedSize =
(int)
(((4.0
* (double) precedingDataSegment.parent.getAllocatedSize()
* (double) containingDisk.getFreeSpace()))
/ ((double) containingDisk.getSize()));
int zoneSize = getSize();
return ((float) reservedSize / (float) zoneSize < .5) ? reservedSize : zoneSize;
} else {
return 0;
}
}
protected static FreeSpaceMarker generateRoot(VirtualDisk containingDisk) {
return new FreeSpaceMarker(1024, containingDisk.getSize() - 1, containingDisk);
}
