org.graffiti.undo
Class GraphElementsDeletionEdit.Builder

java.lang.Object
  extended by org.graffiti.undo.GraphElementsDeletionEdit.Builder
Enclosing class:
GraphElementsDeletionEdit

public static class GraphElementsDeletionEdit.Builder
extends Object

A builder for the GraphElementsDeletionEdit class.

Version:
$Revision: 5779 $ $Date: 2009-10-23 13:07:21 +0200 (Fr, 23 Okt 2009) $
Author:
donig

Constructor Summary
GraphElementsDeletionEdit.Builder(Map<GraphElement,GraphElement> geMap, Graph graph, Collection<? extends GraphElement> graphElements)
           
 
Method Summary
 GraphElementsDeletionEdit build()
           
 GraphElementsDeletionEdit.Builder presentationName(String presentationName)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphElementsDeletionEdit.Builder

public GraphElementsDeletionEdit.Builder(Map<GraphElement,GraphElement> geMap,
                                         Graph graph,
                                         Collection<? extends GraphElement> graphElements)
Method Detail

presentationName

public GraphElementsDeletionEdit.Builder presentationName(String presentationName)

build

public GraphElementsDeletionEdit build()


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