Uses of Interface
gate.gui.ResourceHandle

Packages that use ResourceHandle
gate.gui   
 

Uses of ResourceHandle in gate.gui
 

Classes in gate.gui that implement ResourceHandle
(package private)  class ApplicationHandle
           
 class DefaultResourceHandle
          Class used to store the information about an open resource.
 class DSHandle
           
 

Fields in gate.gui declared as ResourceHandle
(package private)  ResourceHandle ApplicationViewer.handle
           
 

Methods in gate.gui with parameters of type ResourceHandle
protected  void MainFrame.select(ResourceHandle handle)
           
 void ApplicationViewer.setHandle(ResourceHandle handle)