Package | Description |
---|---|
de.uka.ilkd.key.gui.configuration |
This package contains classes to do with the configuration / settings of KeY.
|
Modifier and Type | Method and Description |
---|---|
static ChoiceSelector.ChoiceEntry[] |
ChoiceSelector.createChoiceEntries(java.util.Set<java.lang.String> choices)
Creates
ChoiceSelector.ChoiceEntry s for all given choices. |
static ChoiceSelector.ChoiceEntry |
ChoiceSelector.createChoiceEntry(java.lang.String choice)
Creates a
ChoiceSelector.ChoiceEntry for the given choice. |
static ChoiceSelector.ChoiceEntry |
ChoiceSelector.findChoice(ChoiceSelector.ChoiceEntry[] choices,
java.lang.String choice)
Searches the choice in the given
ChoiceSelector.ChoiceEntry s. |
Modifier and Type | Method and Description |
---|---|
static ChoiceSelector.ChoiceEntry |
ChoiceSelector.findChoice(ChoiceSelector.ChoiceEntry[] choices,
java.lang.String choice)
Searches the choice in the given
ChoiceSelector.ChoiceEntry s. |
Copyright © 2003-2019 The KeY-Project.