home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1995 November / PCWK1195.iso / inne / win95 / sieciowe / hotja32.lzh / hotjava / classsrc / awt / label.java < prev    next >
Text File  |  1995-08-11  |  3KB  |  121 lines
  1. /*
  2.  * @(#)Label.java    1.19 95/02/03 Sami Shaio
  3.  *
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * Permission to use, copy, modify, and distribute this software
  7.  * and its documentation for NON-COMMERCIAL purposes and without
  8.  * fee is hereby granted provided that this copyright notice
  9.  * appears in all copies. Please refer to the file "copyright.html"
  10.  * for further important copyright and licensing information.
  11.  *
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  13.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  14.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  15.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  16.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  17.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  18.  */
  19. package awt;
  20.  
  21. /**
  22.  * A class that displays read-only text.
  23.  *
  24.  * @version 1.19 03 Feb 1995
  25.  * @author Sami Shaio
  26.  */
  27. public class Label extends Component {
  28.     private    WServer    wServer;
  29.  
  30.     boolean hFill = false;
  31.     public String label;
  32.  
  33.  
  34.     /**
  35.      * Constructs a label.
  36.      * @param pLabel the text of the label.
  37.      * @param pName the name of this component.
  38.      * @param pParent the parent window for this label.
  39.      * @param font the font to use for this label.
  40.      */
  41.     public Label(String pLabel, String pName, Container pParent, Font font) {
  42.     super(pParent, pName);
  43.     label = pLabel;
  44.     Window win = Window.getWindow(parent);
  45.     wServer = win.wServer;
  46.     wServer.labelCreate(this, label, win, font);
  47.     hFill = false;
  48.     }
  49.  
  50.     /** Constructs a label with the default font. */
  51.     public Label(String pLabel, String pName, Container pParent) {
  52.     this(pLabel, pName, pParent, null);
  53.     }
  54.  
  55.  
  56.     /** Makes this label stretch to be the width of its container. */
  57.     public void setHFill(boolean t) {
  58.     hFill = t;
  59.     if (!hFill) {
  60.         // force getPreferredSize to be recomputed because it could
  61.         // have been set to hFill
  62.         dim = null;
  63.     }
  64.     }
  65.  
  66.     /** Sets the font to use for this label. */
  67.     public void setFont(Font f) {
  68.     wServer.labelSetFont(this, f);
  69.     }
  70.  
  71.     /** Sets the color to draw this label. */
  72.     public void setColor(Color c) {
  73.     wServer.labelSetColor(this, c);
  74.     }
  75.  
  76.     /** Sets the text to display for this label. */
  77.     public void setText(String l) {
  78.     if (!l.equals(label)) {
  79.         label = l;
  80.         wServer.labelSetText(this, l);
  81.     }
  82.     }
  83.  
  84.     /** Move this label to the given x,y position. */
  85.     public void move(int x, int y) {
  86.     super.move(x, y);
  87.     wServer.labelMoveTo(this, x, y);
  88.     }
  89.     /** Reshapes this label to the given dimensions. */
  90.     public void reshape(int x, int y, int w, int h) {
  91.     super.reshape(x, y, w, h);
  92.     wServer.labelReshape(this, x, y, w, h);
  93.     }
  94.     /** Disposes of this label. */
  95.     public void dispose() {
  96.     wServer.labelDispose(this);
  97.     }
  98.  
  99.     /** Return the preferred size of this label. */
  100.     public Dimension getPreferredSize() {
  101.     wServer.labelDimensions(this);
  102.  
  103.     if (hFill) {
  104.         dim = new Dimension(parent.width, height);
  105.     } else {
  106.         dim = new Dimension(width, height);
  107.     }
  108.     return dim;
  109.     }
  110.  
  111.     /** Make this label visible. */
  112.     public void map() {
  113.     wServer.labelShow(this);
  114.     }
  115.  
  116.     /** Make this label invisible. */
  117.     public void unMap() {
  118.     wServer.labelHide(this);
  119.     }
  120. }
  121.