myviewform.java

来自「SANCHO」· Java 代码 · 共 697 行 · 第 1/2 页

/*
 * Copyright (C) 2004-2005 Rutger M. Ovidius for use with the sancho project.
 * See LICENSE.txt for license information.
 */

package sancho.view.utility;

/*******************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/

import org.eclipse.swt.SWT;
import org.eclipse.swt.SWTException;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.Font;
import org.eclipse.swt.graphics.GC;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.graphics.Rectangle;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Event;
import org.eclipse.swt.widgets.Layout;
import org.eclipse.swt.widgets.Listener;

/**
 * Instances of this class implement a Composite that lays out three
 * children horizontally and allows programmatic control of layout and
 * border parameters. ViewForm is used in the workbench to implement a
 * view's label/menu/toolbar local bar.
 * <p>
 * Note that although this class is a subclass of <code>Composite</code>,
 * it does not make sense to set a layout on it.
 * </p><p>
 * <dl>
 * <dt><b>Styles:</b></dt>
 * <dd>BORDER, FLAT</dd>
 * <dt><b>Events:</b></dt>
 * <dd>(None)</dd>
 * </dl>
 * <p>
 * IMPORTANT: This class is <em>not</em> intended to be subclassed.
 * </p>
 */

public class MyViewForm extends Composite {

  /**
   * marginWidth specifies the number of pixels of horizontal margin
   * that will be placed along the left and right edges of the form.
   *
   * The default value is 0.
   */
  public int marginWidth = 0;
  /**
   * marginHeight specifies the number of pixels of vertical margin
   * that will be placed along the top and bottom edges of the form.
   *
   * The default value is 0.
   */
  public int marginHeight = 0;
  /**
   * horizontalSpacing specifies the number of pixels between the right
   * edge of one cell and the left edge of its neighbouring cell to
   * the right.
   *
   * The default value is 1.
   */
  public int horizontalSpacing = 1;
  /**
   * verticalSpacing specifies the number of pixels between the bottom
   * edge of one cell and the top edge of its neighbouring cell underneath.
   *
   * The default value is 1.
   */
  public int verticalSpacing = 1;

  /**
   * Color of innermost line of drop shadow border.
   * 
   * NOTE This field is badly named and can not be fixed for backwards compatability.
   * It should be capitalized.
   */
  public static RGB borderInsideRGB = new RGB(132, 130, 132);
  /**
   * Color of middle line of drop shadow border.
   * 
   * NOTE This field is badly named and can not be fixed for backwards compatability.
   * It should be capitalized.
   */
  public static RGB borderMiddleRGB = new RGB(143, 141, 138);
  /**
   * Color of outermost line of drop shadow border.
   * 
   * NOTE This field is badly named and can not be fixed for backwards compatability.
   * It should be capitalized.
   */
  public static RGB borderOutsideRGB = new RGB(171, 168, 165);

  // SWT widgets
  private Control topLeft;
  private Control topCenter;
  private Control topRight;
  private Control content;

  // Configuration and state info
  private boolean separateTopCenter = false;
  private boolean showBorder = false;

  private int borderTop = 0;
  private int borderBottom = 0;
  private int borderLeft = 0;
  private int borderRight = 0;

  private Color borderColor1;
  private Color borderColor2;
  private Color borderColor3;

  private Rectangle oldArea;
  private static final int OFFSCREEN = -200;

  /**
   * Constructs a new instance of this class given its parent
   * and a style value describing its behavior and appearance.
   * <p>
   * The style value is either one of the style constants defined in
   * class <code>SWT</code> which is applicable to instances of this
   * class, or must be built by <em>bitwise OR</em>'ing together 
   * (that is, using the <code>int</code> "|" operator) two or more
   * of those <code>SWT</code> style constants. The class description
   * lists the style constants that are applicable to the class.
   * Style bits are also inherited from superclasses.
   * </p>
   *
   * @param parent a widget which will be the parent of the new instance (cannot be null)
   * @param style the style of widget to construct
   *
   * @exception IllegalArgumentException <ul>
   *    <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
   * </ul>
   * @exception SWTException <ul>
   *    <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
   * </ul>
   *
   * @see SWT#BORDER
   * @see SWT#FLAT
   * @see #getStyle()
   */
  public MyViewForm(Composite parent, int style) {
    super(parent, checkStyle(style));

    RGB a = getDisplay().getSystemColor(SWT.COLOR_TITLE_BACKGROUND).getRGB();

    //borderColor1 = new Color(getDisplay(), borderInsideRGB);

    borderColor1 = new Color(getDisplay(), a);

    borderColor2 = new Color(getDisplay(), borderMiddleRGB);

    //borderColor2 = changeColor(a, 20);
    //borderColor3 = changeColor(a, 40);

    borderColor3 = new Color(getDisplay(), borderOutsideRGB);
    setBorderVisible((style & SWT.BORDER) != 0);

    Listener listener = new Listener() {
      public void handleEvent(Event e) {
        switch (e.type) {
          case SWT.Dispose :
            onDispose();
            break;
          case SWT.Paint :
            onPaint(e.gc);
            break;
          case SWT.Resize :
            onResize();
            break;
        }
      }
    };

    int[] events = new int[]{SWT.Dispose, SWT.Paint, SWT.Resize};

    for (int i = 0; i < events.length; i++) {
      addListener(events[i], listener);
    }
  }

