home *** CD-ROM | disk | FTP | other *** search
/ The Net: Ultimate Internet Guide / WWLCD1.ISO / pc / java / un2maiq4 / pjjava / src / pj / awt / stringtabspec.java < prev    next >
Encoding:
Java Source  |  1996-08-14  |  2.4 KB  |  89 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.     StringTabSpec.java
  15.  
  16.         A string-based specification for a component of a TabBar.
  17.  
  18.  
  19.     Authors:
  20.  
  21.         rphall          Rick Hall
  22.  
  23.  
  24.     Version Ident:
  25.  
  26.         $Header: /PjJavaClient/src/pj/awt/StringTabSpec.java 2     2/08/96 8:57a Rphall $
  27.  
  28.  
  29.     History:
  30.  
  31.         10-dec-1995 rphalll     Initial Creation
  32.  
  33.  
  34. ---------------------------------------------------------------------------*/
  35.  
  36. package pj.awt;
  37.  
  38. import pj.awt.TabSpec;
  39.  
  40. import collections.Assertable;
  41. import collections.ImplementationCheckable;
  42. import collections.ImplementationError;
  43. import java.lang.Object;
  44. import java.lang.String;
  45.  
  46. /**
  47.  * A string-based specification for a component of a TabBar.
  48.  *
  49.  * @see TabSpec
  50.  * @version 0.00 03-Jan-96
  51.  * @author Rick Hall
  52. */
  53. public class StringTabSpec extends TabSpec
  54.     implements ImplementationCheckable
  55.     {
  56.  
  57.     // --- Public constructors
  58.  
  59.     /**
  60.      * @param tabName The internal id of a tab within a TabBar.
  61.      * @param pageName The pageName of the divider to which this tab refers.
  62.      * @param tabString A string with which this tab will be labelled.
  63.      * @see checkImplementation
  64.     */
  65.     public StringTabSpec(
  66.             String tabName,
  67.             String pageName,
  68.             String tabString)
  69.         { 
  70.         super(tabName,pageName,tabString); 
  71.         }
  72.  
  73.     // --- Public operations
  74.  
  75.     /**
  76.      * Checks the internal validity of a StringTabSpec by making
  77.      * sure that StringTabSpec.objVisSpec is an instance of String.
  78.      * Invokes super to check that no public attribute is null.
  79.      * @exception ImplementationError Thrown if objVisSpec is not
  80.      * a String.
  81.     */
  82.     public void checkImplementation() throws ImplementationError
  83.         {
  84.         super.checkImplementation();
  85.         assert(objVisSpec instanceof String);
  86.         }
  87.  
  88.     } // TabSpec
  89.