ptolemy.vergil.basic.imprt.g4ltl

Class ImportG4LTLAction

java.lang.Object

javax.swing.AbstractAction

ptolemy.vergil.basic.imprt.g4ltl.ImportG4LTLAction

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

public class ImportG4LTLAction
extends javax.swing.AbstractAction

Import an FSMActor using LTL synthesis (G4LTL).

"G4LTL is a standalone tool and a Java library for automatically generating controllers realizing linear temporal logic (LTL).

See http://www6.in.tum.de/~chengch/g4ltl/

This class uses classes defined in $PTII/lib/g4ltl.jar. See $PTII/lib/g4ltl-license.htm.

This package is optional. To add the "Import G4LTL" menu choice to the GraphEditor, add the following to the configuration:

   <property name="_importActionClassNames"
   class="ptolemy.data.expr.Parameter"
   value="{&quot;"ptolemy.vergil.basic.imprt.g4ltl.ImportG4LTLAction&quot;}"/>
   

BasicGraphFrame checks for this parameter and adds the "Import G4LTL" menu choice if the class named by that parameter exists.

The $PTII/ptolemy/configs/defaultFullConfiguration.xml file already has this parameter. The ptiny configuration does not have this parameter so that we have a smaller download.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Chihhong (Patrick) Cheng (Fortiss), Christopher Brooks. Based on ExportPDFAction by Edward A. Lee

See Also:

Serialized Form

Pt.AcceptedRating:

Red (cxh)

Pt.ProposedRating:

Red (cxh)

Field Summary

Fields

Modifier and Type	Field and Description
(package private) Top	_frame The top-level window of the contents to be exported.

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
ImportG4LTLAction(Top frame) Create a new action to import an FSMActor from LTL synthesis.

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e) Import a library by first opening a file chooser dialog and then importing the specified library.

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

Field Detail

_frame

Top _frame

The top-level window of the contents to be exported.

Constructor Detail

ImportG4LTLAction

public ImportG4LTLAction(Top frame)

Create a new action to import an FSMActor from LTL synthesis.

Parameters:

frame - The frame to which the import action is to be added.

Method Detail

actionPerformed

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

Import a library by first opening a file chooser dialog and then importing the specified library. See UserActorLibrary.openLibrary(ptolemy.actor.gui.Configuration, File) for information on the file format.