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.nodeviews | |
de.uka.ilkd.key.gui.originlabels | |
de.uka.ilkd.key.gui.prooftree | |
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.ui | |
org.key_project.ui.interactionlog |
Class and Description |
---|
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.Info |
KeYGuiExtension.LeftPanel
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
TabPanel |
Class and Description |
---|
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.Info |
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.Startup
Simplest extension point.
|
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
TabPanel |
Class and Description |
---|
ContextMenuKind |
DefaultContextMenuKind |
KeYGuiExtension.ContextMenu
This interface describes the UI extension for adding various context menus.
|
KeYGuiExtension.KeyboardShortcuts
Extension Point for defining keyboard shortcuts for various components.
|
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
TabPanel |
Class and Description |
---|
ContextMenuKind |
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.ContextMenu
This interface describes the UI extension for adding various context menus.
|
KeYGuiExtension.Info |
KeYGuiExtension.KeyboardShortcuts
Extension Point for defining keyboard shortcuts for various components.
|
KeYGuiExtension.LeftPanel
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.Settings
This interface describes the UI extension to add a
SettingsProvider
into the default settings dialog. |
KeYGuiExtension.Startup
Simplest extension point.
|
KeYGuiExtension.StatusLine
This interface describes the UI extension to add a components
into the status line (right side) of the main window.
|
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
KeYGuiExtension.Tooltip
Extension interface for the tooltips in the sequent view.
|
TabPanel |
Class and Description |
---|
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.Info |
KeYGuiExtension.Tooltip
Extension interface for the tooltips in the sequent view.
|
Class and Description |
---|
ContextMenuKind |
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.ContextMenu
This interface describes the UI extension for adding various context menus.
|
KeYGuiExtension.Info |
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.TermInfo
Extension interface for the term info string in the status line.
|
KeYGuiExtension.Tooltip
Extension interface for the tooltips in the sequent view.
|
Class and Description |
---|
TabPanel |
Class and Description |
---|
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.Info |
KeYGuiExtension.KeyboardShortcuts
Extension Point for defining keyboard shortcuts for various components.
|
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.Settings
This interface describes the UI extension to add a
SettingsProvider
into the default settings dialog. |
KeYGuiExtension.Startup
Simplest extension point.
|
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
Class and Description |
---|
ContextMenuKind |
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.ContextMenu
This interface describes the UI extension for adding various context menus.
|
KeYGuiExtension.Info |
KeYGuiExtension.LeftPanel
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
KeYGuiExtension.Startup
Simplest extension point.
|
KeYGuiExtension.StatusLine
This interface describes the UI extension to add a components
into the status line (right side) of the main window.
|
KeYGuiExtension.Toolbar
This interface describes the UI extension to add a
KeYGuiExtension.Toolbar into the main window. |
TabPanel |
Class and Description |
---|
TabPanel |
Class and Description |
---|
KeYGuiExtension
A marker interface for extension of the KeY GUI.
|
KeYGuiExtension.Info |
KeYGuiExtension.LeftPanel
This interface describes the UI extension point
on the left bottom corner (JTabbedPane).
|
KeYGuiExtension.MainMenu
Main Menu extension provides entry to the extension
JMenu in the main frame. |
TabPanel |
Copyright © 2003-2019 The KeY-Project.