/* Spring.java --    Copyright (C) 2004 Free Software Foundation, Inc.This file is part of GNU Classpath.GNU Classpath is free software; you can redistribute it and/or modifyit under the terms of the GNU General Public License as published bythe Free Software Foundation; either version 2, or (at your option)any later version.GNU Classpath is distributed in the hope that it will be useful, butWITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNUGeneral Public License for more details.You should have received a copy of the GNU General Public Licensealong with GNU Classpath; see the file COPYING.  If not, write to theFree Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA02110-1301 USA.Linking this library statically or dynamically with other modules ismaking a combined work based on this library.  Thus, the terms andconditions of the GNU General Public License cover the wholecombination.As a special exception, the copyright holders of this library give youpermission to link this library with independent modules to produce anexecutable, regardless of the license terms of these independentmodules, and to copy and distribute the resulting executable underterms of your choice, provided that you also meet, for each linkedindependent module, the terms and conditions of the license of thatmodule.  An independent module is a module which is not derived fromor based on this library.  If you modify this library, you may extendthis exception to your version of the library, but you are notobligated to do so.  If you do not wish to do so, delete thisexception statement from your version. */package javax.swing;import java.awt.Component;import java.awt.Dimension;/** * Calculates the space between component edges, that are layed out by * {@link SpringLayout}. * <p> * A Spring defines a minimum, preferred and maximum distance for each edge * (north, east, south, west) of a component. * </p> * However, springs are not static, their actual values are computed at * runtime. That means, if a Spring C is defined as the sum of Spring A and * Spring B, then the values (min, pref and max) are not calculated at * creation of Spring C, but instead always when {@link #getValue} is * called. So, when Spring A or Spring B changes, this is reflected in * Spring C. * * @author Roman Kennke (roman@ontographics.com) */public abstract class Spring{  /** Indicates a not-set value. **/  public static final int UNSET = Integer.MIN_VALUE;  /**   * Creates a new Spring object. This constructor is used by the static   * methods which create Springs.   */  protected Spring()  {    // Nothing to do here.  }  /**   * Creates a Spring which min, pref and max values are all the same.   * These kind of Springs are 'struts'.   *   * @param val the constant for min, pref and max values.   * @return a Spring object with constant values for min, pref and max.   */  public static Spring constant(int val)  {    return new SimpleSpring(val, val, val);  }  /** Creates a Spring which min, pref and max values are constants.   * @param min the constant for the minimum value.   * @param pref the constant for the preferred value.   * @param max the constant for the maximum value.   * @return a Spring object with constant values for min, pref and max.   */  public static Spring constant(int min, int pref, int max)  {    return new SimpleSpring(min, pref, max);  }  /**   * Returns the maximum value of the Spring.   *   * @return the maximum value.   */  public abstract int getMaximumValue();  /**   * Returns the minimum value of this Spring.   *   * @return the minimum value.   */  public abstract int getMinimumValue();  /**   * Return the preferred value of this Spring.   *   * @return the preferred value.   */  public abstract int getPreferredValue();  /**   * Return the actual value of this Spring.   *   * @return the actual value of this Spring.   */  public abstract int getValue();  /**   * Creates and returns a Spring, which always has the maximum values   * min = max(min_s1, min_s2), pref = max(pref_s1, pref_s2), max =   * max(max_s1, max_s2).   *   * @param s1 the first summand of the max Spring.   * @param s2 the second summand of the max Spring.   * @return a Spring which is max(s1, s2).   */  public static Spring max(Spring s1, Spring s2)  {    return new MaxSpring(s1, s2);  }  /**   * Creates and returns a Spring, which is always the negation of s.   * min = -min_s, pref = -pref_s, max = -max_pref.   *   * @param s the Spring to be negated.   * @return the negative of <code>s</code>.   */  public static Spring minus(Spring s)  {    return new MinusSpring(s);  }  /**   * Sets the actual value. If <code>value</code> is out of the (min, max)   * bounds, then the value is adjusted, so that is inside these bounds.   *   * @param value the value to be set.   */  public abstract void setValue(int value);  private int getShrinkRange()   {    return (getPreferredValue() - getMinimumValue());  }  private int getExpandRange()   {    return (getMaximumValue() - getPreferredValue());  }  double getStrain()  {    int v = getValue();    int p = getPreferredValue();    int r = (v < p) ? getShrinkRange() : getExpandRange();    if (r == 0)      r = 1;    return (double)(v - p) / r;  }  void setStrain(double strain)   {    int r = (strain < 0) ? getShrinkRange() : getExpandRange();    int v = (getPreferredValue() + (int)(strain * r));    setValue(v);  }  /**   * Creates and returns a Spring, which is always the sum of s1 and s2.   * min_sum = min_s1 + min_s2, pref_sum = pref_s1 + pref_s2, max_sum =   * max_s1 + max_s2.   *   * @param s1 the 1st summand of the sum Spring.   * @param s2 the 2nd summand of the sum Spring.   * @return a sum which is <code>s1 + s2</code>.   */  public static Spring sum(Spring s1, Spring s2)  {    return new AddSpring(s1, s2);  }  /**   * Return a new Spring which computes its values by scaling   * the values of another spring by a constant factor.  If the   * factor is negative, the minimum and maximum values of   * the argument spring will be interchanged.   * @param spring the spring to track   * @param factor the factor by which to scale   * @return a new multiplicative Spring   * @since 1.5   */  public static Spring scale(final Spring spring, final float factor)  {    if (spring == null)      throw new NullPointerException("spring argument is null");    return new Spring()    {      public int getMaximumValue()      {        return (int) ((factor < 0 ? spring.getMinimumValue()                            : spring.getMaximumValue())                      * factor);      }      public int getMinimumValue()      {        return (int) ((factor < 0 ? spring.getMaximumValue()                                  : spring.getMinimumValue())                            * factor);      }      public int getPreferredValue()      {        return (int) (spring.getPreferredValue() * factor);      }      public int getValue()      {        return (int) (spring.getValue() * factor);      }      public void setValue(int value)      {        spring.setValue((int) (value / factor));      }    };  }  /**   * Return a new Spring which takes its values from the specified   * Component.  In particular, the maximum value is taken from   * the maximumSize, the minimum value is taken from the minimumSize,   * the preferred value is taken from the preferredSize, and the   * value is taken from the component's current size.  These values   * change as the component changes size.   * @param component the component   * @return a new Spring which tracks the component's width   * @since 1.5   */  public static Spring width(final Component component)  {    return new Spring()    {      public int getMaximumValue()      {        return component.getMaximumSize().width;      }      public int getMinimumValue()      {        return component.getMinimumSize().width;      }      public int getPreferredValue()      {        return component.getPreferredSize().width;      }      public int getValue()      {        return component.getSize().width;      }      public void setValue(int value)      {        Dimension d = component.getSize();        component.setSize(value, d.height);      }    };  }  /**   * Return a new Spring which takes its values from the specified   * Component.  In particular, the maximum value is taken from   * the maximumSize, the minimum value is taken from the minimumSize,   * the preferred value is taken from the preferredSize, and the   * value is taken from the component's current size.  These values   * change as the component changes size.   * @param component the component   * @return a new Spring which tracks the component's height   * @since 1.5   */  public static Spring height(final Component component)  {    return new Spring()    {      public int getMaximumValue()      {        return component.getMaximumSize().height;      }      public int getMinimumValue()      {        return component.getMinimumSize().height;      }      public int getPreferredValue()      {        return component.getPreferredSize().height;      }      public int getValue()      {        return component.getSize().height;      }      public void setValue(int value)      {        Dimension d = component.getSize();        component.setSize(d.width, value);      }    };  }  /**   * A simple Spring, that holds constant values for min, pref and max.   *   * @author Roman Kennke (roman@ontographics.com)   */  private static final class SimpleSpring extends Spring  {    /** The constant value for min. */    private final int min;    /** The constant value for pref. */    private final int pref;    /** The constant value for max. */    private final int max;    /** The actual value of the spring. */    private int value;    public String toString()    {      return "SimpleSpring of " + value;    }    /**     * Creates a new SimpleSpring object.     *     * @param newMin the constant minimum value.     * @param newPref the constant preferred value.     * @param newMax the constant maximum value.     */    public SimpleSpring(int newMin, int newPref, int newMax)    {      min = newMin;      pref = newPref;      max = newMax;      value = newPref;    }    /**