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>"); }
void save(PrintWriter out) { out.println("<randint>"); WorkspaceObject c = sink.getContainedPart(); if (c != null) c.save(out); out.println("</randint>"); }