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 int getDbcellAt(int cellnum) {
return field_5_dbcells.get(cellnum);
}
public int getNumDbcells() {
if (field_5_dbcells == null) {
return 0;
}
return field_5_dbcells.size();
}
public void setDbcell(int cell, int value) {
field_5_dbcells.set(cell, value);
}
public void addDbcell(int cell) {
if (field_5_dbcells == null) {
field_5_dbcells = new IntList();
}
field_5_dbcells.add(cell);
}
