gate.gui
Interface ResourceHandle

All Known Implementing Classes:
DefaultResourceHandle

public interface ResourceHandle

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
 Icon getIcon()
           
 JComponent getLargeView()
          Returns the large view for this resource.
 JPopupMenu getPopup()
           
 Resource getResource()
           
 JComponent getSmallView()
          Returns a GUI component to be used as a small viewer/editor, e.g.
 String getTitle()
           
 String getTooltipText()
           
 

Method Detail

getIcon

public Icon getIcon()

getTitle

public String getTitle()

getSmallView

public 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

getLargeView

public JComponent getLargeView()
Returns the large view for this resource. This view will go into the main display area.

getPopup

public JPopupMenu getPopup()

getTooltipText

public String getTooltipText()

getResource

public Resource getResource()