org.eclipse.graphiti.ui.editor
Class ElementDeleteListener

java.lang.Object
  extended by AdapterImpl
      extended by org.eclipse.graphiti.ui.editor.ElementDeleteListener

public final class ElementDeleteListener
extends AdapterImpl

Closes editor if model element was deleted. For instance, if only the diagram object is deleted from the resource, this listeners handles closing the editor. Probably this is a very rare case.

Since:
0.9

Field Summary
private  DiagramBehavior diagramBehavior
           
 
Constructor Summary
ElementDeleteListener(DiagramBehavior diagramBehavior)
           
 
Method Summary
 boolean isAdapterForType(Object type)
           
 void notifyChanged(Notification msg)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

diagramBehavior

private DiagramBehavior diagramBehavior
Constructor Detail

ElementDeleteListener

public ElementDeleteListener(DiagramBehavior diagramBehavior)
Since:
0.10
Method Detail

isAdapterForType

public boolean isAdapterForType(Object type)

notifyChanged

public void notifyChanged(Notification msg)


Copyright (c) SAP AG 2005, 2012.