de.uka.ilkd.key.gui.interactionlog

Class InteractionLogView.ExportMUScriptAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.KeyAction

de.uka.ilkd.key.gui.interactionlog.InteractionLogView.AbstractFileSaveAction

de.uka.ilkd.key.gui.interactionlog.InteractionLogView.ExportMUScriptAction

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

Enclosing class:

InteractionLogView

private class InteractionLogView.ExportMUScriptAction
extends InteractionLogView.AbstractFileSaveAction

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

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

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, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
ExportMUScriptAction()

Method Summary

Modifier and Type	Method and Description
(package private) void	save(java.io.File selectedFile)

Methods inherited from class de.uka.ilkd.key.gui.interactionlog.InteractionLogView.AbstractFileSaveAction

actionPerformed

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

getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, 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

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ExportMUScriptAction

ExportMUScriptAction()

Method Detail

save

void save(java.io.File selectedFile)

Specified by:

save in class InteractionLogView.AbstractFileSaveAction