ptolemy.vergil.modal.fmv
Class FmvAutomatonGraphFrame.InvokeNuSMVAction

java.lang.Object
  javax.swing.AbstractAction
      ptolemy.vergil.modal.fmv.FmvAutomatonGraphFrame.InvokeNuSMVAction

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.InvokeNuSMVAction
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.InvokeNuSMVAction()
Create a new action to perform composition.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e) Choose the specified .smv file and later invoke NuSMV to perform verification.

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.InvokeNuSMVAction

public FmvAutomatonGraphFrame.InvokeNuSMVAction()

Create a new action to perform composition.

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Choose the specified .smv file and later invoke NuSMV to perform verification. Redirect the consol and show the result in a popout window.