de.rwth.i2.attestor.stateSpaceGeneration

Interface StateSpaceExporter

All Known Implementing Classes:

JsonStateSpaceExporter

public interface StateSpaceExporter

A general method to export a StateSpace. The exact format has to be specified by an implementation.

Author:

Christoph

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)

Method Detail

export

void export(StateSpace stateSpace,
            Program program)
     throws IOException

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

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

String exportForReport(StateSpace stateSpace,
                       Program program)
                throws IOException

Throws:

IOException