Source of 13.9.java


  1: // Makes room for a new entry at newPosition.
  2: // Precondition: 1 <= newPosition <= numberOfEntries + 1;
  3: //               numberOfEntries is list's length before addition;
  4: //               checkInitialization has been called.
  5: private void makeRoom(int newPosition)
  6: {
  7:    assert (newPosition >= 1) && (newPosition <= numberOfEntries + 1);
  8:    int newIndex = newPosition;
  9:    int lastIndex = numberOfEntries;
 10:    // Move each entry to next higher index, starting at end of
 11:    // list and continuing until the entry at newIndex is moved
 12:    for (int index = lastIndex; index >= newIndex; index--)
 13:       list[index + 1] = list[index];
 14: }  // end makeRoom
 15: // Version 4.0