ConForM.CoopnTools.Edit
Class NodeAddTheoremAction

java.lang.Object
  |
  +--javax.swing.AbstractAction
        |
        +--ConForM.CoopnTools.Edit.NodeAction
              |
              +--ConForM.CoopnTools.Edit.NodeAddTheoremAction
All Implemented Interfaces:
javax.swing.Action, java.awt.event.ActionListener, java.lang.Cloneable, java.util.EventListener, java.io.Serializable

public class NodeAddTheoremAction
extends NodeAction

CoopnTree node add theorem action.

See Also:
Serialized Form

Fields inherited from class ConForM.CoopnTools.Edit.NodeAction
env, label, mnemo, node
 
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
NodeAddTheoremAction(CoopnNodeAdtFormulaField node, CoopnEnv env)
          Constructor.
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
           
 
Methods inherited from class ConForM.CoopnTools.Edit.NodeAction
cloneAction, label, mnemo
 
Methods inherited from class javax.swing.AbstractAction
addPropertyChangeListener, clone, firePropertyChange, getKeys, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NodeAddTheoremAction

public NodeAddTheoremAction(CoopnNodeAdtFormulaField node,
                            CoopnEnv env)
Constructor.
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Overrides:
actionPerformed in class javax.swing.AbstractAction