de.uka.ilkd.key.gui.interactionlog

Class InteractionLogExt

java.lang.Object

de.uka.ilkd.key.gui.interactionlog.InteractionLogExt

All Implemented Interfaces:

KeYMainMenuExtension, KeYPaneExtension

public class InteractionLogExt
extends java.lang.Object
implements KeYPaneExtension, KeYMainMenuExtension

Version:

1 (13.02.19)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private static javax.swing.Icon	INTERACTION_LOG_ICON
private InteractionLogView	interactionLogView

Constructor Summary

Constructors

Constructor and Description
InteractionLogExt()

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.gui.ext.KeYMainMenuExtension

getPriority

Field Detail

INTERACTION_LOG_ICON

private static final javax.swing.Icon INTERACTION_LOG_ICON

interactionLogView

private InteractionLogView interactionLogView

Constructor Detail

InteractionLogExt

public InteractionLogExt()

Method Detail

init

public void init(MainWindow window,
                 KeYMediator mediator)

Specified by:

init in interface KeYPaneExtension

getTitle

public java.lang.String getTitle()

Description copied from interface: KeYPaneExtension

The title of the tab pane for the user.

Specified by:

getTitle in interface KeYPaneExtension

Returns:

non-null and non-empty string

getIcon

public javax.swing.Icon getIcon()

Description copied from interface: KeYPaneExtension

A nice icon for viewing aside to the tab title.

Specified by:

getIcon in interface KeYPaneExtension

Returns:

getComponent

public javax.swing.JComponent getComponent()

Description copied from interface: KeYPaneExtension

The content of the tab pane

Specified by:

getComponent in interface KeYPaneExtension

Returns:

priority

public int priority()

Specified by:

priority in interface KeYPaneExtension

Returns:

getMainMenuActions

public java.util.List<javax.swing.Action> getMainMenuActions(MainWindow mainWindow)

Specified by:

getMainMenuActions in interface KeYMainMenuExtension

Returns: