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 final 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 void push(Object o) { addElement(o); }
  59     public Object pop() {
  60         Object ret = lastElement();
  61         store[size--] = null;
  62         return ret;
  63     }
  64
  65     public int size() { return size; }
  66
  67     public void setSize(int newSize) {
  68         if (newSize < 0) throw new RuntimeException("tried to set size to negative value");
  69         if (newSize > store.length) grow(newSize * 2);
  70         if (newSize < size)
  71             for(int i=newSize; i<size; i++)
  72                 store[i] = null;
  73         size = newSize;
  74     }
  75
  76     public void copyInto(Object[] out) {
  77         for(int i=0; i<size; i++)
  78             out[i] = store[i];
  79     }
  80
  81     public void fromArray(Object[] in) {
  82         setSize(in.length);
  83         for(int i=0; i<size; i++)
  84             store[i] = in[i];
  85     }
  86
  87     public void removeElementAt(int i) {
  88         if (i >= size || i < 0) throw new RuntimeException("tried to remove an element outside the vector's limits");
  89         for(int j=i; j<size - 1; j++)
  90             store[j] = store[j + 1];
  91         setSize(size - 1);
  92     }
  93
  94     public void setElementAt(Object o, int i) {
  95         if (i >= size) setSize(i);
  96         store[i] = o;
  97     }
  98
  99     public void removeElement(Object o) {
 100         for(int i=0; i<size; i++)
 101             if (store[i] == o) {
 102                 removeElementAt(i);
 103                 return;
 104             }
 105     }
 106
 107     public void insertElementAt(Object o, int at) {
 108         if (size == store.length) grow();
 109         for(int i=size; i>at; i--)
 110             store[i] = store[i-1];
 111         store[at] = o;
 112         size++;
 113     }
 114
 115 }