edu.mit.csail.sdg.alloy4
Class Runner

java.lang.Object
  javax.swing.AbstractAction
      edu.mit.csail.sdg.alloy4.Runner

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.event.WindowListener, java.io.Serializable, java.lang.Cloneable, java.lang.Runnable, java.util.EventListener, javax.swing.Action, javax.swing.event.CaretListener, javax.swing.event.MenuListener

public abstract class Runner
extends javax.swing.AbstractAction
implements java.lang.Runnable, java.awt.event.WindowListener, javax.swing.event.MenuListener, javax.swing.event.CaretListener, java.awt.event.FocusListener

This class converts a Runnable into an AbstractAction, WindowListener, CaretListener, and MenuListener also.

See Also:

Serialized Form

Field Summary

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

Runner()
Constructs a new runner; you should override the run() and run(arg) method to customize it.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e) This method is defined in java.awt.event.ActionListener; (this implementation calls this.run())
void	caretUpdate(javax.swing.event.CaretEvent e) This method is defined in java.awt.event.CaretListener; (this implementation calls this.run())
static Runner	createDispose(java.awt.Window window) This helper method returns a Runnable whose run() method will call window.dispose()
void	focusGained(java.awt.event.FocusEvent e) This method is defined in java.awt.event.FocusListener; (this implementation calls this.run())
void	focusLost(java.awt.event.FocusEvent e) This method is defined in java.awt.event.FocusListener; (this implementation does nothing)
void	menuCanceled(javax.swing.event.MenuEvent e) This method is defined in javax.swing.event.MenuListener; (this implementation does nothing)
void	menuDeselected(javax.swing.event.MenuEvent e) This method is defined in javax.swing.event.MenuListener; (this implementation does nothing)
void	menuSelected(javax.swing.event.MenuEvent e) This method is defined in javax.swing.event.MenuListener; (this implementation calls this.run())
abstract void	run() This method should be overriden to provide the default action that this Runner would perform.
abstract void	run(java.lang.Object arg) This method should be overriden to provide the default action that this Runner would perform given an argument.
void	windowActivated(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)
void	windowClosed(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)
void	windowClosing(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation calls this.run())
void	windowDeactivated(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)
void	windowDeiconified(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)
void	windowIconified(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)
void	windowOpened(java.awt.event.WindowEvent e) This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

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

Constructor Detail

Runner

public Runner()

Constructs a new runner; you should override the run() and run(arg) method to customize it.

Method Detail

run

public abstract void run()

This method should be overriden to provide the default action that this Runner would perform.

Specified by:

run in interface java.lang.Runnable

run

public abstract void run(java.lang.Object arg)

This method should be overriden to provide the default action that this Runner would perform given an argument.

actionPerformed

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

This method is defined in java.awt.event.ActionListener; (this implementation calls this.run())

Specified by:

actionPerformed in interface java.awt.event.ActionListener

menuSelected

public final void menuSelected(javax.swing.event.MenuEvent e)

This method is defined in javax.swing.event.MenuListener; (this implementation calls this.run())

Specified by:

menuSelected in interface javax.swing.event.MenuListener

menuDeselected

public final void menuDeselected(javax.swing.event.MenuEvent e)

This method is defined in javax.swing.event.MenuListener; (this implementation does nothing)

Specified by:

menuDeselected in interface javax.swing.event.MenuListener

menuCanceled

public final void menuCanceled(javax.swing.event.MenuEvent e)

This method is defined in javax.swing.event.MenuListener; (this implementation does nothing)

Specified by:

menuCanceled in interface javax.swing.event.MenuListener

caretUpdate

public final void caretUpdate(javax.swing.event.CaretEvent e)

This method is defined in java.awt.event.CaretListener; (this implementation calls this.run())

Specified by:

caretUpdate in interface javax.swing.event.CaretListener

focusGained

public final void focusGained(java.awt.event.FocusEvent e)

This method is defined in java.awt.event.FocusListener; (this implementation calls this.run())

Specified by:

focusGained in interface java.awt.event.FocusListener

focusLost

public final void focusLost(java.awt.event.FocusEvent e)

This method is defined in java.awt.event.FocusListener; (this implementation does nothing)

Specified by:

focusLost in interface java.awt.event.FocusListener

windowClosing

public final void windowClosing(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation calls this.run())

Specified by:

windowClosing in interface java.awt.event.WindowListener

windowClosed

public final void windowClosed(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowClosed in interface java.awt.event.WindowListener

windowOpened

public final void windowOpened(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowOpened in interface java.awt.event.WindowListener

windowIconified

public final void windowIconified(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowIconified in interface java.awt.event.WindowListener

windowDeiconified

public final void windowDeiconified(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

windowActivated

public final void windowActivated(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowActivated in interface java.awt.event.WindowListener

windowDeactivated

public final void windowDeactivated(java.awt.event.WindowEvent e)

This method is defined in java.awt.event.WindowListener; (this implementation does nothing)

Specified by:

windowDeactivated in interface java.awt.event.WindowListener

createDispose

public static final Runner createDispose(java.awt.Window window)

This helper method returns a Runnable whose run() method will call window.dispose()