org.eclipse.emf.henshin.statespace.external.cadp
Class AUTStateSpaceExporter

java.lang.Object
  org.eclipse.emf.henshin.statespace.external.cadp.AUTStateSpaceExporter

All Implemented Interfaces:

StateSpaceExporter

public class AUTStateSpaceExporter
extends Object
implements StateSpaceExporter

Exporter for the Aldebaran (AUT) format as used by CADP.

Constructor Summary

AUTStateSpaceExporter()

Method Summary

void	doExport(StateSpace stateSpace, URI uri, String parameters, org.eclipse.core.runtime.IProgressMonitor monitor) Perform the export operation.
String[]	getFileExtensions() Get the list of file extensions supported by this exporter.
String	getName() Get the name of this exported.
void	setStateSpaceIndex(StateSpaceIndex index) Set the state space index to be used.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AUTStateSpaceExporter

public AUTStateSpaceExporter()

Method Detail

doExport

public void doExport(StateSpace stateSpace,
                     URI uri,
                     String parameters,
                     org.eclipse.core.runtime.IProgressMonitor monitor)
              throws IOException

Description copied from interface: StateSpaceExporter

Perform the export operation.

Specified by:

doExport in interface StateSpaceExporter

Parameters:

stateSpace - State space to be exported.

uri - URI where the state space should be exported to.

monitor - Progress monitor.

Throws:

IOException

getName

public String getName()

Description copied from interface: StateSpaceExporter

Get the name of this exported.

Specified by:

getName in interface StateSpaceExporter

Returns:

The name.

getFileExtensions

public String[] getFileExtensions()

Description copied from interface: StateSpaceExporter

Get the list of file extensions supported by this exporter.

Specified by:

getFileExtensions in interface StateSpaceExporter

Returns:

List of file extensions.

setStateSpaceIndex

public void setStateSpaceIndex(StateSpaceIndex index)

Description copied from interface: StateSpaceExporter

Set the state space index to be used.

Specified by:

setStateSpaceIndex in interface StateSpaceExporter

Parameters:

index - State space index.