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

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

All Implemented Interfaces:

Runnable

public class StateSpaceResourceWorker
extends Object
implements Runnable

Runnable for loading state spaces.

Constructor Summary

StateSpaceResourceWorker(StateSpaceResource resource)
Constructor for a worker that saves a state space resource.

StateSpaceResourceWorker(URI uri, ResourceSet resourceSet)
Constructor for a worker that loads a state space resource.

Method Summary

IOException	getException()
StateSpaceResource	getResource() Get the loaded resource.
void	run()

Methods inherited from class java.lang.Object

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

Constructor Detail

StateSpaceResourceWorker

public StateSpaceResourceWorker(URI uri,
                                ResourceSet resourceSet)

Constructor for a worker that loads a state space resource.

Parameters:

uri - URI of the state space resource.

StateSpaceResourceWorker

public StateSpaceResourceWorker(StateSpaceResource resource)

Constructor for a worker that saves a state space resource.

Parameters:

resource - The state space resource.

Method Detail

run

public void run()

Specified by:

run in interface Runnable

getResource

public StateSpaceResource getResource()

Get the loaded resource.

Returns:

State space resource.

getException

public IOException getException()