org.eclipse.emf.henshin.statespace
Interface StateSpaceExporter

All Known Implementing Classes:

AbstractStateSpaceExporter, AUTStateSpaceExporter, CTMCStateSpaceExporter, MDPStateSpaceExporter, TikZStateSpaceExporter

public interface StateSpaceExporter

Interface for state space exporters.

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.

Method Detail

doExport

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

Perform the export operation.

Parameters:

stateSpace - State space to be exported.

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

monitor - Progress monitor.

Throws:

StateSpaceException - On state space errors.

Exception - On I/O errors.

IOException

getName

String getName()

Get the name of this exported.

Returns:

The name.

getFileExtensions

String[] getFileExtensions()

Get the list of file extensions supported by this exporter.

Returns:

List of file extensions.

setStateSpaceIndex

void setStateSpaceIndex(StateSpaceIndex index)

Set the state space index to be used.

Parameters:

index - State space index.