@Internal public abstract class FormattedDiskPage extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
_crun |
protected byte[] |
_fkp |
protected int |
_offset |
Constructor and Description |
---|
FormattedDiskPage() |
FormattedDiskPage(byte[] documentStream,
int offset)
Uses a 512-byte array to create a FKP
|
Modifier and Type | Method and Description |
---|---|
protected int |
getEnd(int index)
Used to get the end of the text corresponding to a grpprl in this fkp.
|
protected abstract byte[] |
getGrpprl(int index) |
protected int |
getStart(int index)
Used to get a text offset corresponding to a grpprl in this fkp.
|
int |
size()
Used to get the total number of grrprl's stored int this FKP
|
public FormattedDiskPage()
public FormattedDiskPage(byte[] documentStream, int offset)
protected int getStart(int index)
index
- The index of the property in this FKPprotected int getEnd(int index)
index
- The index of the property in this fkp.public int size()
protected abstract byte[] getGrpprl(int index)
Copyright 2020 The Apache Software Foundation or its licensors, as applicable.