org.ginsim.gui.shell.actions

Class ExportAction<G extends Graph>

java.lang.Object

javax.swing.AbstractAction

org.ginsim.gui.shell.actions.BaseAction

org.ginsim.gui.shell.actions.ExportAction<G>

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

Direct Known Subclasses:

LRGDocumentationAction, PetriNetExportAction

public abstract class ExportAction<G extends Graph>
extends BaseAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected G	graph

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
ExportAction(G graph, String name, String tooltip, ServiceGUI serviceGui)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent arg0)
protected abstract void	doExport(String filename) Main export function: will be called after the target file was selected
StackDialogHandler	getConfigPanel()
protected abstract FileFormatDescription	getFileFilter() Get the file filter to be used for this export.
String	getID()
String	getSelectedFile()
void	notifyFailure(Exception e)
void	notifySuccess()
void	notifyWarning(String message)
void	selectFile() The action was launched, show a GUI if needed, select a file and if all went fine, call the backend

Methods inherited from class org.ginsim.gui.shell.actions.BaseAction

getIcon, getWeight, setWeight

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

graph

protected final G extends Graph graph

Constructor Detail

ExportAction

public ExportAction(G graph,
                    String name,
                    String tooltip,
                    ServiceGUI serviceGui)

Parameters:

graph -

name - Entry to insert in the menu

tooltip - Long description of the action

Method Detail

getID

public String getID()

Returns:

the identifier for this export. The identifier is based on the class name and should be used to store settings.

selectFile

public void selectFile()

The action was launched, show a GUI if needed, select a file and if all went fine, call the backend

Throws:

GsException

getSelectedFile

public String getSelectedFile()

notifySuccess

public void notifySuccess()

notifyFailure

public void notifyFailure(Exception e)

notifyWarning

public void notifyWarning(String message)

getConfigPanel

public StackDialogHandler getConfigPanel()

actionPerformed

public void actionPerformed(ActionEvent arg0)

getFileFilter

protected abstract FileFormatDescription getFileFilter()

Get the file filter to be used for this export. It will be called after showing the configuration panel and before selecting the file Thus, the configuration can be used to return a different filter.

Returns:

the active file filter

doExport

protected abstract void doExport(String filename)
                          throws Exception

Main export function: will be called after the target file was selected

Throws:

Exception