/**
* 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());
}