|
GATE Version 3.1-2270 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Handle
Interface for classes used to store the information about an open resource. Such information will include icon to be used for tree components, popup menu for right click events, etc.
Method Summary | |
---|---|
void |
cleanup()
Called when this handle is not required any more. |
Icon |
getIcon()
|
JComponent |
getLargeView()
Returns the large view for this resource. |
JPopupMenu |
getPopup()
|
JComponent |
getSmallView()
Returns a GUI component to be used as a small viewer/editor, e.g. below the main tree in the Gate GUI for the selected resource |
Object |
getTarget()
|
String |
getTitle()
|
String |
getTooltipText()
|
Window |
getWindow()
Returns the top level GUI component that is a parent to all other GUI components |
boolean |
viewsBuilt()
Returns true if the views have already been built for this handle. |
Methods inherited from interface gate.event.ProgressListener |
---|
processFinished, progressChanged |
Methods inherited from interface gate.event.StatusListener |
---|
statusChanged |
Method Detail |
---|
Icon getIcon()
String getTitle()
JComponent getSmallView()
JComponent getLargeView()
boolean viewsBuilt()
void cleanup()
JPopupMenu getPopup()
String getTooltipText()
Object getTarget()
Window getWindow()
|
GATE Version 3.1-2270 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |