pipe.gui
Class EditTokenAction

java.lang.Object
  |
  +--javax.swing.AbstractAction
        |
        +--pipe.gui.EditTokenAction
All Implemented Interfaces:
javax.swing.Action, java.awt.event.ActionListener, java.lang.Cloneable, java.util.EventListener, java.io.Serializable

public class EditTokenAction
extends javax.swing.AbstractAction

Action object that can be used to effect adding/removing tokens from a place

See Also:
Serialized Form

Field Summary
 
Fields inherited from interface javax.swing.Action
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON
 
Constructor Summary
EditTokenAction(java.awt.Container contentPane, Place place)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
          Prompts the user for the number of tokens they want the place to have
 
Methods inherited from class javax.swing.AbstractAction
addPropertyChangeListener, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EditTokenAction

public EditTokenAction(java.awt.Container contentPane,
                       Place place)
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Prompts the user for the number of tokens they want the place to have