Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.strategy.definition |
Modifier and Type | Method and Description |
---|---|
protected int |
StrategySelectionView.createStrategyProperty(de.uka.ilkd.key.gui.StrategySelectionView.StrategySelectionComponents data,
StrategyFactory factory,
javax.swing.JPanel javaDLOptionsPanel,
java.awt.GridBagLayout javaDLOptionsLayout,
int yCoord,
boolean topLevel,
AbstractStrategyPropertyDefinition definition) |
Modifier and Type | Class and Description |
---|---|
class |
OneOfStrategyPropertyDefinition
Defines that a user interface control which edits a single key-value-pair
of the
StrategyProperties allows the user to select predefined values. |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<AbstractStrategyPropertyDefinition> |
StrategySettingsDefinition.getProperties()
Returns the definition of controls to edit
StrategyProperties . |
ImmutableArray<AbstractStrategyPropertyDefinition> |
AbstractStrategyPropertyDefinition.getSubProperties()
Returns children which edits related properties to this.
|
Constructor and Description |
---|
AbstractStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
java.lang.String tooltip,
AbstractStrategyPropertyDefinition... subProperties)
Constructor.
|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
AbstractStrategyPropertyDefinition[] subProperties,
StrategyPropertyValueDefinition... values)
Constructor.
|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
java.lang.String tooltip,
int columnsPerRow,
AbstractStrategyPropertyDefinition[] subProperties,
StrategyPropertyValueDefinition... values)
Constructor.
|
StrategySettingsDefinition(boolean showMaxRuleApplications,
java.lang.String maxRuleApplicationsLabel,
int defaultMaxRuleApplications,
java.lang.String propertiesTitle,
IDefaultStrategyPropertiesFactory defaultPropertiesFactory,
java.util.ArrayList<Triple<java.lang.String,java.lang.Integer,IDefaultStrategyPropertiesFactory>> furtherDefaults,
AbstractStrategyPropertyDefinition... properties)
Constructor.
|
StrategySettingsDefinition(java.lang.String propertiesTitle,
AbstractStrategyPropertyDefinition... properties)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.