spacer.java

A framework written in Java for implementing high-level and dynamic languages, compiling them into J

package gnu.kawa.models;
import java.awt.Dimension;
import java.awt.geom.Dimension2D;

/* An object that provides space between other Model objects. */

public class Spacer extends Model
  implements Viewable, java.io.Serializable
{
  Dimension2D minSize;
  Dimension2D preferredSize;
  Dimension2D maxSize;

  public Dimension2D getMinimumSize2D()
  { return minSize; }
  public Dimension2D getPreferredSize2D()
  { return preferredSize; }
  public Dimension2D getMaximumSize2D()
  { return maxSize; }

  public Dimension getMinimumSize()
  { return Display.asDimension(minSize); }
  public Dimension getPreferredSize()
  { return Display.asDimension(preferredSize); }
  public Dimension getMaximumSize()
  { return Display.asDimension(maxSize); }

  public boolean isRigid ()
  {
    if (minSize == maxSize)
      return true;
    if (minSize != null && maxSize != null
        && minSize.getWidth() == maxSize.getWidth()
        && minSize.getHeight() == maxSize.getHeight())
      return true;
    return false;
  }

  public static Spacer rigidArea (Dimension2D d)
  {
    Spacer spacer = new Spacer();
    spacer.minSize = d;
    spacer.maxSize = d;
    spacer.preferredSize = d;
    return spacer;
  }

  public static Spacer rigidArea (int width, int height)
  {
    return rigidArea(new Dimension(width, height));
  }

  public void makeView (Display display, Object where)
  {
    display.addSpacer(this, where);
  }
}