de.uka.ilkd.key.gui.actions

Class TestGenerationAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.MainWindowAction

de.uka.ilkd.key.gui.actions.TestGenerationAction

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public class TestGenerationAction
extends MainWindowAction

Action which generates test cases for all open nodes. If the proof is closed, test cases will be generated for nodes on which the emptyModality rule was applied.

Author:

mihai

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static String	NAME
private static String	TOOLTIP

Fields inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

mainWindow, SHORTCUT_KEY_MASK

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
TestGenerationAction(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
void	init() Registers the action at some listeners to update its status in a correct fashion.

Methods inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

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

Field Detail

NAME

private static final String NAME

See Also:

Constant Field Values

TOOLTIP

private static final String TOOLTIP

See Also:

Constant Field Values

Constructor Detail

TestGenerationAction

public TestGenerationAction(MainWindow mainWindow)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent e)

init

public void init()

Registers the action at some listeners to update its status in a correct fashion. This method has to be invoked after the Main class has been initialised with the KeYMediator.