org.eclipse.emf.henshin.statespace.resource
Class StateSpaceSerializer

java.lang.Object
  org.eclipse.emf.henshin.statespace.resource.StateSpaceSerializer

public class StateSpaceSerializer
extends Object

State space serializer.

See Also:

StateSpaceDeserializer

Field Summary

static int

MARKER

Constructor Summary

StateSpaceSerializer()

Method Summary

void	write(StateSpace stateSpace, OutputStream out) Serialize a state space.

Methods inherited from class java.lang.Object

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

Field Detail

MARKER

public static final int MARKER

See Also:

Constant Field Values

Constructor Detail

StateSpaceSerializer

public StateSpaceSerializer()

Method Detail

write

public void write(StateSpace stateSpace,
                  OutputStream out)
           throws IOException

Serialize a state space.

Parameters:

stateSpace - State space.

out - Output stream.

Throws:

IOException - on I/O errors.