Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.colors | |
de.uka.ilkd.key.gui.docking | |
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.nodeviews | |
de.uka.ilkd.key.gui.originlabels | |
de.uka.ilkd.key.gui.proofdiff | |
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.sourceview | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
org.key_project.exploration | |
org.key_project.exploration.actions | |
org.key_project.exploration.ui | |
org.key_project.ui.interactionlog |
Modifier and Type | Method and Description |
---|---|
static MainWindow |
MainWindow.getInstance() |
static MainWindow |
MainWindow.getInstance(boolean ensureIsVisible) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
KeyboardTacletExtension.getPanels(MainWindow window,
KeYMediator mediator) |
void |
InfoView.setMainWindow(MainWindow w) |
Constructor and Description |
---|
InfoTreeModel(Goal goal,
XMLResources xmlResources,
MainWindow mainWindow) |
InfoView(MainWindow window,
KeYMediator mediator) |
StrategySelectionView(MainWindow window,
KeYMediator mediator) |
TacletMatchCompletionDialog(MainWindow parent,
TacletInstantiationModel[] model,
Goal goal,
KeYMediator mediator) |
WindowUserInterfaceControl(MainWindow mainWindow) |
Modifier and Type | Field and Description |
---|---|
protected MainWindow |
MainWindowAction.mainWindow |
Modifier and Type | Method and Description |
---|---|
static void |
QuickLoadAction.quickLoad(MainWindow mainWindow)
Load the file saved at the location described by
QuickSaveAction.quickSave(MainWindow) . |
static void |
QuickSaveAction.quickSave(MainWindow mainWindow)
Immediately saves the currently selected proof to a temporaly location.
|
Modifier and Type | Method and Description |
---|---|
void |
ColorSettingsProvider.applySettings(MainWindow window) |
javax.swing.JComponent |
ColorSettingsProvider.getPanel(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
DockingLayout.getMainMenuActions(MainWindow mainWindow) |
javax.swing.JToolBar |
DockingLayout.getToolbar(MainWindow mainWindow) |
void |
DockingLayout.init(MainWindow window,
KeYMediator mediator) |
static void |
DockingHelper.restoreFactoryDefault(MainWindow mainWindow)
Sets the current layout of the docking framework back to factory default.
|
Modifier and Type | Method and Description |
---|---|
void |
ExtensionManager.applySettings(MainWindow window) |
javax.swing.JComponent |
ExtensionManager.getPanel(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
KeYGuiExtension.MainMenu.getMainMenuActions(MainWindow mainWindow)
A list of actions which should be added to the main menu.
|
java.util.Collection<TabPanel> |
KeYGuiExtension.LeftPanel.getPanels(MainWindow window,
KeYMediator mediator)
Initialization and return of the sub components.
|
java.util.List<java.lang.String> |
KeYGuiExtension.TermInfo.getTermInfoStrings(MainWindow mainWindow,
PosInSequent pos) |
default javax.swing.JToolBar |
KeYToolbarExtensionAdapter.getToolbar(MainWindow mainWindow) |
javax.swing.JToolBar |
KeYGuiExtension.Toolbar.getToolbar(MainWindow mainWindow)
A toolbar which will be embedded into the main window.s
|
default java.util.List<javax.swing.Action> |
KeYToolbarExtensionAdapter.getToolbarActions(MainWindow mainWindow) |
java.util.List<java.lang.String> |
KeYGuiExtension.Tooltip.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
void |
KeYGuiExtension.Startup.init(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
static void |
KeYGuiExtensionFacade.addExtensionsToMainMenu(MainWindow mainWindow,
javax.swing.JMenuBar menuBar)
Adds all registered and activated
KeYGuiExtension.MainMenu to the given menuBar. |
static java.util.List<javax.swing.JToolBar> |
KeYGuiExtensionFacade.createToolbars(MainWindow mainWindow)
Creates all toolbars for the known extension.
|
static java.util.stream.Stream<TabPanel> |
KeYGuiExtensionFacade.getAllPanels(MainWindow window) |
static java.util.stream.Stream<javax.swing.Action> |
KeYGuiExtensionFacade.getMainMenuActions(MainWindow mainWindow) |
java.util.List<javax.swing.Action> |
HeatmapExt.getMainMenuActions(MainWindow mainWindow) |
java.util.List<javax.swing.Action> |
TestExtension.getMainMenuActions(MainWindow mainWindow) |
java.util.Collection<TabPanel> |
TestExtension.getPanels(MainWindow window,
KeYMediator mediator) |
static java.util.stream.Stream<java.lang.String> |
KeYGuiExtensionFacade.getTermInfoStrings(MainWindow mainWindow,
PosInSequent mousePos) |
javax.swing.JToolBar |
HeatmapExt.getToolbar(MainWindow mainWindow) |
javax.swing.JToolBar |
TestExtension.getToolbar(MainWindow mainWindow) |
static java.util.List<java.lang.String> |
KeYGuiExtensionFacade.getTooltipStrings(MainWindow window,
PosInSequent pos) |
Modifier and Type | Method and Description |
---|---|
void |
ShortcutSettings.applySettings(MainWindow window) |
javax.swing.JComponent |
ShortcutSettings.getPanel(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
MainWindow |
SequentView.getMainWindow() |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
ShowHashcodesExtension.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
Constructor and Description |
---|
CurrentGoalView(MainWindow mainWindow)
creates a viewer for a sequent
|
EmptySequent(MainWindow mainWindow) |
InnerNodeView(Node node,
MainWindow mainWindow) |
MainFrame(MainWindow mainWindow,
EmptySequent emptySequent) |
OpenCurrentNodeAction(MainWindow mainWindow,
Node node) |
SequentView(MainWindow mainWindow) |
SequentViewDock(MainWindow mainWindow,
Node node) |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
OriginTermLabelsExt.getMainMenuActions(MainWindow mainWindow) |
java.util.List<java.lang.String> |
OriginTermLabelsExt.getTermInfoStrings(MainWindow mainWindow,
PosInSequent pos) |
java.util.List<java.lang.String> |
OriginTermLabelsExt.getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
Constructor and Description |
---|
ToggleOriginHighlightAction(MainWindow mainWindow)
Create a new action.
|
ToggleTermOriginTrackingAction(MainWindow mainWindow)
Create a new action.
|
Constructor and Description |
---|
Action(MainWindow mainWindow) |
OpenDifferenceWithParent(MainWindow mainWindow,
Node node) |
ProofDiffFrame(MainWindow mainWindow)
Instantiates a new proof-diff frame.
|
Modifier and Type | Method and Description |
---|---|
void |
StandardUISettings.applySettings(MainWindow window) |
void |
DefaultSettingsProvider.applySettings(MainWindow window) |
void |
SettingsProvider.applySettings(MainWindow window)
The method is called if the settings should be applied to the
MainWindow . |
void |
TacletOptionsSettings.applySettings(MainWindow window) |
javax.swing.Action |
SettingsManager.getActionShowSettings(MainWindow window) |
static ChoiceSettings |
SettingsManager.getChoiceSettings(MainWindow window) |
static NewSMTTranslationSettings |
SettingsManager.getNewSmtSettings(MainWindow window) |
javax.swing.JComponent |
StandardUISettings.getPanel(MainWindow window) |
javax.swing.JComponent |
DefaultSettingsProvider.getPanel(MainWindow window) |
javax.swing.JComponent |
SettingsProvider.getPanel(MainWindow window)
Provides the visual component for the right side.
|
javax.swing.JComponent |
TacletOptionsSettings.getPanel(MainWindow window) |
static ProofDependentSMTSettings |
SettingsManager.getSmtPdSettings(MainWindow window) |
void |
SettingsManager.showSettingsDialog(MainWindow mainWindow) |
void |
SettingsManager.showSettingsDialog(MainWindow mainWindow,
SettingsProvider selectedPanel) |
Constructor and Description |
---|
SettingsDialog(MainWindow owner) |
SettingsUi(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
TacletTranslationOptions.applySettings(MainWindow window) |
void |
SMTSettingsProvider.applySettings(MainWindow window) |
javax.swing.JComponent |
TacletTranslationOptions.getPanel(MainWindow window) |
javax.swing.JComponent |
SMTSettingsProvider.getPanel(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
static SourceView |
SourceView.getSourceView(MainWindow mainWindow)
Returns the singleton instance of the SourceView.
|
Constructor and Description |
---|
SourceViewFrame(MainWindow mainWindow)
Creates a new
SourceViewFrame |
Modifier and Type | Method and Description |
---|---|
void |
TestgenOptionsPanel.applySettings(MainWindow window) |
java.util.List<javax.swing.Action> |
TestgenExtension.getMainMenuActions(MainWindow mainWindow) |
javax.swing.JComponent |
TestgenOptionsPanel.getPanel(MainWindow window) |
javax.swing.JToolBar |
TestgenExtension.getToolbar(MainWindow mainWindow) |
void |
TestgenExtension.init(MainWindow window,
KeYMediator mediator) |
Constructor and Description |
---|
CounterExampleAction(MainWindow mainWindow) |
TestGenerationAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
ExplorationExtension.getMainMenuActions(MainWindow mainWindow) |
java.util.Collection<TabPanel> |
ExplorationExtension.getPanels(MainWindow window,
KeYMediator mediator) |
javax.swing.JToolBar |
ExplorationExtension.getToolbar(MainWindow mainWindow) |
void |
ExplorationExtension.init(MainWindow window,
KeYMediator mediator) |
Constructor and Description |
---|
AddFormulaToAntecedentAction(MainWindow mainWindow) |
AddFormulaToSuccedentAction(MainWindow mainWindow) |
DeleteFormulaAction(PosInSequent pis,
MainWindow mainWindow) |
EditFormulaAction(PosInSequent pis,
MainWindow mainWindow) |
ExplorationAction(MainWindow mw) |
ShowInteractiveBranchesAction(ExplorationModeModel model,
MainWindow mainWindow) |
ToggleExplorationAction(ExplorationModeModel model,
MainWindow mainWindow) |
Constructor and Description |
---|
ExplorationStepsList(MainWindow window) |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
InteractionLogExt.getMainMenuActions(MainWindow mainWindow) |
java.util.Collection<TabPanel> |
InteractionLogExt.getPanels(MainWindow window,
KeYMediator mediator) |
void |
InteractionLogView.setMainWindow(MainWindow window) |
Constructor and Description |
---|
InteractionLogView(MainWindow window,
KeYMediator mediator) |
Copyright © 2003-2019 The KeY-Project.