mirror of git://gcc.gnu.org/git/gcc.git
				
				
				
			
		
			
				
	
	
		
			441 lines
		
	
	
		
			14 KiB
		
	
	
	
		
			Java
		
	
	
	
			
		
		
	
	
			441 lines
		
	
	
		
			14 KiB
		
	
	
	
		
			Java
		
	
	
	
/* MenuSelectionManager.java --
 | 
						|
   Copyright (C) 2002, 2004 Free Software Foundation, Inc.
 | 
						|
 | 
						|
This file is part of GNU Classpath.
 | 
						|
 | 
						|
GNU Classpath is free software; you can redistribute it and/or modify
 | 
						|
it under the terms of the GNU General Public License as published by
 | 
						|
the 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, but
 | 
						|
WITHOUT ANY WARRANTY; without even the implied warranty of
 | 
						|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 | 
						|
General Public License for more details.
 | 
						|
 | 
						|
You should have received a copy of the GNU General Public License
 | 
						|
along with GNU Classpath; see the file COPYING.  If not, write to the
 | 
						|
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 | 
						|
02110-1301 USA.
 | 
						|
 | 
						|
Linking this library statically or dynamically with other modules is
 | 
						|
making a combined work based on this library.  Thus, the terms and
 | 
						|
conditions of the GNU General Public License cover the whole
 | 
						|
combination.
 | 
						|
 | 
						|
As a special exception, the copyright holders of this library give you
 | 
						|
permission to link this library with independent modules to produce an
 | 
						|
executable, regardless of the license terms of these independent
 | 
						|
modules, and to copy and distribute the resulting executable under
 | 
						|
terms of your choice, provided that you also meet, for each linked
 | 
						|
independent module, the terms and conditions of the license of that
 | 
						|
module.  An independent module is a module which is not derived from
 | 
						|
or based on this library.  If you modify this library, you may extend
 | 
						|
this exception to your version of the library, but you are not
 | 
						|
obligated to do so.  If you do not wish to do so, delete this
 | 
						|
exception statement from your version. */
 | 
						|
 | 
						|
 | 
						|
package javax.swing;
 | 
						|
 | 
						|
import java.awt.Component;
 | 
						|
import java.awt.Dimension;
 | 
						|
import java.awt.Point;
 | 
						|
import java.awt.event.KeyEvent;
 | 
						|
import java.awt.event.MouseEvent;
 | 
						|
import java.util.ArrayList;
 | 
						|
import java.util.Vector;
 | 
						|
 | 
						|
import javax.swing.event.ChangeEvent;
 | 
						|
import javax.swing.event.ChangeListener;
 | 
						|
import javax.swing.event.EventListenerList;
 | 
						|
 | 
						|
/**
 | 
						|
 * This class manages current menu selectection. It provides
 | 
						|
 * methods to clear and set current selected menu path.
 | 
						|
 * It also fires StateChange event to its registered
 | 
						|
 * listeners whenever selected path of the current menu hierarchy
 | 
						|
 * changes.
 | 
						|
 *
 | 
						|
 */
 | 
						|
