org.eclipse.emf.henshin.statespace.external
Class AbstractStateSpaceExporter

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

All Implemented Interfaces:

StateSpaceExporter

Direct Known Subclasses:

CTMCStateSpaceExporter, MDPStateSpaceExporter

public abstract class AbstractStateSpaceExporter
extends Object
implements StateSpaceExporter

Abstract exporter class.

Field Summary

protected StateSpaceIndex

stateSpaceIndex

Constructor Summary

AbstractStateSpaceExporter()

Method Summary

protected static OutputStreamWriter	createWriter(File file) Create a new output stream writer.
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

Methods inherited from interface org.eclipse.emf.henshin.statespace.StateSpaceExporter

doExport, getFileExtensions, getName

Field Detail

stateSpaceIndex

protected StateSpaceIndex stateSpaceIndex

Constructor Detail

AbstractStateSpaceExporter

public AbstractStateSpaceExporter()

Method Detail

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.

createWriter

protected static OutputStreamWriter createWriter(File file)
                                          throws IOException

Create a new output stream writer.

Parameters:

file - File.

Returns:

The writer.

Throws:

IOException - On errors.