public class TestExtension extends java.lang.Object implements KeYGuiExtension, KeYGuiExtension.MainMenu, KeYGuiExtension.LeftPanel, KeYGuiExtension.StatusLine, KeYGuiExtension.ContextMenu, KeYGuiExtension.Toolbar, KeYGuiExtension.KeyboardShortcuts, KeYGuiExtension.Settings
KeYGuiExtension.ContextMenu, KeYGuiExtension.Info, KeYGuiExtension.KeyboardShortcuts, KeYGuiExtension.LeftPanel, KeYGuiExtension.MainMenu, KeYGuiExtension.Settings, KeYGuiExtension.Startup, KeYGuiExtension.StatusLine, KeYGuiExtension.TermInfo, KeYGuiExtension.Toolbar, KeYGuiExtension.Tooltip
GOAL_LIST, INFO_VIEW, MAIN_WINDOW, PROOF_TREE_VIEW, SEQUENT_VIEW, SOURCE_VIEW, STRATEGY_SELECTION_VIEW
Constructor and Description |
---|
TestExtension() |
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject)
A list of actions which should be added to the main menu.
|
java.util.List<javax.swing.Action> |
getMainMenuActions(MainWindow mainWindow)
A list of actions which should be added to the main menu.
|
java.util.Collection<TabPanel> |
getPanels(MainWindow window,
KeYMediator mediator)
Initialization and return of the sub components.
|
SettingsProvider |
getSettings() |
java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
java.util.List<javax.swing.JComponent> |
getStatusLineComponents() |
javax.swing.JToolBar |
getToolbar(MainWindow mainWindow)
A toolbar which will be embedded into the main window.s
|
public java.util.List<javax.swing.Action> getMainMenuActions(MainWindow mainWindow)
KeYGuiExtension.MainMenu
Actions should use the KeyAction.PATH
and KeyAction.PRIORITY
to control their position in the menu.
getMainMenuActions
in interface KeYGuiExtension.MainMenu
mainWindow
- the window of the main menuKeyAction
public java.util.List<javax.swing.Action> getContextActions(KeYMediator mediator, ContextMenuKind kind, java.lang.Object underlyingObject)
KeYGuiExtension.ContextMenu
Actions should use the KeyAction.PATH
and KeyAction.PRIORITY
to control their
position in the menu.
getContextActions
in interface KeYGuiExtension.ContextMenu
mediator
- the window of the main menukind
- the type of context menuunderlyingObject
- the object for which the context menu is requestedKeyAction
public javax.swing.JToolBar getToolbar(MainWindow mainWindow)
KeYGuiExtension.Toolbar
getToolbar
in interface KeYGuiExtension.Toolbar
mainWindow
- the parent of the toolbarpublic java.util.List<javax.swing.JComponent> getStatusLineComponents()
getStatusLineComponents
in interface KeYGuiExtension.StatusLine
public SettingsProvider getSettings()
getSettings
in interface KeYGuiExtension.Settings
public java.util.Collection<TabPanel> getPanels(MainWindow window, KeYMediator mediator)
KeYGuiExtension.LeftPanel
Called before any other method; can be used to construct the UI.
getPanels
in interface KeYGuiExtension.LeftPanel
window
- parent of this extensionmediator
- the current mediatorpublic java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, java.lang.String componentId, javax.swing.JComponent component)
getShortcuts
in interface KeYGuiExtension.KeyboardShortcuts
Copyright © 2003-2019 The KeY-Project.