public class MenuSelectionManager
 | 
						|
{
 | 
						|
  /** ChangeEvent fired when selected path changes*/
 | 
						|
  protected ChangeEvent changeEvent = new ChangeEvent(this);
 | 
						|
 | 
						|
  /** List of listeners for this MenuSelectionManager */
 | 
						|
  protected EventListenerList listenerList = new EventListenerList();
 | 
						|
 | 
						|
  /** Default manager for the current menu hierarchy*/
 | 
						|
  private static final MenuSelectionManager manager = new MenuSelectionManager();
 | 
						|
 | 
						|
  /** Path to the currently selected menu */
 | 
						|
  private Vector selectedPath = new Vector();
 | 
						|
 | 
						|
  /**
 | 
						|
   * Fires StateChange event to registered listeners
 | 
						|
   */
 | 
						|
  protected void fireStateChanged()
 | 
						|
  {
 | 
						|
    ChangeListener[] listeners = getChangeListeners();
 | 
						|
 | 
						|
    for (int i = 0; i < listeners.length; i++)
 | 
						|
      listeners[i].stateChanged(changeEvent);
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Adds ChangeListener to this MenuSelectionManager
 | 
						|
   *
 | 
						|
   * @param listener ChangeListener to add
 | 
						|
   */
 | 
						|
  public void addChangeListener(ChangeListener listener)
 | 
						|
  {
 | 
						|
    listenerList.add(ChangeListener.class, listener);
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Removes ChangeListener from the list of registered listeners
 | 
						|
   * for this MenuSelectionManager.
 | 
						|
   *
 | 
						|
   * @param listener ChangeListner to remove
 | 
						|
   */
 | 
						|
  public void removeChangeListener(ChangeListener listener)
 | 
						|
  {
 | 
						|
    listenerList.remove(ChangeListener.class, listener);
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Returns list of registered listeners with MenuSelectionManager
 | 
						|
   *
 | 
						|
   * @since 1.4
 | 
						|
   */
 | 
						|
  public ChangeListener[] getChangeListeners()
 | 
						|
  {
 | 
						|
    return (ChangeListener[]) listenerList.getListeners(ChangeListener.class);
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Unselects all the menu elements on the selection path
 | 
						|
   */
 | 
						|
  public void clearSelectedPath()
 | 
						|
  {
 | 
						|
    // Send events from the bottom most item in the menu - hierarchy to the
 | 
						|
    // top most
 | 
						|
    for (int i = selectedPath.size() - 1; i >= 0; i--)
 | 
						|
      ((MenuElement) selectedPath.get(i)).menuSelectionChanged(false);
 | 
						|
 | 
						|
    // clear selected path
 | 
						|
    selectedPath.clear();
 | 
						|
 | 
						|
    // notify all listeners that the selected path was changed
 | 
						|
    fireStateChanged();
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * This method returns menu element on the selected path that contains
 | 
						|
   * given source point. If no menu element on the selected path contains this
 | 
						|
   * point, then null is returned.
 | 
						|
   *
 | 
						|
   * @param source Component relative to which sourcePoint is given
 | 
						|
   * @param sourcePoint point for which we want to find menu element that contains it
 | 
						|
   *
 | 
						|
   * @return Returns menu element that contains given source point and belongs
 | 
						|
   * to the currently selected path. Null is return if no such menu element found.
 | 
						|
   */
 | 
						|
  public Component componentForPoint(Component source, Point sourcePoint)
 | 
						|
  {
 | 
						|
    // Convert sourcePoint to screen coordinates.
 | 
						|
    Point sourcePointOnScreen = sourcePoint;
 | 
						|
 | 
						|
    if (source.isShowing())
 | 
						|
      SwingUtilities.convertPointToScreen(sourcePointOnScreen, source);
 | 
						|
 | 
						|
    Point compPointOnScreen;
 | 
						|
    Component resultComp = null;
 | 
						|
 | 
						|
    // For each menu element on the selected path, express its location
 | 
						|
    // in terms of screen coordinates and check if there is any
 | 
						|
    // menu element on the selected path that contains given source point.
 | 
						|
    for (int i = 0; i < selectedPath.size(); i++)
 | 
						|
      {
 | 
						|
        Component comp = ((Component) selectedPath.get(i));
 | 
						|
        Dimension size = comp.getSize();
 | 
						|
 | 
						|
        // convert location of this menu item to screen coordinates
 | 
						|
        compPointOnScreen = comp.getLocationOnScreen();
 | 
						|
 | 
						|
        if (compPointOnScreen.x <= sourcePointOnScreen.x
 | 
						|
            && sourcePointOnScreen.x < compPointOnScreen.x + size.width
 | 
						|
            && compPointOnScreen.y <= sourcePointOnScreen.y
 | 
						|
            && sourcePointOnScreen.y < compPointOnScreen.y + size.height)
 | 
						|
          {
 | 
						|
            Point p = sourcePointOnScreen;
 | 
						|
 | 
						|
        if (comp.isShowing())
 | 
						|
          SwingUtilities.convertPointFromScreen(p, comp);
 | 
						|
 | 
						|
            resultComp = SwingUtilities.getDeepestComponentAt(comp, p.x, p.y);
 | 
						|
            break;
 | 
						|
          }
 | 
						|
      }
 | 
						|
    return resultComp;
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Returns shared instance of MenuSelection Manager
 | 
						|
   *
 | 
						|
   * @return default Manager
 | 
						|
   */
 | 
						|
  public static MenuSelectionManager defaultManager()
 | 
						|
  {
 | 
						|
    return manager;
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Returns path representing current menu selection
 | 
						|
   *
 | 
						|
   * @return Current selection path
 | 
						|
   */
 | 
						|
  public MenuElement[] getSelectedPath()
 | 
						|
  {
 | 
						|
    MenuElement[] path = new MenuElement[selectedPath.size()];
 | 
						|
 | 
						|
    for (int i = 0; i < path.length; i++)
 | 
						|
      path[i] = (MenuElement) selectedPath.get(i);
 | 
						|
 | 
						|
    return path;
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Returns true if specified component is part of current menu
 | 
						|
   * heirarchy and false otherwise
 | 
						|
   *
 | 
						|
   * @param c Component for which to check
 | 
						|
   * @return True if specified component is part of current menu
 | 
						|
   */
 | 
						|
  public boolean isComponentPartOfCurrentMenu(Component c)
 | 
						|
  {
 | 
						|
    MenuElement[] subElements;
 | 
						|
    boolean ret = false;
 | 
						|
    for (int i = 0; i < selectedPath.size(); i++)
 | 
						|
      {
 | 
						|
        // Check first element.
 | 
						|
        MenuElement first = (MenuElement) selectedPath.get(i);
 | 
						|
        if (SwingUtilities.isDescendingFrom(c, first.getComponent()))
 | 
						|
          {
 | 
						|
            ret = true;
 | 
						|
            break;
 | 
						|
          }
 | 
						|
        else
 | 
						|
          {
 | 
						|
            // Check sub elements.
 | 
						|
            subElements = first.getSubElements();
 | 
						|
            for (int j = 0; j < subElements.length; j++)
 | 
						|
              {
 | 
						|
                MenuElement me = subElements[j];
 | 
						|
                if (me != null
 | 
						|
                    && (SwingUtilities.isDescendingFrom(c, me.getComponent())))
 | 
						|
                  {
 | 
						|
                    ret = true;
 | 
						|
                    break;
 | 
						|
                  }
 | 
						|
              }
 | 
						|
          }
 | 
						|
      }
 | 
						|
 | 
						|
      return ret;
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Processes key events on behalf of the MenuElements. MenuElement
 | 
						|
   * instances should always forward their key events to this method and
 | 
						|
   * get their {@link MenuElement#processKeyEvent(KeyEvent, MenuElement[],
 | 
						|
   * MenuSelectionManager)} eventually called back.
 | 
						|
   *
 | 
						|
   * @param e the key event
 | 
						|
   */
 | 
						|
  public void processKeyEvent(KeyEvent e)
 | 
						|
  {
 | 
						|
    MenuElement[] selection = (MenuElement[])
 | 
						|
                    selectedPath.toArray(new MenuElement[selectedPath.size()]);
 | 
						|
    if (selection.length == 0)
 | 
						|
      return;
 | 
						|
 | 
						|
    MenuElement[] path;
 | 
						|
    for (int index = selection.length - 1; index >= 0; index--)
 | 
						|
      {
 | 
						|
        MenuElement el = selection[index];
 | 
						|
        // This method's main purpose is to forward key events to the
 | 
						|
        // relevant menu items, so that they can act in response to their
 | 
						|
        // mnemonics beeing typed. So we also need to forward the key event
 | 
						|
        // to all the subelements of the currently selected menu elements
 | 
						|
        // in the path.
 | 
						|
        MenuElement[] subEls = el.getSubElements();
 | 
						|
        path = null;
 | 
						|
        for (int subIndex = 0; subIndex < subEls.length; subIndex++)
 | 
						|
          {
 | 
						|
            MenuElement sub = subEls[subIndex];
 | 
						|
            // Skip elements that are not showing or not enabled.
 | 
						|
            if (sub == null || ! sub.getComponent().isShowing()
 | 
						|
                || ! sub.getComponent().isEnabled())
 | 
						|
              {
 | 
						|
                continue;
 | 
						|
              }
 | 
						|
 | 
						|
            if (path == null)
 | 
						|
              {
 | 
						|
                path = new MenuElement[index + 2];
 | 
						|
                System.arraycopy(selection, 0, path, 0, index + 1);
 | 
						|
              }
 | 
						|
            path[index + 1] = sub;
 | 
						|
            sub.processKeyEvent(e, path, this);
 | 
						|
            if (e.isConsumed())
 | 
						|
              break;
 | 
						|
          }
 | 
						|
        if (e.isConsumed())
 | 
						|
          break;
 | 
						|
      }
 | 
						|
 | 
						|
    // Dispatch to first element in selection if it hasn't been consumed.
 | 
						|
    if (! e.isConsumed())
 | 
						|
      {
 | 
						|
        path = new MenuElement[1];
 | 
						|
        path[0] = selection[0];
 | 
						|
        path[0].processKeyEvent(e, path, this);
 | 
						|
      }
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Forwards given mouse event to all of the source subcomponents.
 | 
						|
   *
 | 
						|
   * @param event Mouse event
 | 
						|
   */
 | 
						|
  public void processMouseEvent(MouseEvent event)
 | 
						|
  {
 | 
						|
    Component source = ((Component) event.getSource());
 | 
						|
 | 
						|
    // In the case of drag event, event.getSource() returns component
 | 
						|
    // where drag event originated. However menu element processing this
 | 
						|
    // event should be the one over which mouse is currently located,
 | 
						|
    // which is not necessary the source of the drag event.
 | 
						|
    Component mouseOverMenuComp;
 | 
						|
 | 
						|
    // find over which menu element the mouse is currently located
 | 
						|
    if (event.getID() == MouseEvent.MOUSE_DRAGGED
 | 
						|
        || event.getID() == MouseEvent.MOUSE_RELEASED)
 | 
						|
      mouseOverMenuComp = componentForPoint(source, event.getPoint());
 | 
						|
    else
 | 
						|
      mouseOverMenuComp = source;
 | 
						|
 | 
						|
    // Process this event only if mouse is located over some menu element
 | 
						|
    if (mouseOverMenuComp != null && (mouseOverMenuComp instanceof MenuElement))
 | 
						|
      {
 | 
						|
        MenuElement[] path = getPath(mouseOverMenuComp);
 | 
						|
        ((MenuElement) mouseOverMenuComp).processMouseEvent(event, path,
 | 
						|
                                                            manager);
 | 
						|
 | 
						|
        // FIXME: Java specification says that mouse events should be
 | 
						|
        // forwarded to subcomponents. The code below does it, but
 | 
						|
        // menu's work fine without it. This code is commented for now.
 | 
						|
 | 
						|
        /*
 | 
						|
        MenuElement[] subComponents = ((MenuElement) mouseOverMenuComp)
 | 
						|
                                      .getSubElements();
 | 
						|
 | 
						|
        for (int i = 0; i < subComponents.length; i++)
 | 
						|
         {
 | 
						|
              subComponents[i].processMouseEvent(event, path, manager);
 | 
						|
         }
 | 
						|
        */
 | 
						|
      }
 | 
						|
    else
 | 
						|
      {
 | 
						|
        if (event.getID() == MouseEvent.MOUSE_RELEASED)
 | 
						|
          clearSelectedPath();
 | 
						|
      }
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Sets menu selection to the specified path
 | 
						|
   *
 | 
						|
   * @param path new selection path
 | 
						|
   */
 | 
						|
  public void setSelectedPath(MenuElement[] path)
 | 
						|
  {
 | 
						|
    if (path == null)
 | 
						|
      {
 | 
						|
        clearSelectedPath();
 | 
						|
        return;
 | 
						|
      }
 | 
						|
 | 
						|
    int minSize = path.length; // size of the smaller path.
 | 
						|
    int currentSize = selectedPath.size();
 | 
						|
    int firstDiff = 0;
 | 
						|
 | 
						|
    // Search first item that is different in the current and new path.
 | 
						|
    for (int i = 0; i < minSize; i++)
 | 
						|
      {
 | 
						|
        if (i < currentSize && (MenuElement) selectedPath.get(i) == path[i])
 | 
						|
          firstDiff++;
 | 
						|
        else
 | 
						|
          break;
 | 
						|
      }
 | 
						|
 | 
						|
    // Remove items from selection and send notification.
 | 
						|
    for (int i = currentSize - 1; i >= firstDiff; i--)
 | 
						|
      {
 | 
						|
        MenuElement el = (MenuElement) selectedPath.get(i);
 | 
						|
        selectedPath.remove(i);
 | 
						|
        el.menuSelectionChanged(false);
 | 
						|
      }
 | 
						|
 | 
						|
    // Add new items to selection and send notification.
 | 
						|
    for (int i = firstDiff; i < minSize; i++)
 | 
						|
      {
 | 
						|
        if (path[i] != null)
 | 
						|
          {
 | 
						|
            selectedPath.add(path[i]);
 | 
						|
            path[i].menuSelectionChanged(true);
 | 
						|
          }
 | 
						|
      }
 | 
						|
 | 
						|
    fireStateChanged();
 | 
						|
  }
 | 
						|
 | 
						|
  /**
 | 
						|
   * Returns path to the specified component
 | 
						|
   *
 | 
						|
   * @param c component for which to find path for
 | 
						|
   *
 | 
						|
   * @return path to the specified component
 | 
						|
   */
 | 
						|
  private MenuElement[] getPath(Component c)
 | 
						|
  {
 | 
						|
    // FIXME: There is the same method in BasicMenuItemUI. However I
 | 
						|
    // cannot use it here instead of this method, since I cannot assume that
 | 
						|
    // all the menu elements on the selected path are JMenuItem or JMenu.
 | 
						|
    // For now I've just duplicated it here. Please
 | 
						|
    // fix me or delete me if another better approach will be found, and
 | 
						|
    // this method will not be necessary.
 | 
						|
    ArrayList path = new ArrayList();
 | 
						|
 | 
						|
    // if given component is JMenu, we also need to include
 | 
						|
    // it's popup menu in the path
 | 
						|
    if (c instanceof JMenu)
 | 
						|
      path.add(((JMenu) c).getPopupMenu());
 | 
						|
    while (c instanceof MenuElement)
 | 
						|
      {
 | 
						|
        path.add(0, (MenuElement) c);
 | 
						|
 | 
						|
        if (c instanceof JPopupMenu)
 | 
						|
          c = ((JPopupMenu) c).getInvoker();
 | 
						|
        else
 | 
						|
          c = c.getParent();
 | 
						|
      }
 | 
						|
 | 
						|
    MenuElement[] pathArray = new MenuElement[path.size()];
 | 
						|
    path.toArray(pathArray);
 | 
						|
    return pathArray;
 | 
						|
  }
 | 
						|
}
 |