/** Adds a figure to the list of figures. Initializes the the figure's container. */
public Figure add(Figure figure) {
if (!fFigures.contains(figure)) {
fFigures.addElement(figure);
figure.addToContainer(this);
}
return figure;
}
/** Replaces a figure in the drawing without removing it from the drawing. */
public synchronized void replace(Figure figure, Figure replacement) {
int index = fFigures.indexOf(figure);
if (index != -1) {
replacement.addToContainer(this); // will invalidate figure
figure.changed();
fFigures.setElementAt(replacement, index);
}
}
private void readObject(ObjectInputStream s) throws ClassNotFoundException, IOException {
s.defaultReadObject();
FigureEnumeration k = figures();
while (k.hasMoreElements()) {
Figure figure = k.nextFigure();
figure.addToContainer(this);
}
}