/*
 * 31 July 1999
 *
 * Extends "Vector" to allow 
 * (0) constructor which takes argument array of objects
 * (1) sticking arrays on the end ?!
 * (2) concatenating ?!
 *
 */	

//package lib;

import java.util.*;

public class XVector extends Vector {

	 public XVector() {
		  super();
	 }

	 public XVector(Vector v) {
		  super();
		  this.append(v);
	 }

	 public XVector(Object[] obs) {
		  for (int i=0; i<obs.length; i++) {
				this.addElement( obs[i] );
		  }
	 }

	 public final void entail(Object[] tail) {     // see/edit in "lib.Reader"
		  for (int i=0; i<tail.length; i++) {
				this.addElement( tail[i] );
		  }
	 }

	 public final void append(Vector v) { // so can also append XVector
		  Vector copyOf = (Vector) v.clone();
		  for (int i=0; i<copyOf.size() ; i++) {
				this.addElement( copyOf.elementAt(i) );
		  }
	 }

	 public final XVector getSlice(int i, int j) {
		  XVector out = new XVector();
		  for (int ix=i; ix<j; ix++) {
				out.addElement( this.elementAt(ix) );
		  }
		  return out;
	 }

	 public final XVector getSlice(int i) {
		  XVector out = new XVector();
		  for (int ix=i; ix<this.size(); ix++) {
				out.addElement( this.elementAt(ix) );
		  }
		  return out;
	 }

	 public final void removeSlice(int i, int j) { // acts on XVector in place
		  // removes the corresponding slice
		  for (int ix=i; ix<j; ix++) {
				this.removeElementAt(i); // and everything above it moves down!
		  }
	 }

	 public final String[] toArrayOfString() { //__hmmm__
		  String[] out = new String[ this.size() ];
		  for (int i=0; i<this.size(); i++ ) {
				out[ i ] = (String) this.elementAt(i);
		  }
		  return out;
	 }

}
/**********************************************************************/