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