view dwtx/jface/commands/RadioState.d @ 70:46a6e0e6ccd4

Merge with d-fied sources of 3.4M7
author Frank Benoit <benoit@tionex.de>
date Thu, 22 May 2008 01:36:46 +0200
parents ea8ff534f622
children 04b47443bb01
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2005, 2007 IBM Corporation 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:
 *     IBM Corporation - initial API and implementation
 * Port to the D programming language:
 *     Frank Benoit <benoit@tionex.de>
 *******************************************************************************/

module dwtx.jface.commands.RadioState;

import tango.util.collection.HashMap;
import tango.util.collection.HashSet;
import tango.util.collection.model.Map;
import tango.util.collection.model.Set;

import dwtx.core.commands.IStateListener;
import dwtx.core.commands.State;
import dwtx.jface.menus.IMenuStateIds;

import dwtx.jface.commands.ToggleState;

import dwt.dwthelper.utils;

/**
 * <p>
 * A piece of bool state grouped with other bool states. Of these states,
 * only one may have a value of {@link Boolean#TRUE} at any given point in time.
 * The values of all other states must be {@link Boolean#FALSE}.
 * </p>
 * <p>
 * If this state is registered using {@link IMenuStateIds#STYLE}, then it will
 * control the presentation of the command if displayed in the menus, tool bars
 * or status line.
 * </p>
 * <p>
 * Clients may instantiate or extend this interface.
 * </p>
 *
 * @since 3.2
 */
public class RadioState : ToggleState {

    /**
     * The manager of radio groups within the application. This ensures that
     * only one member of a radio group is active at any one time, and tracks
     * group memberships.
     */
    private static final class RadioStateManager {

        /**
         * A group of radio states with the same identifier.
         */
        private static final class RadioGroup : IStateListener {

            /**
             * The active state. If there is no active state, then this value is
             * <code>null</code>.
             */
            private RadioState active = null;

            /**
             * The current members in this group. If there are no members, then
             * this value is <code>nlistenerull</code>.
             */
            private Set!(RadioState) members = null;

            /**
             * Activates a memeber. This checks to see if there are any other
             * active members. If there are, they are deactivated.
             *
             * @param state
             *            The state that should become active; must not be
             *            <code>null</code>.
             */
            private final void activateMember(RadioState state) {
                if (active !is null && active !is state) {
                    active.setValue(Boolean.FALSE);
                }
                active = state;
            }

            /**
             * Adds a member to this radio group. If the state being added is
             * active, then it replaces the currently active group memeber as
             * the active state.
             *
             * @param state
             *            The state to add; must not be <code>null</code>.
             */
            private final void addMember(RadioState state) {
                if (members is null) {
                    members = new HashSet!(RadioState);
                }

                members.add(state);
                state.addListener(this);

                Object value = state.getValue();
                if ( auto v = cast(Boolean)value ) {
                    if (v.booleanValue()) {
                        activateMember(state);
                    }
                }
            }

            public final void handleStateChange(State state,
                    Object oldValue) {
                Object newValue = state.getValue();
                if ( auto v = cast(Boolean)newValue) {
                    if (v.booleanValue()) {
                        activateMember(cast(RadioState) state);
                    }
                }
            }

            /**
             * Removes a member from this radio group. If the state was the
             * active state, then there will be no active state.
             *
             * @param state
             *            The state to remove; must not be <code>null</code>.
             */
            private final void removeMember(RadioState state) {
                state.removeListener(this);
                if (active is state) {
                    active = null;
                }

                if (members is null) {
                    return;
                }
                members.remove(state);
            }
        }

        /**
         * The map of radio states indexed by identifier (<code>String</code>).
         * The radio states is either a single <code>RadioState</code>
         * instance or a <code>Collection</code> of <code>RadioState</code>
         * instances.
         */
        private static Map!(String,RadioState) radioStatesById = null;

        /**
         * Activates a particular state within a given group.
         *
         * @param identifier
         *            The identifier of the group to which the state belongs;
         *            must not be <code>null</code>.
         * @param state
         *            The state to activate; must not be <code>null</code>.
         */
        private static final void activateGroup(String identifier,
                RadioState state) {
            if (radioStatesById is null) {
                return;
            }

            auto currentValue = radioStatesById.get(identifier);
            if ( auto grp = cast(RadioGroup)currentValue) {
                RadioGroup radioGroup = grp;
                radioGroup.activateMember(state);
            }
        }

        /**
         * Registers a piece of state with the radio manager.
         *
         * @param identifier
         *            The identifier of the radio group; must not be
         *            <code>null</code>.
         * @param state
         *            The state to register; must not be <code>null</code>.
         */
        private static final void registerState(String identifier,
                RadioState state) {
            if (radioStatesById is null) {
                radioStatesById = new HashMap!(String,RadioState);
            }

            auto currentValue = radioStatesById.get(identifier);
            RadioGroup radioGroup;
            if ( auto grp = cast(RadioGroup)currentValue) {
                radioGroup = grp;
            } else {
                radioGroup = new RadioGroup();
            }
            radioGroup.addMember(state);
        }

        /**
         * Unregisters a piece of state from the radio manager.
         *
         * @param identifier
         *            The identifier of the radio group; must not be
         *            <code>null</code>.
         * @param state
         *            The state to unregister; must not be <code>null</code>.
         */
        private static final void unregisterState(String identifier,
                RadioState state) {
            if (radioStatesById is null) {
                return;
            }

            auto currentValue = radioStatesById.get(identifier);
            if ( auto grp = cast(RadioGroup)currentValue ) {
                final RadioGroup radioGroup = grp;
                radioGroup.removeMember(state);
            }
        }
    }

    /**
     * The identifier of the radio group to which this state belongs. This value
     * may be <code>null</code> if this state doesn't really belong to a group
     * (yet).
     */
    private String radioGroupIdentifier = null;

    /**
     * Unregisters this state from the manager, which detaches the listeners.
     */
    public override void dispose() {
        setRadioGroupIdentifier(null);
    }

    /**
     * Sets the identifier of the radio group for this piece of state. If the
     * identifier is cleared, then the state is unregistered.
     *
     * @param identifier
     *            The identifier of the radio group for this state; may be
     *            <code>null</code> if the identifier is being cleared.
     *
     */
    public final void setRadioGroupIdentifier(String identifier) {
        if (identifier is null) {
            RadioStateManager.unregisterState(radioGroupIdentifier, this);
            radioGroupIdentifier = null;
        } else {
            radioGroupIdentifier = identifier;
            RadioStateManager.registerState(identifier, this);
        }
    }

    /**
     * Sets the value for this object. This notifies the radio state manager of
     * the change.
     *
     * @param value
     *            The new value; should be a <code>Boolean</code>.
     */
    public override void setValue(Object value) {
        if (!( cast(Boolean)value )) {
            throw new IllegalArgumentException(
                    "RadioState takes a Boolean as a value"); //$NON-NLS-1$
        }

        if (( cast(Boolean)value ).booleanValue() && (radioGroupIdentifier !is null)) {
            RadioStateManager.activateGroup(radioGroupIdentifier, this);
        }

        super.setValue(value);
    }
}