public final class KeYGuiExtensionFacade
extends java.lang.Object
Constructor and Description |
---|
KeYGuiExtensionFacade() |
Modifier and Type | Method and Description |
---|---|
static void |
addContextMenuItems(ContextMenuKind kind,
javax.swing.JPopupMenu menu,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static void |
addExtensionsToMainMenu(MainWindow mainWindow,
javax.swing.JMenuBar menuBar)
Adds all registered and activated
KeYGuiExtension.MainMenu to the given menuBar. |
void |
allowClass(java.lang.String clazz)
removes a class from the forbidden list.
|
static javax.swing.JPopupMenu |
createContextMenu(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static javax.swing.JMenu |
createTermMenu(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static java.util.List<javax.swing.JToolBar> |
createToolbars(MainWindow mainWindow)
Creates all toolbars for the known extension.
|
void |
forbidClass(java.lang.String clazz)
Disables the clazz from further loading.
|
static java.util.stream.Stream<TabPanel> |
getAllPanels(MainWindow window) |
static java.util.List<KeYGuiExtension.ContextMenu> |
getContextMenuExtensions()
Retrieves all known implementation of the
KeYGuiExtension.MainMenu |
static java.util.List<javax.swing.Action> |
getContextMenuItems(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static java.util.List<Extension> |
getExtensions() |
static java.util.stream.Stream<javax.swing.Action> |
getKeyboardShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
static java.util.List<KeYGuiExtension.KeyboardShortcuts> |
getKeyboardShortcutsExtensions() |
static java.util.List<KeYGuiExtension.LeftPanel> |
getLeftPanel() |
static java.util.stream.Stream<javax.swing.Action> |
getMainMenuActions(MainWindow mainWindow) |
static java.util.List<KeYGuiExtension.MainMenu> |
getMainMenuExtensions()
Retrieves all known implementation of the
KeYGuiExtension.MainMenu |
static java.util.Collection<KeYGuiExtension.Settings> |
getSettingsProvider() |
static java.util.List<KeYGuiExtension.Startup> |
getStartupExtensions() |
static java.util.List<javax.swing.JComponent> |
getStatusLineComponents() |
static java.util.List<KeYGuiExtension.StatusLine> |
getStatusLineExtensions() |
static java.util.stream.Stream<java.lang.String> |
getTermInfoStrings(MainWindow mainWindow,
PosInSequent mousePos) |
static java.util.List<KeYGuiExtension.Toolbar> |
getToolbarExtensions()
Retrieves all known implementation of the
KeYGuiExtension.Toolbar |
static java.util.List<KeYGuiExtension.Tooltip> |
getTooltipExtensions()
Retrieves all known implementations of the
KeYStatusBarExtension . |
static java.util.List<java.lang.String> |
getTooltipStrings(MainWindow window,
PosInSequent pos) |
static void |
installKeyboardShortcuts(KeYMediator mediator,
javax.swing.JComponent component,
java.lang.String componentId) |
public static java.util.stream.Stream<TabPanel> getAllPanels(MainWindow window)
public static java.util.List<KeYGuiExtension.LeftPanel> getLeftPanel()
public static java.util.List<KeYGuiExtension.MainMenu> getMainMenuExtensions()
KeYGuiExtension.MainMenu
public static java.util.stream.Stream<javax.swing.Action> getMainMenuActions(MainWindow mainWindow)
public static void addExtensionsToMainMenu(MainWindow mainWindow, javax.swing.JMenuBar menuBar)
KeYGuiExtension.MainMenu
to the given menuBar.public static java.util.List<KeYGuiExtension.Toolbar> getToolbarExtensions()
KeYGuiExtension.Toolbar
public static java.util.List<javax.swing.JToolBar> createToolbars(MainWindow mainWindow)
mainWindow
- non-nullpublic static java.util.List<KeYGuiExtension.ContextMenu> getContextMenuExtensions()
KeYGuiExtension.MainMenu
public static javax.swing.JPopupMenu createContextMenu(ContextMenuKind kind, java.lang.Object underlyingObject, KeYMediator mediator)
public static void addContextMenuItems(ContextMenuKind kind, javax.swing.JPopupMenu menu, java.lang.Object underlyingObject, KeYMediator mediator)
public static java.util.List<javax.swing.Action> getContextMenuItems(ContextMenuKind kind, java.lang.Object underlyingObject, KeYMediator mediator)
public static javax.swing.JMenu createTermMenu(ContextMenuKind kind, java.lang.Object underlyingObject, KeYMediator mediator)
public static java.util.List<Extension> getExtensions()
public static java.util.List<javax.swing.JComponent> getStatusLineComponents()
public static java.util.List<KeYGuiExtension.StatusLine> getStatusLineExtensions()
public static java.util.Collection<KeYGuiExtension.Settings> getSettingsProvider()
public static java.util.List<KeYGuiExtension.Startup> getStartupExtensions()
public static java.util.List<KeYGuiExtension.KeyboardShortcuts> getKeyboardShortcutsExtensions()
public static java.util.stream.Stream<javax.swing.Action> getKeyboardShortcuts(KeYMediator mediator, java.lang.String componentId, javax.swing.JComponent component)
public static void installKeyboardShortcuts(KeYMediator mediator, javax.swing.JComponent component, java.lang.String componentId)
mediator
- component
- componentId
- public static java.util.List<KeYGuiExtension.Tooltip> getTooltipExtensions()
KeYStatusBarExtension
.KeYStatusBarExtension
.public static java.util.List<java.lang.String> getTooltipStrings(MainWindow window, PosInSequent pos)
window
- the main window.pos
- the position the user selected.public static java.util.stream.Stream<java.lang.String> getTermInfoStrings(MainWindow mainWindow, PosInSequent mousePos)
public void forbidClass(java.lang.String clazz)
If this extension is already loaded, it will be removed from the list of extensions. This does not include a removal from the GUI in all cases.
clazz
- a fqdn of a classpublic void allowClass(java.lang.String clazz)
Without a plugin lifecycle this is very useless.
clazz
- Copyright © 2003-2019 The KeY-Project.