|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |