public static int encodedPageInfoSize(PageInfo pi) {
return Dlugosz.bytesToEncode(pi.getPageNumber())
+ Dlugosz.bytesToEncode(pi.getByteOffset())
+ Dlugosz.bytesToEncode(pi.getTimeOffset())
+ Dlugosz.bytesToEncode(pi.getLength());
}
public static void encodePageInfo(PageInfo pi, ByteBuffer buf) {
Dlugosz.encode(pi.getPageNumber(), buf);
Dlugosz.encode(pi.getLength(), buf);
Dlugosz.encode(pi.getByteOffset(), buf);
Dlugosz.encode(pi.getTimeOffset(), buf);
}
