org.eclipse.swt.examples.controlexample.RangeTab.java Source code

Introduction

Here is the source code for org.eclipse.swt.examples.controlexample.RangeTab.java

Source

/*******************************************************************************
 * Copyright (c) 2000, 2013 IBM Corporation and others.
 *
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.swt.examples.controlexample;

import static org.eclipse.swt.events.SelectionListener.widgetSelectedAdapter;

import org.eclipse.swt.SWT;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Group;
import org.eclipse.swt.widgets.Spinner;
import org.eclipse.swt.widgets.Widget;

abstract class RangeTab extends Tab {
    /* Style widgets added to the "Style" group */
    Button horizontalButton, verticalButton;
    boolean orientationButtons = true;

    /* Scale widgets added to the "Control" group */
    Spinner minimumSpinner, selectionSpinner, maximumSpinner;

    /**
     * Creates the Tab within a given instance of ControlExample.
     */
    RangeTab(ControlExample instance) {
        super(instance);
    }

    /**
     * Creates the "Control" widget children.
     */
    @Override
    void createControlWidgets() {
        /* Create controls specific to this example */
        createMinimumGroup();
        createMaximumGroup();
        createSelectionGroup();
    }

    /**
     * Create a group of widgets to control the maximum
     * attribute of the example widget.
     */
    void createMaximumGroup() {

        /* Create the group */
        Group maximumGroup = new Group(controlGroup, SWT.NONE);
        maximumGroup.setLayout(new GridLayout());
        maximumGroup.setText(ControlExample.getResourceString("Maximum"));
        maximumGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));

        /* Create a Spinner widget */
        maximumSpinner = new Spinner(maximumGroup, SWT.BORDER);
        maximumSpinner.setMaximum(100000);
        maximumSpinner.setSelection(getDefaultMaximum());
        maximumSpinner.setPageIncrement(100);
        maximumSpinner.setIncrement(1);
        maximumSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

        /* Add the listeners */
        maximumSpinner.addSelectionListener(widgetSelectedAdapter(event -> setWidgetMaximum()));
    }

    /**
     * Create a group of widgets to control the minimum
     * attribute of the example widget.
     */
    void createMinimumGroup() {

        /* Create the group */
        Group minimumGroup = new Group(controlGroup, SWT.NONE);
        minimumGroup.setLayout(new GridLayout());
        minimumGroup.setText(ControlExample.getResourceString("Minimum"));
        minimumGroup.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));

        /* Create a Spinner widget */
        minimumSpinner = new Spinner(minimumGroup, SWT.BORDER);
        minimumSpinner.setMaximum(100000);
        minimumSpinner.setSelection(getDefaultMinimum());
        minimumSpinner.setPageIncrement(100);
        minimumSpinner.setIncrement(1);
        minimumSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

        /* Add the listeners */
        minimumSpinner.addSelectionListener(widgetSelectedAdapter(event -> setWidgetMinimum()));

    }

    /**
     * Create a group of widgets to control the selection
     * attribute of the example widget.
     */
    void createSelectionGroup() {

        /* Create the group */
        Group selectionGroup = new Group(controlGroup, SWT.NONE);
        selectionGroup.setLayout(new GridLayout());
        GridData gridData = new GridData(SWT.FILL, SWT.BEGINNING, false, false);
        selectionGroup.setLayoutData(gridData);
        selectionGroup.setText(ControlExample.getResourceString("Selection"));

        /* Create a Spinner widget */
        selectionSpinner = new Spinner(selectionGroup, SWT.BORDER);
        selectionSpinner.setMaximum(100000);
        selectionSpinner.setSelection(getDefaultSelection());
        selectionSpinner.setPageIncrement(100);
        selectionSpinner.setIncrement(1);
        selectionSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

        /* Add the listeners */
        selectionSpinner.addSelectionListener(widgetSelectedAdapter(event -> setWidgetSelection()));

    }

    /**
     * Creates the "Style" group.
     */
    @Override
    void createStyleGroup() {
        super.createStyleGroup();

        /* Create the extra widgets */
        if (orientationButtons) {
            horizontalButton = new Button(styleGroup, SWT.RADIO);
            horizontalButton.setText("SWT.HORIZONTAL");
            verticalButton = new Button(styleGroup, SWT.RADIO);
            verticalButton.setText("SWT.VERTICAL");
        }
        borderButton = new Button(styleGroup, SWT.CHECK);
        borderButton.setText("SWT.BORDER");
    }

    /**
     * Sets the state of the "Example" widgets.
     */
    @Override
    void setExampleWidgetState() {
        super.setExampleWidgetState();
        if (!instance.startup) {
            setWidgetMinimum();
            setWidgetMaximum();
            setWidgetSelection();
        }
        Widget[] widgets = getExampleWidgets();
        if (widgets.length != 0) {
            if (orientationButtons) {
                horizontalButton.setSelection((widgets[0].getStyle() & SWT.HORIZONTAL) != 0);
                verticalButton.setSelection((widgets[0].getStyle() & SWT.VERTICAL) != 0);
            }
            borderButton.setSelection((widgets[0].getStyle() & SWT.BORDER) != 0);
        }
    }

    /**
     * Gets the default maximum of the "Example" widgets.
     */
    abstract int getDefaultMaximum();

    /**
     * Gets the default minimim of the "Example" widgets.
     */
    abstract int getDefaultMinimum();

    /**
     * Gets the default selection of the "Example" widgets.
     */
    abstract int getDefaultSelection();

    /**
     * Sets the maximum of the "Example" widgets.
     */
    abstract void setWidgetMaximum();

    /**
     * Sets the minimim of the "Example" widgets.
     */
    abstract void setWidgetMinimum();

    /**
     * Sets the selection of the "Example" widgets.
     */
    abstract void setWidgetSelection();
}