de.uka.ilkd.key.gui.ext

Class HeatmapExt

java.lang.Object

de.uka.ilkd.key.gui.ext.HeatmapExt

All Implemented Interfaces:

KeYMainMenuExtension, KeYToolbarExtension

public class HeatmapExt
extends java.lang.Object
implements KeYMainMenuExtension, KeYToolbarExtension

Extension adapter for Heatmap

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<javax.swing.Action>	actions
private HeatmapSettingsAction	settingsAction
private HeatmapToggleAction	toggleAction

Constructor Summary

Constructors

Constructor and Description
HeatmapExt()

Method Summary

Modifier and Type	Method and Description
private java.util.List<javax.swing.Action>	getActions(MainWindow mainWindow)
java.util.List<javax.swing.Action>	getMainMenuActions(MainWindow mainWindow)
int	getPriority()
javax.swing.JToolBar	getToolbar(MainWindow mainWindow)

Methods inherited from class java.lang.Object

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

Field Detail

actions

private java.util.List<javax.swing.Action> actions

toggleAction

private HeatmapToggleAction toggleAction

settingsAction

private HeatmapSettingsAction settingsAction

Constructor Detail

HeatmapExt

public HeatmapExt()

Method Detail

getMainMenuActions

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

Specified by:

getMainMenuActions in interface KeYMainMenuExtension

Returns:

getActions

private java.util.List<javax.swing.Action> getActions(MainWindow mainWindow)

getPriority

public int getPriority()

Specified by:

getPriority in interface KeYMainMenuExtension

Specified by:

getPriority in interface KeYToolbarExtension

Returns:

getToolbar

public javax.swing.JToolBar getToolbar(MainWindow mainWindow)

Specified by:

getToolbar in interface KeYToolbarExtension