libs/java/VecRef.java

   1
   2 /** This is the runtime support for generic vectors.
   3  *
   4  *  Written August 2004, John Gough.
   5  *
   6  *
   7  *
   8  */
   9
  10 package CP.CPJvec;
  11
  12 public class VecRef extends VecBase
  13 {
  14     public Object[] elms;
  15
  16     public void expand() {
  17         Object[] tmp = new Object[this.elms.length * 2];
  18         for (int i = 0; i < this.tide; i++) {
  19             tmp[i] = this.elms[i];
  20         }
  21         this.elms = tmp;
  22     }
  23 }
  24