org.graffiti.undo
Class GraphElementsEdit

java.lang.Object
  extended by javax.swing.undo.AbstractUndoableEdit
      extended by org.graffiti.undo.GraffitiAbstractUndoableEdit
          extended by org.graffiti.undo.GraphElementsEdit
All Implemented Interfaces:
Serializable, UndoableEdit
Direct Known Subclasses:
AddEdgeEdit, AddNodeEdit, GraphElementsDeletionEdit

public abstract class GraphElementsEdit
extends GraffitiAbstractUndoableEdit

GraphElementsEdit is abstract class for building edits belong to the operations on graph elements like adding or removing.

Version:
$Revision: 5767 $ $Date: 2006-01-03 09:42:05 +0100 (Di, 03 Jan 2006) $
Author:
$Author: gleissner $
See Also:
Serialized Form

Constructor Summary
GraphElementsEdit(Graph graph, Map<GraphElement,GraphElement> geMap)
          Create a nes GraphElementsEdit.
 
Method Summary
 
Methods inherited from class org.graffiti.undo.GraffitiAbstractUndoableEdit
execute
 
Methods inherited from class javax.swing.undo.AbstractUndoableEdit
addEdit, canRedo, canUndo, die, getPresentationName, getRedoPresentationName, getUndoPresentationName, isSignificant, redo, replaceEdit, toString, undo
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GraphElementsEdit

public GraphElementsEdit(Graph graph,
                         Map<GraphElement,GraphElement> geMap)
Create a nes GraphElementsEdit.

Parameters:
graph - a graph reference
geMap - reference to the map supports the undo operations.


Generated at 2012-05-30 11:00:14 PM CEST