plugins/org.eclipse.emf.parsley.web.servlets/src/org/eclipse/swt/events/SelectionListener.java

/*******************************************************************************
 * Copyright (c) 2015 RCP Vision (http://www.rcp-vision.com) and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 * Vincenzo Caselli - Initial contribution and API
 * 
 *******************************************************************************/
package org.eclipse.swt.events;


import org.eclipse.swt.internal.SWTEventListener;

/**
 * Classes which implement this interface provide methods that deal with the events that are
 * generated when selection occurs in a control.
 * <p>
 * After creating an instance of a class that implements this interface it can be added to a control
 * using the <code>addSelectionListener</code> method and removed using the
 * <code>removeSelectionListener</code> method. When selection occurs in a control the appropriate
 * method will be invoked.
 * </p>
 *
 * @see SelectionAdapter
 * @see SelectionEvent
 */
public interface SelectionListener extends SWTEventListener {

    /**
     * Sent when selection occurs in the control.
     * <p>
     * For example, selection occurs in a List when the user selects an item or items with the
     * keyboard or mouse. On some platforms, the event occurs when a mouse button or key is pressed.
     * On others, it happens when the mouse or key is released. The exact key or mouse gesture that
     * causes this event is platform specific.
     * </p>
     *
     * @param e an event containing information about the selection
     */
    public void widgetSelected(SelectionEvent e);

    /**
     * Sent when default selection occurs in the control.
     * <p>
     * For example, on some platforms default selection occurs in a List when the user double-clicks
     * an item or types return in a Text. On some platforms, the event occurs when a mouse button or
     * key is pressed. On others, it happens when the mouse or key is released. The exact key or
     * mouse gesture that causes this event is platform specific.
     * </p>
     *
     * @param e an event containing information about the default selection
     */
    public void widgetDefaultSelected(SelectionEvent e);
}