de.uka.ilkd.key.gui

Class StrategySelectionView.StrategySelectionComponents

java.lang.Object

de.uka.ilkd.key.gui.StrategySelectionView.StrategySelectionComponents

Enclosing class:

StrategySelectionView

private static class StrategySelectionView.StrategySelectionComponents
extends Object

Provided via StrategySelectionView#getStrategySelectionComponents() for direct access to created user interface components.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private JButton	defaultButton The JButton which restores default values.
private MaxRuleAppSlider	maxRuleAppSlider The MaxRuleAppSlider in which the maximal number of steps is edited.
private Map<String,List<JRadioButton>>	propertyButtons Maps a property key to the JRadioButtons which defines the values.
private Map<String,ButtonGroup>	propertyGroups Maps a property to the used ButtonGroup.
private JComboBox<String>	strategyPredefSettingsCmb The JComboBox for choosing a predefined value set.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	StrategySelectionComponents()

Method Summary

Modifier and Type	Method and Description
void	addPropertyButton(JRadioButton button, String key) Registers the given JRadioButton for the given key.
void	addPropertyGroup(String property, ButtonGroup group) Adds the property group.
JButton	getDefaultButton() Returns the JButton which restores default values.
MaxRuleAppSlider	getMaxRuleAppSlider() Returns the MaxRuleAppSlider in which the maximal number of steps is edited.
Map<String,List<JRadioButton>>	getPropertyButtons() Returns the mapping of property keys to the JRadioButtons which defines the values.
Map<String,ButtonGroup>	getPropertyGroups() Returns the Map of properties to ButtonGroups.
JComboBox<String>	getStrategyPredefSettingsCmb()
void	setDefaultButton(JButton defaultButton) Sets the JButton which restores default values.
void	setMaxRuleAppSlider(MaxRuleAppSlider maxRuleAppSlider) Sets the MaxRuleAppSlider in which the maximal number of steps is edited.
void	setPredefsChoiceCmb(JComboBox<String> strategyPredefSettingsCmb) Sets the JComboBox for choosing a predefined value set.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

maxRuleAppSlider

private MaxRuleAppSlider maxRuleAppSlider

The MaxRuleAppSlider in which the maximal number of steps is edited.

propertyButtons

private final Map<String,List<JRadioButton>> propertyButtons

Maps a property key to the JRadioButtons which defines the values.

propertyGroups

private final Map<String,ButtonGroup> propertyGroups

Maps a property to the used ButtonGroup.

defaultButton

private JButton defaultButton

The JButton which restores default values.

strategyPredefSettingsCmb

private JComboBox<String> strategyPredefSettingsCmb

The JComboBox for choosing a predefined value set.

Constructor Detail

StrategySelectionComponents

private StrategySelectionComponents()

Method Detail

getMaxRuleAppSlider

public MaxRuleAppSlider getMaxRuleAppSlider()

Returns the MaxRuleAppSlider in which the maximal number of steps is edited.

Returns:

The MaxRuleAppSlider in which the maximal number of steps is edited.

setMaxRuleAppSlider

public void setMaxRuleAppSlider(MaxRuleAppSlider maxRuleAppSlider)

Sets the MaxRuleAppSlider in which the maximal number of steps is edited.

Parameters:

maxRuleAppSlider - The MaxRuleAppSlider in which the maximal number of steps is edited.

addPropertyButton

public void addPropertyButton(JRadioButton button,
                              String key)

Registers the given JRadioButton for the given key.

Parameters:

button - The JRadioButton.

key - The key.

getPropertyButtons

public Map<String,List<JRadioButton>> getPropertyButtons()

Returns the mapping of property keys to the JRadioButtons which defines the values.

Returns:

The mapping of property keys to the JRadioButtons which defines the values.

getDefaultButton

public JButton getDefaultButton()

Returns the JButton which restores default values.

Returns:

The JButton which restores default values.

getStrategyPredefSettingsCmb

public JComboBox<String> getStrategyPredefSettingsCmb()

Returns:

The JComboBox for choosing a predefined value set.

setDefaultButton

public void setDefaultButton(JButton defaultButton)

Sets the JButton which restores default values.

Parameters:

defaultButton - The JButton which restores default values.

setPredefsChoiceCmb

public void setPredefsChoiceCmb(JComboBox<String> strategyPredefSettingsCmb)

Sets the JComboBox for choosing a predefined value set.

Parameters:

strategyPredefSettingsCmb - The JComboBox for choosing a predefined value set.

getPropertyGroups

public Map<String,ButtonGroup> getPropertyGroups()

Returns the Map of properties to ButtonGroups.

Returns:

The Map of properties to ButtonGroups.

addPropertyGroup

public void addPropertyGroup(String property,
                             ButtonGroup group)

Adds the property group.

Parameters:

property - The property.

group - The ButtonGroup.