de.uka.ilkd.key.gui.ext

Class KeYGuiExtensionFacade

java.lang.Object

de.uka.ilkd.key.gui.ext.KeYGuiExtensionFacade

public final class KeYGuiExtensionFacade
extends java.lang.Object

Facade for retrieving the GUI extensions.

Version:

1 (07.02.19)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.Map<java.lang.Class<?>,java.util.List<java.lang.Object>>	extensionCache Retrieves extensions via ServiceLoader.

Constructor Summary

Constructors

Constructor and Description
KeYGuiExtensionFacade()

Method Summary

Modifier and Type	Method and Description
static javax.swing.JMenu	createExtensionMenu(MainWindow mainWindow) Creates the extension menu of all known KeYMainMenuExtension.
static javax.swing.JMenu	createTermMenu(MainWindow window)
static java.util.List<javax.swing.JToolBar>	createToolbars(MainWindow mainWindow) Creates all toolbars for the known extension.
private static javax.swing.JMenu	findMenu(javax.swing.JMenu menu, java.util.Iterator<java.lang.String> mpath)
static java.util.List<KeYPaneExtension>	getAllPanels()
private static <T> java.util.List<T>	getExtension(java.lang.Class<T> c)
private static <T> java.util.List<T>	getExtension(java.lang.Class<T> c, java.util.Comparator<? super T> comp) Retrieves extensions via ServiceLoader, includes a sorting via comp.
static java.util.List<KeYMainMenuExtension>	getMainMenuExtensions() Retrieves all known implementation of the KeYMainMenuExtension
static <T extends KeYPaneExtension> java.util.Optional<T>	getPanel(java.lang.Class<T> clazz) Try to find a specific implementation of a KeYPaneExtension
static java.util.List<javax.swing.Action>	getTermMenuActions(MainWindow window)
static java.util.List<KeYTermMenuExtension>	getTermMenuExtensions() Retrieves all known implementation of the KeYMainMenuExtension
static java.util.List<KeYToolbarExtension>	getToolbarExtensions() Retrieves all known implementation of the KeYToolbarExtension
private static void	sortActionIntoMenu(javax.swing.Action act, javax.swing.JMenu menu)
private static void	sortActionsIntoMenu(java.util.List<javax.swing.Action> actions, javax.swing.JMenu menu)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

extensionCache

private static java.util.Map<java.lang.Class<?>,java.util.List<java.lang.Object>> extensionCache

Retrieves extensions via ServiceLoader.

Constructor Detail

KeYGuiExtensionFacade

public KeYGuiExtensionFacade()

Method Detail

getAllPanels

public static java.util.List<KeYPaneExtension> getAllPanels()

getPanel

public static <T extends KeYPaneExtension> java.util.Optional<T> getPanel(java.lang.Class<T> clazz)

Try to find a specific implementation of a KeYPaneExtension

Type Parameters:

T -

Parameters:

clazz -

Returns:

getMainMenuExtensions

public static java.util.List<KeYMainMenuExtension> getMainMenuExtensions()

Retrieves all known implementation of the KeYMainMenuExtension

Returns:

a list

createExtensionMenu

public static javax.swing.JMenu createExtensionMenu(MainWindow mainWindow)

Creates the extension menu of all known KeYMainMenuExtension.

Returns:

a menu

sortActionsIntoMenu

private static void sortActionsIntoMenu(java.util.List<javax.swing.Action> actions,
                                        javax.swing.JMenu menu)

sortActionIntoMenu

private static void sortActionIntoMenu(javax.swing.Action act,
                                       javax.swing.JMenu menu)

findMenu

private static javax.swing.JMenu findMenu(javax.swing.JMenu menu,
                                          java.util.Iterator<java.lang.String> mpath)

getToolbarExtensions

public static java.util.List<KeYToolbarExtension> getToolbarExtensions()

Retrieves all known implementation of the KeYToolbarExtension

Returns:

a list

createToolbars

public static java.util.List<javax.swing.JToolBar> createToolbars(MainWindow mainWindow)

Creates all toolbars for the known extension.

Parameters:

mainWindow - non-null

Returns:

getTermMenuExtensions

public static java.util.List<KeYTermMenuExtension> getTermMenuExtensions()

Retrieves all known implementation of the KeYMainMenuExtension

Returns:

a list

getTermMenuActions

public static java.util.List<javax.swing.Action> getTermMenuActions(MainWindow window)

createTermMenu

public static javax.swing.JMenu createTermMenu(MainWindow window)

getExtension

private static <T> java.util.List<T> getExtension(java.lang.Class<T> c)

getExtension

private static <T> java.util.List<T> getExtension(java.lang.Class<T> c,
                                                  java.util.Comparator<? super T> comp)

Retrieves extensions via ServiceLoader, includes a sorting via comp.

Type Parameters:

T - the interface of the service

Parameters:

c - the interface class

comp - a comporator for sorting

Returns:

a list of all found service implementations