Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.docking | |
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.prooftree | |
org.key_project.exploration | |
org.key_project.exploration.ui | |
org.key_project.ui.interactionlog |
Modifier and Type | Class and Description |
---|---|
class |
GoalList |
class |
InfoView
Class for info contents displayed in
MainWindow . |
class |
StrategySelectionView
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
KeyboardTacletExtension.getPanels(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
protected void |
MainWindowTabbedPane.addPanel(TabPanel p)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static bibliothek.gui.dock.common.SingleCDockable |
DockingHelper.createSingleDock(TabPanel p) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
KeYGuiExtension.LeftPanel.getPanels(MainWindow window,
KeYMediator mediator)
Initialization and return of the sub components.
|
Modifier and Type | Method and Description |
---|---|
static java.util.stream.Stream<TabPanel> |
KeYGuiExtensionFacade.getAllPanels(MainWindow window) |
java.util.Collection<TabPanel> |
TestExtension.getPanels(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Class and Description |
---|---|
class |
ProofTreeView |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
ExplorationExtension.getPanels(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Class and Description |
---|---|
class |
ExplorationStepsList
A view that summaries the exploration steps inside a proof.
|
Modifier and Type | Class and Description |
---|---|
class |
InteractionLogView |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
InteractionLogExt.getPanels(MainWindow window,
KeYMediator mediator) |
Copyright © 2003-2019 The KeY-Project.