ac8b149204a8bbc4a97037df2ecf551b859d6fc1
[org.ibex.core.git] / src / org / xwt / util / Vec.java
1 // Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL]
2 package org.xwt.util;
3
4 import java.util.*;
5 import java.io.*;
6
7 /** 
8  *  An unsynchronized Vector implementation; same semantics as
9  *  java.util.Vector. Useful for JDK1.1 platforms that don't have
10  *  java.util.ArrayList.
11  *  @see java.util.Vector
12  */
13 public class Vec implements Serializable {
14     
15     private Object[] store;
16     private int size = 0;
17     
18     public Vec() { this(10); }
19     public Vec(int i) { store = new Object[i]; }
20     
21     private void grow() { grow(store.length * 2); }
22     private void grow(int newsize) {
23         Object[] newstore = new Object[newsize];
24         System.arraycopy(store, 0, newstore, 0, size);
25         store = newstore;
26     }
27
28     public void removeAllElements() {
29         for(int i=0; i<size; i++) store[i] = null;
30         size = 0;
31     }
32
33     public void toArray(Object[] o) {
34         for(int i=0; i<size; i++)
35             o[i] = store[i];
36     }
37     
38     public int indexOf(Object o) {
39         for(int i=0; i<size; i++)
40             if (store[i] == o) return i;
41         return -1;
42     }
43     
44     public void addElement(Object o) {
45         if (size >= store.length) grow();
46         store[size++] = o;
47     }
48
49     public Object elementAt(int i) {
50         return store[i];
51     }
52     
53     public Object lastElement() {
54         if (size == 0) return null;
55         return store[size - 1];
56     }
57
58     public int size() { return size; }
59
60     public void setSize(int newSize) {
61         if (newSize < 0) throw new RuntimeException("tried to set size to negative value");
62         if (newSize > size) grow(newSize * 2);
63         if (newSize < size)
64             for(int i=newSize; i<size; i++)
65                 store[i] = null;
66         size = newSize;
67     }
68
69     public void copyInto(Object[] out) {
70         for(int i=0; i<size; i++)
71             out[i] = store[i];
72     }
73
74     public void removeElementAt(int i) {
75         if (i >= size || i < 0) throw new RuntimeException("tried to remove an element outside the vector's limits");
76         for(int j=i; j<size - 1; j++)
77             store[j] = store[j + 1];
78         setSize(size - 1);
79     }
80
81     public void setElementAt(Object o, int i) {
82         if (i >= size) setSize(i);
83         store[i] = o;
84     }
85
86     public void removeElement(Object o) {
87         for(int i=0; i<size; i++)
88             if (store[i] == o) {
89                 removeElementAt(i);
90                 return;
91             }
92     }
93
94     public void insertElementAt(Object o, int at) {
95         if (size == store.length) grow();
96         for(int i=size; i>at; i--)
97             store[i] = store[i-1];
98         store[at] = o;
99         size++;
100     }
101     
102 }