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

Field Summary

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
TranslateSmvAction() Create a new action to perform composition.

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TranslateSmvAction

public TranslateSmvAction()

Create a new action to perform composition.

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.