1 // Copyright (C) 2003 Adam Megacz <adam@xwt.org> all rights reserved.
3 // You may modify, copy, and redistribute this code under the terms of
4 // the GNU Library Public License version 2.1, with the exception of
5 // the portion of clause 6a after the semicolon (aka the "obnoxious
14 * An unsynchronized Vector implementation; same semantics as
15 * java.util.Vector. Useful for JDK1.1 platforms that don't have
16 * java.util.ArrayList.
17 * @see java.util.Vector
19 public final class Vec implements Serializable {
21 private Object[] store;
24 public Vec() { this(10); }
25 public Vec(int i) { store = new Object[i]; }
26 public Vec(int i, Object[] store) { size = i; this.store = store; }
28 private void grow() { grow(store.length * 2); }
29 private void grow(int newsize) {
30 Object[] newstore = new Object[newsize];
31 System.arraycopy(store, 0, newstore, 0, size);
35 public void removeAllElements() {
36 for(int i=0; i<size; i++) store[i] = null;
40 public void toArray(Object[] o) {
41 for(int i=0; i<size; i++)
45 public int indexOf(Object o) {
46 for(int i=0; i<size; i++)
47 if (store[i] == o) return i;
51 public void addElement(Object o) {
52 if (size >= store.length - 1) grow();
56 public Object peek() {
60 public Object elementAt(int i) {
64 public Object lastElement() {
65 if (size == 0) return null;
66 return store[size - 1];
69 public void push(Object o) { addElement(o); }
71 Object ret = lastElement();
72 if (size > 0) store[size--] = null;
76 public int size() { return size; }
78 public void setSize(int newSize) {
79 if (newSize < 0) throw new RuntimeException("tried to set size to negative value");
80 if (newSize > store.length) grow(newSize * 2);
82 for(int i=newSize; i<size; i++)
87 public void copyInto(Object[] out) {
88 for(int i=0; i<size; i++)
92 public void fromArray(Object[] in) {
94 for(int i=0; i<size; i++)
98 public void removeElementAt(int i) {
99 if (i >= size || i < 0) throw new RuntimeException("tried to remove an element outside the vector's limits");
100 for(int j=i; j<size - 1; j++)
101 store[j] = store[j + 1];
105 public void setElementAt(Object o, int i) {
106 if (i >= size) setSize(i);
110 public void removeElement(Object o) {
111 for(int i=0; i<size; i++)
118 public void insertElementAt(Object o, int at) {
119 if (size == store.length) grow();
120 for(int i=size; i>at; i--)
121 store[i] = store[i-1];
126 public interface CompareFunc {
127 public int compare(Object a, Object b);
130 public void sort(CompareFunc c) {
134 private final void swap(int a, int b) {
136 Object tmp = store[a];
142 private void sort(CompareFunc c, int start, int end) {
144 if(start >= end) return;
146 for(int i=start+1;i<=end;i++) {
149 for(j=i-1;j>=start;j--) {
150 if(c.compare(store[j],tmp) <= 0) break;
151 store[j+1] = store[j];
157 Object pivot = store[end];
161 while(c.compare(store[++lo],pivot) < 0) { }
162 while((hi > lo) && c.compare(store[--hi],pivot) > 0) { }