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

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

public class StateSpaceDeserializer
extends Object

State space deserializer.

Constructor Summary

StateSpaceDeserializer()

Method Summary

void	read(StateSpaceResource resource, InputStream in) Deserialize a state space.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateSpaceDeserializer

public StateSpaceDeserializer()

Method Detail

read

public void read(StateSpaceResource resource,
                 InputStream in)
          throws IOException

Deserialize a state space.

Parameters:

in - Input stream.

Throws:

IOException - on I/O errors.