home *** CD-ROM | disk | FTP | other *** search
/ The Net: Ultimate Internet Guide / WWLCD1.ISO / pc / java / un2maiq4 / pjjava / src / pj / awt / tab.java < prev    next >
Encoding:
Java Source  |  1996-08-14  |  2.3 KB  |  91 lines
  1. /*---------------------------------------------------------------------------
  2.  
  3.     Written by the Personal Journal developers of Dow Jones & Company, Inc.
  4.  
  5.     Dow Jones makes no representations or warranties about 
  6.     the suitability of this software, either express or 
  7.     implied, including but not limited to the implied warranties 
  8.     of merchantability, fitness for a particular purpose, 
  9.     or non-infringement.  Dow Jones will not be liable for 
  10.     any damages suffered by a user as a result of using, 
  11.     modifying or distributing this software or its derivatives.
  12.  
  13.  
  14.     Tab.java
  15.  
  16.         Attributes of a general Tab component.
  17.  
  18.  
  19.     Authors:
  20.  
  21.         rphall          Rick Hall
  22.  
  23.  
  24.     Version Ident:
  25.  
  26.         $Header$
  27.  
  28.  
  29.     History:
  30.  
  31.         10-dec-1995 rphalll     Initial Creation
  32.  
  33.  
  34. ---------------------------------------------------------------------------*/
  35.  
  36. package pj.awt;
  37.  
  38. import pj.util.Mappable;
  39. import java.lang.Object;
  40. import java.lang.String;
  41.  
  42. /**
  43.  * General attributes of a TabBar component. A tab is nameable;
  44.  * the name of tab is used by TabBar to distinguish it from other
  45.  * tabs.  A tab is mappable; the mapped object of a tab is a String
  46.  * that holds a page name of a divider.  A tab also maintains a
  47.  * a visual presentation object, which may be set or retrieved.
  48.  *
  49.  * @see pj.awt.TabBar
  50.  * @see pj.util.Mappable
  51.  * @see pj.awt.TabSpec
  52.  * @version 0.00 03-Jan-96
  53.  * @author Rick Hall
  54. */
  55. public interface Tab extends Mappable
  56.     {
  57.  
  58.     // --- Public operations
  59.  
  60.     /**
  61.      * Get a tab's name.
  62.      * Equivalent to getName().
  63.      *
  64.      * @return The internal id of a tab within a TabBar.
  65.      * @see pj.util.Nameable#getName
  66.     */
  67.     public String getTabName();
  68.  
  69.     /**
  70.      * Get the mapped name of a tab.
  71.      * Equivalent to ((String)getMappedObject()).
  72.      *
  73.      * @return The name of the page which this tab references.
  74.      * @see pj.util.Mappable#getMappedName
  75.     */
  76.     public String getPageName();
  77.  
  78.     /**
  79.      * @param visual The user-visible presentation of a tab, typically
  80.      * a String or an Image.
  81.     */
  82.     public void setTabVisual(Object visual);
  83.  
  84.     /**
  85.      * @return The visual presentation of a tab, typically
  86.      * a String or an Image.
  87.     */
  88.     public Object getTabVisual();
  89.  
  90.     } // Tab
  91.