pipe.gui
Class EditTimedAction

java.lang.Object
  extended byjavax.swing.AbstractAction
      extended bypipe.gui.EditTimedAction
All Implemented Interfaces:
javax.swing.Action, java.awt.event.ActionListener, java.lang.Cloneable, java.util.EventListener, java.io.Serializable

public class EditTimedAction
extends javax.swing.AbstractAction

Action object that can be used to add a rate to a transition.

See Also:
Serialized Form

Nested Class Summary
 
Nested classes inherited from class javax.swing.AbstractAction
 
Field Summary
private  Transition selected
           
 
Fields inherited from class javax.swing.AbstractAction
changeSupport, enabled
 
Fields inherited from interface javax.swing.Action
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON
 
Constructor Summary
EditTimedAction(Transition component)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
          Action for toggling timing on/off
 
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

selected

private Transition selected
Constructor Detail

EditTimedAction

public EditTimedAction(Transition component)
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Action for toggling timing on/off