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 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 Description

ImportG4LTLAction(Top frame)
Create a new action to import an FSMActor from LTL synthesis.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

Methods inherited from interface javax.swing.Action
accept

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