namedvector.java

来自「The Definitive Guide to Java Swing, Thir」· Java 代码 · 共 17 行

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 + "]";
  }
}