void save(PrintWriter out) {
out.println("<division>");
out.println("<loperand>");
WorkspaceObject c = leftSink.getContainedPart();
if (c != null) c.save(out);
out.println("</loperand>");
out.println("<roperand>");
c = rightSink.getContainedPart();
if (c != null) c.save(out);
out.println("</roperand>");
out.println("</division>");
}
public WorkspaceObject getWorkspaceObjectForPart(Object part) // EEH
{
if (part == op) return this;
WorkspaceObject wo = null;
wo = leftSink.getContainedPart().getWorkspaceObjectForPart(part);
if (wo != null) return wo;
wo = rightSink.getContainedPart().getWorkspaceObjectForPart(part);
if (wo != null) return wo;
return null;
}
public WorkspaceObject getWorkspaceObjectForPart(Object part) // EEH
{
if (part == randInt) return this;
WorkspaceObject wo = null;
wo = sink.getContainedPart().getWorkspaceObjectForPart(part);
if (wo != null) return wo;
return null;
}
void save(PrintWriter out) {
out.println("<randint>");
WorkspaceObject c = sink.getContainedPart();
if (c != null) c.save(out);
out.println("</randint>");
}
