01: /* Copyright (C) 2004 - 2007 db4objects Inc. http://www.db4o.com
02:
03: This file is part of the db4o open source object database.
04:
05: db4o is free software; you can redistribute it and/or modify it under
06: the terms of version 2 of the GNU General Public License as published
07: by the Free Software Foundation and as clarified by db4objects' GPL
08: interpretation policy, available at
09: http://www.db4o.com/about/company/legalpolicies/gplinterpretation/
10: Alternatively you can write to db4objects, Inc., 1900 S Norfolk Street,
11: Suite 350, San Mateo, CA 94403, USA.
12:
13: db4o is distributed in the hope that it will be useful, but WITHOUT ANY
14: WARRANTY; without even the implied warranty of MERCHANTABILITY or
15: FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16: for more details.
17:
18: You should have received a copy of the GNU General Public License along
19: with this program; if not, write to the Free Software Foundation, Inc.,
20: 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21: package EDU.purdue.cs.bloat.util;
22:
23: import java.util.*;
24:
25: /**
26: * ResizableArrayList is the same as ArrayList except that ensureSize not only
27: * increases the size of the array (super.ensureCapacity), but it also fills the
28: * empty space with null. This way, the size method will return the length of
29: * the array and not just the number of elements in it. I guess.
30: */
31: public class ResizeableArrayList extends ArrayList implements List,
32: Cloneable, java.io.Serializable {
33: /**
34: * This constructor is no longer supported in JDK1.2 public
35: * ResizeableArrayList(int initialCapacity, int capacityIncrement) {
36: * super(initialCapacity, capacityIncrement); }
37: */
38: public ResizeableArrayList(final int initialCapacity) {
39: super (initialCapacity);
40: }
41:
42: public ResizeableArrayList() {
43: super ();
44: }
45:
46: public ResizeableArrayList(final Collection c) {
47: super (c);
48: }
49:
50: public void ensureSize(final int size) {
51: ensureCapacity(size);
52:
53: while (size() < size) {
54: add(null);
55: }
56: }
57:
58: public Object clone() {
59: return super.clone();
60: }
61: }
|