private void loadRawData() throws IOException {
if (rawData == null) {
pageHandler.trimPageSet(id);
rawData = new byte[PAYLOAD];
pageFile.seek(offset + HEADER);
pageFile.readFully(rawData);
}
}
/**
* Constructor.<br>
* The page number in the pagefile will be assigned with the first save to a page file
*
* @param file - the PageFile of this node
*/
protected LeafNode(PageFile file) {
super(-1, file);
data = new int[file.getCapacity()];
for (int i = 0; i < file.getCapacity(); i++) data[i] = -1;
}
