sources/shared/MyVector.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

package shared;

import java.util.Enumeration;
import java.util.Vector;

/**
 * This class extends the standard Vector class and defined additional help methods.
 * @author buetow
 *
 */
public class MyVector extends Vector {
  private static final long serialVersionUID = 1L;

  /**
   * This method appends a vector at the end.
   * @param vecAppend Specifies the vector to be appended.
   */
  public void appendVector(Vector vecAppend) {
    Enumeration enumAppend = vecAppend.elements();
    while (enumAppend.hasMoreElements())
      this.add(enumAppend.nextElement());
  }
}