public IndexRecord(RecordInputStream in) {
int field_1_zero = in.readInt();
if (field_1_zero != 0) {
throw new RecordFormatException("Expected zero for field 1 but got " + field_1_zero);
}
field_2_first_row = in.readInt();
field_3_last_row_add1 = in.readInt();
field_4_zero = in.readInt();
int nCells = in.remaining() / 4;
field_5_dbcells = new IntList(nCells);
for (int i = 0; i < nCells; i++) {
field_5_dbcells.add(in.readInt());
}
}
public void addDbcell(int cell) {
if (field_5_dbcells == null) {
field_5_dbcells = new IntList();
}
field_5_dbcells.add(cell);
}