  public static Color changeColor(RGB color, int num) {
    int r = modifyIntColor(color.red, num);
    int g = modifyIntColor(color.green, num);
    int b = modifyIntColor(color.blue, num);

    return new Color(null, r, g, b);
  }

  public static Color changeColor(RGB color, int num, int def) {

    int r = modifyIntColor(color.red, num, def);
    int g = modifyIntColor(color.green, num, def);
    int b = modifyIntColor(color.blue, num, def);

    return new Color(null, r, g, b);
  }

  public static int modifyIntColor(int i, int num) {
    return modifyIntColor(i, num, i);
  }

  public static int modifyIntColor(int i, int num, int def) {
    return (((i + num) >= 0) && ((i + num) <= 255)) ? (i + num) : def;
  }

  static int checkStyle(int style) {
    int mask = SWT.FLAT | SWT.LEFT_TO_RIGHT | SWT.RIGHT_TO_LEFT;
    return style & mask | SWT.NO_REDRAW_RESIZE;
  }

  //protected void checkSubclass () {
  //  String name = getClass().getName ();
  //  String validName = ViewForm.class.getName();
  //  if (!validName.equals(name)) {
  //    SWT.error (SWT.ERROR_INVALID_SUBCLASS);
  //  }
  //}

  public Point computeSize(int wHint, int hHint, boolean changed) {
    checkWidget();
    // size of title bar area
    Point leftSize = new Point(0, 0);
    if (topLeft != null) {
      leftSize = topLeft.computeSize(SWT.DEFAULT, SWT.DEFAULT);
    }
    Point centerSize = new Point(0, 0);
    if (topCenter != null) {
      centerSize = topCenter.computeSize(SWT.DEFAULT, SWT.DEFAULT);
    }
    Point rightSize = new Point(0, 0);
    if (topRight != null) {
      rightSize = topRight.computeSize(SWT.DEFAULT, SWT.DEFAULT);
    }
    Point size = new Point(0, 0);
    // calculate width of title bar
    if (separateTopCenter || (wHint != SWT.DEFAULT && leftSize.x + centerSize.x + rightSize.x > wHint)) {
      size.x = leftSize.x + rightSize.x;
      if (leftSize.x > 0 && rightSize.x > 0)
        size.x += horizontalSpacing;
      size.x = Math.max(centerSize.x, size.x);
      size.y = Math.max(leftSize.y, rightSize.y);
      if (topCenter != null) {
        size.y += centerSize.y;
        if (topLeft != null || topRight != null)
          size.y += verticalSpacing;
      }
    } else {
      size.x = leftSize.x + centerSize.x + rightSize.x;
      int count = -1;
      if (leftSize.x > 0)
        count++;
      if (centerSize.x > 0)
        count++;
      if (rightSize.x > 0)
        count++;
      if (count > 0)
        size.x += count * horizontalSpacing;
      size.y = Math.max(leftSize.y, Math.max(centerSize.y, rightSize.y));
    }

    if (content != null) {
      Point contentSize = new Point(0, 0);
      contentSize = content.computeSize(SWT.DEFAULT, SWT.DEFAULT);
      size.x = Math.max(size.x, contentSize.x);
      size.y += contentSize.y;
      if (size.y > contentSize.y)
        size.y += verticalSpacing;
    }

    size.x += 2 * marginWidth;
    size.y += 2 * marginHeight;

    if (wHint != SWT.DEFAULT)
      size.x = wHint;
    if (hHint != SWT.DEFAULT)
      size.y = hHint;

    Rectangle trim = computeTrim(0, 0, size.x, size.y);
    return new Point(trim.width, trim.height);
  }

  public Rectangle computeTrim(int x, int y, int width, int height) {
    checkWidget();
    int trimX = x - borderLeft;
    int trimY = y - borderTop;
    int trimWidth = width + borderLeft + borderRight;
    int trimHeight = height + borderTop + borderBottom;
    return new Rectangle(trimX, trimY, trimWidth, trimHeight);
  }

  public Rectangle getClientArea() {
    checkWidget();
    Rectangle clientArea = super.getClientArea();
    clientArea.x += borderLeft;
    clientArea.y += borderTop;
    clientArea.width -= borderLeft + borderRight;
    clientArea.height -= borderTop + borderBottom;
    return clientArea;
  }

  /**
   * Returns the content area.
   * 
   * @return the control in the content area of the pane or null
   */
  public Control getContent() {
    //checkWidget();
    return content;
  }

  /**
   * Returns Control that appears in the top center of the pane.
   * Typically this is a toolbar.
   * 
   * @return the control in the top center of the pane or null
   */
  public Control getTopCenter() {
    //checkWidget();
    return topCenter;
  }

  /**
   * Returns the Control that appears in the top left corner of the pane.
   * Typically this is a label such as CLabel.
   * 
   * @return the control in the top left corner of the pane or null
   */
  public Control getTopLeft() {
    //checkWidget();
    return topLeft;
  }

  /**
   * Returns the control in the top right corner of the pane.