Package | Description |
---|---|
de.uka.ilkd.key.gui.colors | |
de.uka.ilkd.key.gui.extension | |
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.keyshortcuts | |
de.uka.ilkd.key.gui.settings |
This package provides a facility for a settings UI.
|
de.uka.ilkd.key.gui.smt.settings | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
Modifier and Type | Class and Description |
---|---|
class |
ColorSettingsProvider |
Modifier and Type | Class and Description |
---|---|
class |
ExtensionManager |
Modifier and Type | Method and Description |
---|---|
SettingsProvider |
KeYGuiExtension.Settings.getSettings() |
Modifier and Type | Method and Description |
---|---|
SettingsProvider |
HeatmapExt.getSettings() |
SettingsProvider |
TestExtension.getSettings() |
Modifier and Type | Class and Description |
---|---|
class |
ShortcutSettings
UI for configuring the
KeyStroke s inside KeY. |
Modifier and Type | Class and Description |
---|---|
class |
DefaultSettingsProvider |
class |
StandardUISettings |
class |
TacletOptionsSettings |
Modifier and Type | Field and Description |
---|---|
static SettingsProvider |
SettingsManager.SMT_SETTINGS |
Modifier and Type | Method and Description |
---|---|
SettingsProvider |
InvalidSettingsInputException.getPanel() |
Modifier and Type | Method and Description |
---|---|
java.util.List<SettingsProvider> |
StandardUISettings.getChildren() |
java.util.List<SettingsProvider> |
DefaultSettingsProvider.getChildren() |
default java.util.List<SettingsProvider> |
SettingsProvider.getChildren()
Tree children of your settings dialog.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SettingsManager.add(SettingsProvider settingsProvider) |
boolean |
SettingsManager.remove(SettingsProvider o) |
void |
SettingsUi.selectPanel(SettingsProvider provider) |
void |
SettingsManager.showSettingsDialog(MainWindow mainWindow,
SettingsProvider selectedPanel) |
Modifier and Type | Method and Description |
---|---|
void |
DefaultSettingsProvider.setChildren(java.util.List<SettingsProvider> children) |
void |
SettingsDialog.setSettingsProvider(java.util.List<SettingsProvider> providers) |
void |
SettingsUi.setSettingsProvider(java.util.List<SettingsProvider> providers) |
Constructor and Description |
---|
InvalidSettingsInputException(SettingsProvider panel,
javax.swing.JComponent focusable) |
InvalidSettingsInputException(java.lang.String message,
SettingsProvider panel,
javax.swing.JComponent focusable) |
InvalidSettingsInputException(java.lang.String message,
java.lang.Throwable cause,
boolean enableSuppression,
boolean writableStackTrace,
SettingsProvider panel,
javax.swing.JComponent focusable) |
InvalidSettingsInputException(java.lang.String message,
java.lang.Throwable cause,
SettingsProvider panel,
javax.swing.JComponent focusable) |
InvalidSettingsInputException(java.lang.Throwable cause,
SettingsProvider panel,
javax.swing.JComponent focusable) |
Modifier and Type | Class and Description |
---|---|
class |
SMTSettingsProvider |
class |
TacletTranslationOptions |
Modifier and Type | Method and Description |
---|---|
java.util.List<SettingsProvider> |
SMTSettingsProvider.getChildren() |
Modifier and Type | Class and Description |
---|---|
class |
TestgenOptionsPanel |
Modifier and Type | Method and Description |
---|---|
SettingsProvider |
TestgenExtension.getSettings() |
Copyright © 2003-2019 The KeY-Project.