Mercurial > projects > dwt2
view org.eclipse.jface/src/org/eclipse/jface/commands/RadioState.d @ 12:bc29606a740c
Added dwt-addons in original directory structure of eclipse.org
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sat, 14 Mar 2009 18:23:29 +0100 |
parents | |
children |
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 org.eclipse.jface.commands.RadioState; import org.eclipse.core.commands.IStateListener; import org.eclipse.core.commands.State; import org.eclipse.jface.menus.IMenuStateIds; import org.eclipse.jface.commands.ToggleState; import java.lang.all; import java.util.Collection; import java.util.Map; import java.util.HashMap; import java.util.Set; import java.util.HashSet; /** * <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 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(); } 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 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(); } 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); } }