gate.gui
Class DocumentEditor.EventsHandler.NodeRemover

java.lang.Object
  extended bygate.gui.DocumentEditor.EventsHandler.NodeRemover
All Implemented Interfaces:
Runnable
Enclosing class:
DocumentEditor.EventsHandler

class DocumentEditor.EventsHandler.NodeRemover
extends Object
implements Runnable

Helper class that removes one node from the types tree.


Field Summary
(package private)  DocumentEditor.TypeData tData
           
 
Constructor Summary
(package private) DocumentEditor.EventsHandler.NodeRemover(DocumentEditor.TypeData tData)
           
 
Method Summary
 void run()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tData

DocumentEditor.TypeData tData
Constructor Detail

DocumentEditor.EventsHandler.NodeRemover

DocumentEditor.EventsHandler.NodeRemover(DocumentEditor.TypeData tData)
Method Detail

run

public void run()
Specified by:
run in interface Runnable