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
Inner classes inherited from class javax.swing.AbstractAction |
javax.swing.AbstractAction.ArrayTable |
Fields inherited from class javax.swing.AbstractAction |
arrayTable, changeSupport, enabled |
Fields inherited from interface javax.swing.Action |
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON |
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, clone, firePropertyChange, getKeys, getValue, isEnabled, putValue, readObject, removePropertyChangeListener, setEnabled, writeObject |
Methods inherited from class java.lang.Object |
, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
label
private java.lang.String label
contentPane
private java.awt.Container contentPane
selected
private Place selected
EditTokenAction
public EditTokenAction(java.awt.Container contentPane,
Place place)
actionPerformed
public void actionPerformed(java.awt.event.ActionEvent e)
- Prompts the user for the number of tokens they want the place to have
- Overrides:
actionPerformed
in class javax.swing.AbstractAction