Package ptolemy.vergil.modal.fmv
Class FmvAutomatonGraphFrame.TranslateSmvAction
- java.lang.Object
-
- javax.swing.AbstractAction
-
- ptolemy.vergil.modal.fmv.FmvAutomatonGraphFrame.TranslateSmvAction
-
- All Implemented Interfaces:
java.awt.event.ActionListener
,java.io.Serializable
,java.lang.Cloneable
,java.util.EventListener
,javax.swing.Action
- Enclosing class:
- FmvAutomatonGraphFrame
public class FmvAutomatonGraphFrame.TranslateSmvAction extends javax.swing.AbstractAction
An action to perform format translation to .smv file.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description TranslateSmvAction()
Create a new action to perform composition.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
actionPerformed(java.awt.event.ActionEvent e)
Compose with another Fmv automaton by first opening a file chooser dialog and then composing with the specified model.-
Methods inherited from class javax.swing.AbstractAction
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
-
-
-
-
Method Detail
-
actionPerformed
public void actionPerformed(java.awt.event.ActionEvent e)
Compose with another Fmv automaton by first opening a file chooser dialog and then composing with the specified model. The specified model and the composition result are shown in two new Fmv automaton graph frames.
-
-