Source for gnu.javax.swing.text.html.css.BorderWidth

   1: /* BorderWidth.java -- A CSS metric for border widths
   2:    Copyright (C) 2006 Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   6: GNU Classpath is free software; you can redistribute it and/or modify
   7: it under the terms of the GNU General Public License as published by
   8: the Free Software Foundation; either version 2, or (at your option)
   9: any later version.
  10: 
  11: GNU Classpath is distributed in the hope that it will be useful, but
  12: WITHOUT ANY WARRANTY; without even the implied warranty of
  13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14: General Public License for more details.
  15: 
  16: You should have received a copy of the GNU General Public License
  17: along with GNU Classpath; see the file COPYING.  If not, write to the
  18: Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  21: Linking this library statically or dynamically with other modules is
  22: making a combined work based on this library.  Thus, the terms and
  23: conditions of the GNU General Public License cover the whole
  24: combination.
  25: 
  26: As a special exception, the copyright holders of this library give you
  27: permission to link this library with independent modules to produce an
  28: executable, regardless of the license terms of these independent
  29: modules, and to copy and distribute the resulting executable under
  30: terms of your choice, provided that you also meet, for each linked
  31: independent module, the terms and conditions of the license of that
  32: module.  An independent module is a module which is not derived from
  33: or based on this library.  If you modify this library, you may extend
  34: this exception to your version of the library, but you are not
  35: obligated to do so.  If you do not wish to do so, delete this
  36: exception statement from your version. */
  37: 
  38: 
  39: package gnu.javax.swing.text.html.css;
  40: 
  41: /**
  42:  * A special CSS metric for border widths. It basically understands everything
  43:  * as Length, and in addition to that provides a mapping for the border-width's
  44:  * thin, medium and think values.
  45:  */
  46: public class BorderWidth
  47:   extends Length
  48: {
  49: 
  50:   /**
  51:    * Creates a new BorderWidth instance.
  52:    *
  53:    * @param val the CSS value to be interpreted
  54:    */
  55:   public BorderWidth(String val)
  56:   {
  57:     super(val);
  58:     if (val.equals("thin"))
  59:       floatValue = 1.F;
  60:     else if (val.equals("medium"))
  61:       floatValue = 2.F;
  62:     else if (val.equals("thick"))
  63:       floatValue = 3.F;
  64:   }
  65: 
  66:   /**
  67:    * Checks if the specified value makes up a valid border-width value.
  68:    *
  69:    * @param value the value to check
  70:    *
  71:    * @return <code>true</code> if the value is a valid border-width
  72:    */
  73:   public static boolean isValid(String value)
  74:   {
  75:     return value.equals("thin") || value.equals("medium")
  76:            || value.equals("thick") || Length.isValid(value);
  77:   }
  78: }