de.uka.ilkd.key.gui.ext

Interface KeYPaneExtension

All Known Implementing Classes:

GoalList, InfoView, InteractionLogExt, ProofTreeView, StrategySelectionView

public interface KeYPaneExtension

This interface describes the UI extension point on the left bottom corner (JTabbedPane).

You can add various panels to the UI by implementing this interface and announcing it via the ServiceLoader. Before mounting on the UI, the init(MainWindow, KeYMediator) is called for injecting the dependencies.

Version:

1 (07.02.19)

Author:

Alexander Weigl

Method Summary

Modifier and Type	Method and Description
javax.swing.JComponent	getComponent() The content of the tab pane
default javax.swing.Icon	getIcon() A nice icon for viewing aside to the tab title.
java.lang.String	getTitle() The title of the tab pane for the user.
void	init(MainWindow window, KeYMediator mediator)
default int	priority()

Method Detail

init

void init(MainWindow window,
          KeYMediator mediator)

Parameters:

window -

mediator -

getTitle

java.lang.String getTitle()

The title of the tab pane for the user.

Returns:

non-null and non-empty string

getIcon

default javax.swing.Icon getIcon()

A nice icon for viewing aside to the tab title.

Returns:

getComponent

javax.swing.JComponent getComponent()

The content of the tab pane

Returns:

priority

default int priority()

Returns: