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  DiagramEditor diagramEditor
           
 
Constructor Summary
ElementDeleteListener(DiagramEditor d)
           
 
Method Summary
 boolean isAdapterForType(java.lang.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

diagramEditor

private DiagramEditor diagramEditor
Constructor Detail

ElementDeleteListener

public ElementDeleteListener(DiagramEditor d)
Method Detail

isAdapterForType

public boolean isAdapterForType(java.lang.Object type)

notifyChanged

public void notifyChanged(Notification msg)


Copyright (c) SAP AG 2005, 2012.