public final class KeYGuiExtensionFacade
extends java.lang.Object
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 and Description |
---|
KeYGuiExtensionFacade() |
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> |
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) |
private static java.util.Map<java.lang.Class<?>,java.util.List<java.lang.Object>> extensionCache
ServiceLoader
.public static java.util.List<KeYPaneExtension> getAllPanels()
public static <T extends KeYPaneExtension> java.util.Optional<T> getPanel(java.lang.Class<T> clazz)
KeYPaneExtension
T
- clazz
- public static java.util.List<KeYMainMenuExtension> getMainMenuExtensions()
KeYMainMenuExtension
public static javax.swing.JMenu createExtensionMenu(MainWindow mainWindow)
KeYMainMenuExtension
.private static void sortActionsIntoMenu(java.util.List<javax.swing.Action> actions, javax.swing.JMenu menu)
private static void sortActionIntoMenu(javax.swing.Action act, javax.swing.JMenu menu)
private static javax.swing.JMenu findMenu(javax.swing.JMenu menu, java.util.Iterator<java.lang.String> mpath)
public static java.util.List<KeYToolbarExtension> getToolbarExtensions()
KeYToolbarExtension
public static java.util.List<javax.swing.JToolBar> createToolbars(MainWindow mainWindow)
mainWindow
- non-nullpublic static java.util.List<KeYTermMenuExtension> getTermMenuExtensions()
KeYMainMenuExtension
public static java.util.List<javax.swing.Action> getTermMenuActions(MainWindow window)
public static javax.swing.JMenu createTermMenu(MainWindow window)
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)
ServiceLoader
, includes a sorting via comp
.T
- the interface of the servicec
- the interface classcomp
- a comporator for sorting