public void redo() { int i; for (i = 0; i < aretesSortantes.size(); i++) { ((AreteDessin) aretesSortantes.elementAt(i)).changerOrigine(sommetGarde); } for (i = 0; i < aretesEntrantes.size(); i++) { ((AreteDessin) aretesEntrantes.elementAt(i)).changerDestination(sommetGarde); } sommetDetruit.getVueGraphe().delObject(sommetDetruit); }
public void undo() { sommetDetruit.getVueGraphe().putObject(sommetDetruit); int i; for (i = 0; i < aretesSortantes.size(); i++) { ((AreteDessin) aretesSortantes.elementAt(i)).changerOrigine(sommetDetruit); } for (i = 0; i < aretesEntrantes.size(); i++) { ((AreteDessin) aretesEntrantes.elementAt(i)).changerDestination(sommetDetruit); } sommetDetruit.placer(original_X, original_Y); }