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, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

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

Method Summary

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

InvokeNuSMVAction

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