libs/java/VecChr.java

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