558 |
// We serialize unused list entries to preserve capacity. |
// We serialize unused list entries to preserve capacity. |
559 |
int len = data.length; |
int len = data.length; |
560 |
s.writeInt(len); |
s.writeInt(len); |
561 |
for (int i = 0; i < len; i++) |
// it would be more efficient to just write "size" items, |
562 |
|
// this need readObject read "size" items too. |
563 |
|
for (int i = 0; i < size; i++) |
564 |
s.writeObject(data[i]); |
s.writeObject(data[i]); |
565 |
} |
} |
566 |
|
|
580 |
s.defaultReadObject(); |
s.defaultReadObject(); |
581 |
int capacity = s.readInt(); |
int capacity = s.readInt(); |
582 |
data = new Object[capacity]; |
data = new Object[capacity]; |
583 |
for (int i = 0; i < capacity; i++) |
for (int i = 0; i < size; i++) |
584 |
data[i] = s.readObject(); |
data[i] = s.readObject(); |
585 |
} |
} |
586 |
} |
} |