ptolemy.vergil.fsm.fmv
Class FmvAutomatonGraphFrame.TranslateSmvAction

java.lang.Object
  javax.swing.AbstractAction
      ptolemy.vergil.fsm.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, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

FmvAutomatonGraphFrame.TranslateSmvAction()
Create a new action to perform composition.

Method Summary

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

FmvAutomatonGraphFrame.TranslateSmvAction

public FmvAutomatonGraphFrame.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.