/* 
 * XVector.java --
 *
 * Copyright 1995 Regents of the University of California
 * Permission to use, copy, modify, and distribute this
 * software and its documentation for any purpose and without
 * fee is hereby granted, provided that this copyright
 * notice appears in all copies.  The University of California
 * makes no representations about the suitability of this
 * software for any purpose.  It is provided "as is" without
 * express or implied warranty.
 *
 * rcsid = "$Header: /disks/barad-dur/now/rywang/src/java/classes/ryw/XVector.java,v 1.1 1995/11/09 12:19:39 rywang Exp $ xFS (Berkeley)"
 */

package ryw;

import java.util.*;


/**
 * Allows gluing together two vectors.
 */
public class XVector extends Vector {
    public void addVector (Vector vec) {
	Enumeration items = vec.elements ();
	while (items.hasMoreElements ()) {
	    this.addElement (items.nextElement ());
	}
    }
}