org.eclipse.emf.henshin.statespace
Interface StateSpaceFactory

All Superinterfaces:

EFactory, EModelElement, EObject, Notifier

All Known Implementing Classes:

StateSpaceFactoryImpl

public interface StateSpaceFactory
extends EFactory

Interface for the state space factory. It provides a create method for each non-abstract class of the model.

See Also:

StateSpacePackage

Field Summary

static StateSpaceFactory

eINSTANCE The singleton instance of the factory.

Method Summary

EqualityHelper	createEqualityHelper() Returns a new object of class 'Equality Helper'.
Model	createModel() Returns a new object of class 'Model'.
Model	createModel(Resource resource) Returns a new object of class 'Model'.
State	createState() Returns a new object of class 'State'.
StateSpace	createStateSpace() Returns a new object of class 'State Space'.
StateSpace	createStateSpace(Module module) Returns a new object of class 'State Space'.
StateSpaceManager	createStateSpaceManager(StateSpace stateSpace) Returns a new state space manager.
StateSpaceManager	createStateSpaceManager(StateSpace stateSpace, int numThreads) Returns a new state space manager.
Storage	createStorage() Returns a new object of class 'Storage'.
Transition	createTransition() Returns a new object of class 'Transition'.
StateSpacePackage	getStateSpacePackage() Returns the package supported by this factory.

Methods inherited from interface org.eclipse.emf.ecore.EFactory

convertToString, create, createFromString, getEPackage, setEPackage

Methods inherited from interface org.eclipse.emf.ecore.EModelElement

getEAnnotation, getEAnnotations

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Detail

eINSTANCE

static final StateSpaceFactory eINSTANCE

The singleton instance of the factory.

Method Detail

createStateSpace

StateSpace createStateSpace()

Returns a new object of class 'State Space'.

Returns:

a new object of class 'State Space'.

createStateSpace

StateSpace createStateSpace(Module module)

Returns a new object of class 'State Space'.

Returns:

a new object of class 'State Space'.

createStateSpaceManager

StateSpaceManager createStateSpaceManager(StateSpace stateSpace,
                                          int numThreads)

Returns a new state space manager.

Parameters:

numThreads - Number of threads to be used for exploration.

stateSpace - The state space to be managed.

Returns:

A new state space manager instance.

createStateSpaceManager

StateSpaceManager createStateSpaceManager(StateSpace stateSpace)

Returns a new state space manager. Uses multi-threading if more than one processor is available.

Parameters:

stateSpace - The state space to be managed.

Returns:

A new state space manager instance.

createState

State createState()

Returns a new object of class 'State'.

Returns:

a new object of class 'State'.

createModel

Model createModel()

Returns a new object of class 'Model'.

Returns:

a new object of class 'Model'.

createModel

Model createModel(Resource resource)

Returns a new object of class 'Model'.

Returns:

a new object of class 'Model'.

createTransition

Transition createTransition()

Returns a new object of class 'Transition'.

Returns:

a new object of class 'Transition'.

createEqualityHelper

EqualityHelper createEqualityHelper()

Returns a new object of class 'Equality Helper'.

Returns:

a new object of class 'Equality Helper'.

createStorage

Storage createStorage()

Returns a new object of class 'Storage'.

Returns:

a new object of class 'Storage'.

getStateSpacePackage

StateSpacePackage getStateSpacePackage()

Returns the package supported by this factory.

Returns:

the package supported by this factory.