de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Class JsonStateSpaceExporter

java.lang.Object

de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat.JsonStateSpaceExporter

All Implemented Interfaces:

StateSpaceExporter

public class JsonStateSpaceExporter
extends Object
implements StateSpaceExporter

Exports a state space to a JSON file.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
JsonStateSpaceExporter()
JsonStateSpaceExporter(Writer writer)

Method Summary

Modifier and Type	Method and Description
void	export(StateSpace stateSpace, Program program) Exports a StateSpace into one or more files with the given name.
String	exportForReport(StateSpace stateSpace, Program program)

Methods inherited from class java.lang.Object

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

Constructor Detail

JsonStateSpaceExporter

public JsonStateSpaceExporter(Writer writer)

JsonStateSpaceExporter

public JsonStateSpaceExporter()

Method Detail

export

public void export(StateSpace stateSpace,
                   Program program)
            throws IOException

Description copied from interface: StateSpaceExporter

Exports a StateSpace into one or more files with the given name.

Specified by:

export in interface StateSpaceExporter

Parameters:

stateSpace - The StateSpace that should be exported.

program - The program used to generate the state space.

Throws:

IOException - if writing of exported files fails.

exportForReport

public String exportForReport(StateSpace stateSpace,
                              Program program)
                       throws IOException

Specified by:

exportForReport in interface StateSpaceExporter

Throws:

IOException