org.eclipse.emf.henshin.statespace.external.prism
Class CTMCStateSpaceExporter

java.lang.Object
  org.eclipse.emf.henshin.statespace.external.AbstractStateSpaceExporter
      org.eclipse.emf.henshin.statespace.external.prism.CTMCStateSpaceExporter

All Implemented Interfaces:

StateSpaceExporter

public class CTMCStateSpaceExporter
extends AbstractStateSpaceExporter

Exporter for PRISM. This generates a CTMC model.

Field Summary

Fields inherited from class org.eclipse.emf.henshin.statespace.external.AbstractStateSpaceExporter

stateSpaceIndex

Constructor Summary

CTMCStateSpaceExporter()

Method Summary

void	doExport(StateSpace stateSpace, URI uri, String parameters, org.eclipse.core.runtime.IProgressMonitor monitor) Perform the export operation.
protected static String	getAction(Rule rule)
String[]	getFileExtensions() Get the list of file extensions supported by this exporter.
String	getName() Get the name of this exported.

Methods inherited from class org.eclipse.emf.henshin.statespace.external.AbstractStateSpaceExporter

createWriter, setStateSpaceIndex

Methods inherited from class java.lang.Object

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

Constructor Detail

CTMCStateSpaceExporter

public CTMCStateSpaceExporter()

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.

Parameters:

stateSpace - State space to be exported.

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

monitor - Progress monitor.

Throws:

IOException

getAction

protected static String getAction(Rule rule)

getName

public String getName()

Description copied from interface: StateSpaceExporter

Get the name of this exported.

Returns:

The name.

getFileExtensions

public String[] getFileExtensions()

Description copied from interface: StateSpaceExporter

Get the list of file extensions supported by this exporter.

Returns:

List of file extensions.