de.uka.ilkd.key.gui.actions

Class ProofScriptAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.ProofScriptAction

All Implemented Interfaces:

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

public class ProofScriptAction
extends javax.swing.AbstractAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static java.io.File	lastDirectory
private KeYMediator	mediator

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
ProofScriptAction(KeYMediator mediator)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)

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

mediator

private final KeYMediator mediator

lastDirectory

private static java.io.File lastDirectory

Constructor Detail

ProofScriptAction

public ProofScriptAction(KeYMediator mediator)

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)