There are a bunch of accessors for the member variables. The accessor isWithinRange(offset) just checks whether the offset is mapped or not. The accessors isValid(offset), isAllocated(offset), isGrabbed(offset), isFragmented(offset) check whether the offset points to a persistent object or not, whether the chunk at the offset is allocated or not, whether the object at the offset is grabbed or not, and whether the chunk at the offset is fragmented or not, respectively. As discussed in the Section 3.3.4, a persistent object is in the state of fragmentation not only when the whole chunk is not within the region but also when another Window contains the same whole chunk. Otherwise, there would appear two Windows valid for the reference of the object, which would be inconsistent.
The accessors isDirty(), setDirty(), and clearDirty() check or modify the dirty flag. The accessors getTotalGrabCount() and getTotalGrabCountReadOnly() obtain the values of the corresponding variables. The accessor isCompletelyReleased() checks whether or not both the totalGrabCount and the totalGrabCountReadOnly are 0.