namedvector.java

The Definitive Guide to Java Swing, Third Edition by John Zukowski (Author) 源码

import java.util.Vector;
public class NamedVector<E> extends Vector<E> {
  String name;
  public NamedVector(String name) {
    this.name = name;
  }
  public NamedVector(String name, E elements[]) {
    this.name = name;
    for (int i=0, n=elements.length; i<n; i++) {
      add(elements[i]);
    }
  }
  public String toString() {
    return "[" + name + "]";
  }
}