@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 2022 The Apache Software Foundation or its licensors, as applicable.