/** * Removes a vector of figures. * * @see #remove */ public void removeAll(Vector figures) { Enumeration k = figures.elements(); while (k.hasMoreElements()) remove((Figure) k.nextElement()); }
public String getMap() { String areas = ""; Enumeration k = fFigures.elements(); while (k.hasMoreElements()) areas += ((Storable) k.nextElement()).getMap(); return areas; }
/** * Adds a vector of figures. * * @see #add */ public void addAll(Vector newFigures) { Enumeration k = newFigures.elements(); while (k.hasMoreElements()) add((Figure) k.nextElement()); }
/** Writes the contained figures to the StorableOutput. */ public void write(StorableOutput dw) { super.write(dw); dw.writeInt(fFigures.size()); Enumeration k = fFigures.elements(); while (k.hasMoreElements()) dw.writeStorable((Storable) k.nextElement()); }