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 java.lang.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 javax.swing.JButton	defaultButton The JButton which restores default values.
private MaxRuleAppSlider	maxRuleAppSlider The MaxRuleAppSlider in which the maximal number of steps is edited.
private java.util.Map<java.lang.String,java.util.List<javax.swing.JRadioButton>>	propertyButtons Maps a property key to the JRadioButtons which defines the values.
private java.util.Map<java.lang.String,javax.swing.ButtonGroup>	propertyGroups Maps a property to the used ButtonGroup.
private javax.swing.JComboBox<java.lang.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(javax.swing.JRadioButton button, java.lang.String key) Registers the given JRadioButton for the given key.
void	addPropertyGroup(java.lang.String property, javax.swing.ButtonGroup group) Adds the property group.
javax.swing.JButton	getDefaultButton() Returns the JButton which restores default values.
MaxRuleAppSlider	getMaxRuleAppSlider() Returns the MaxRuleAppSlider in which the maximal number of steps is edited.
java.util.Map<java.lang.String,java.util.List<javax.swing.JRadioButton>>	getPropertyButtons() Returns the mapping of property keys to the JRadioButtons which defines the values.
java.util.Map<java.lang.String,javax.swing.ButtonGroup>	getPropertyGroups() Returns the Map of properties to ButtonGroups.
javax.swing.JComboBox<java.lang.String>	getStrategyPredefSettingsCmb()
void	setDefaultButton(javax.swing.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(javax.swing.JComboBox<java.lang.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

propertyButtons

private final java.util.Map<java.lang.String,java.util.List<javax.swing.JRadioButton>> propertyButtons

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

propertyGroups

private final java.util.Map<java.lang.String,javax.swing.ButtonGroup> propertyGroups

Maps a property to the used ButtonGroup.

maxRuleAppSlider

private MaxRuleAppSlider maxRuleAppSlider

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

defaultButton

private javax.swing.JButton defaultButton

The JButton which restores default values.

strategyPredefSettingsCmb

private javax.swing.JComboBox<java.lang.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(javax.swing.JRadioButton button,
                              java.lang.String key)

Registers the given JRadioButton for the given key.

Parameters:

button - The JRadioButton.

key - The key.

getPropertyButtons

public java.util.Map<java.lang.String,java.util.List<javax.swing.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 javax.swing.JButton getDefaultButton()

Returns the JButton which restores default values.

Returns:

The JButton which restores default values.

setDefaultButton

public void setDefaultButton(javax.swing.JButton defaultButton)

Sets the JButton which restores default values.

Parameters:

defaultButton - The JButton which restores default values.

getStrategyPredefSettingsCmb

public javax.swing.JComboBox<java.lang.String> getStrategyPredefSettingsCmb()

Returns:

The JComboBox for choosing a predefined value set.

setPredefsChoiceCmb

public void setPredefsChoiceCmb(javax.swing.JComboBox<java.lang.String> strategyPredefSettingsCmb)

Sets the JComboBox for choosing a predefined value set.

Parameters:

strategyPredefSettingsCmb - The JComboBox for choosing a predefined value set.

getPropertyGroups

public java.util.Map<java.lang.String,javax.swing.ButtonGroup> getPropertyGroups()

Returns the Map of properties to ButtonGroups.

Returns:

The Map of properties to ButtonGroups.

addPropertyGroup

public void addPropertyGroup(java.lang.String property,
                             javax.swing.ButtonGroup group)

Adds the property group.

Parameters:

property - The property.

group - The ButtonGroup.