Ejemplo 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());
    }
  }
Ejemplo n.º 2
0
 public void addDbcell(int cell) {
   if (field_5_dbcells == null) {
     field_5_dbcells = new IntList();
   }
   field_5_dbcells.add(cell);
 }