org.eclipse.emf.henshin.statespace.impl
Class StateSpaceFactoryImpl

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.ecore.impl.BasicEObjectImpl
          org.eclipse.emf.ecore.impl.MinimalEObjectImpl
              org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
                  org.eclipse.emf.ecore.impl.EModelElementImpl
                      org.eclipse.emf.ecore.impl.EFactoryImpl
                          org.eclipse.emf.henshin.statespace.impl.StateSpaceFactoryImpl

All Implemented Interfaces:

Notifier, EFactory, EModelElement, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject, StateSpaceFactory

public class StateSpaceFactoryImpl
extends EFactoryImpl
implements StateSpaceFactory

Default implementation of StateSpaceFactory.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

MinimalEObjectImpl.Container.Dynamic

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

MinimalEObjectImpl.Container

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

BasicEObjectImpl.EPropertiesHolder, BasicEObjectImpl.EPropertiesHolderBaseImpl, BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

BasicNotifierImpl.EAdapterList<E extends Object & Adapter>, BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

InternalEObject.EStore

Field Summary

Fields inherited from class org.eclipse.emf.ecore.impl.EFactoryImpl

EDATE_FORMATS, ePackage

Fields inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl

eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG

Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eContainer

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.henshin.statespace.StateSpaceFactory

eINSTANCE

Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder

NIL

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

StateSpaceFactoryImpl()
Creates an instance of the factory.

Method Summary

String	convertIntegerArrayToString(EDataType eDataType, int[] location)
String	convertIntegerArrayToString(EDataType eDataType, Object location)
String	convertMatchToString(EDataType eDataType, Object instanceValue)
String	convertStringArrayToString(EDataType eDataType, Object instanceValue)
String	convertToString(EDataType eDataType, Object instanceValue)
EObject	create(EClass eClass)
Map.Entry<EObject,Integer>	createEObjectIntegerMapEntry()
EqualityHelper	createEqualityHelper()
Object	createFromString(EDataType eDataType, String initialValue)
int[]	createIntegerArrayFromString(EDataType eDataType, String initialValue)
Match	createMatchFromString(EDataType eDataType, String initialValue)
Model	createModel()
Model	createModel(Resource resource) Create a model for a given resource.
State	createState()
StateSpace	createStateSpace()
StateSpace	createStateSpace(Module module)
StateSpaceManager	createStateSpaceManager(StateSpace stateSpace) Returns a new state space manager.
StateSpaceManager	createStateSpaceManager(StateSpace stateSpace, int numThreads) Returns a new state space manager.
Storage	createStorage()
String[]	createStringArrayFromString(EDataType eDataType, String initialValue)
Transition	createTransition()
static StateSpacePackage	getPackage() Deprecated.
StateSpacePackage	getStateSpacePackage()
static StateSpaceFactory	init() Creates the default factory implementation.

Methods inherited from class org.eclipse.emf.ecore.impl.EFactoryImpl

basicCreate, basicSetEPackage, collapseWhiteSpace, convertToString, createFromString, eGet, eInverseAdd, eInverseRemove, eInvoke, eIsSet, eSet, eStaticClass, eUnset, getEPackage, replaceWhiteSpace, setEPackage, split

Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl

eObjectForURIFragmentSegment, eSetDirectResource, eURIFragmentSegment, freeze, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eBasicSetContainer, eInternalContainer

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetProxyURI, eSettings

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues, toString

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

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

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

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

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

eNotificationRequired

Constructor Detail

StateSpaceFactoryImpl

public StateSpaceFactoryImpl()

Creates an instance of the factory.

Method Detail

init

public static StateSpaceFactory init()

Creates the default factory implementation.

create

public EObject create(EClass eClass)

Specified by:

create in interface EFactory

Overrides:

create in class EFactoryImpl

createFromString

public Object createFromString(EDataType eDataType,
                               String initialValue)

Specified by:

createFromString in interface EFactory

Overrides:

createFromString in class EFactoryImpl

convertToString

public String convertToString(EDataType eDataType,
                              Object instanceValue)

Specified by:

convertToString in interface EFactory

Overrides:

convertToString in class EFactoryImpl

createStateSpace

public StateSpace createStateSpace()

Specified by:

createStateSpace in interface StateSpaceFactory

Returns:

a new object of class 'State Space'.

createStateSpace

public StateSpace createStateSpace(Module module)

Specified by:

createStateSpace in interface StateSpaceFactory

Returns:

a new object of class 'State Space'.

createStateSpaceManager

public StateSpaceManager createStateSpaceManager(StateSpace stateSpace,
                                                 int numThreads)

Returns a new state space manager.

Specified by:

createStateSpaceManager in interface StateSpaceFactory

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

public StateSpaceManager createStateSpaceManager(StateSpace stateSpace)

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

Specified by:

createStateSpaceManager in interface StateSpaceFactory

Parameters:

stateSpace - The state space to be managed.

Returns:

A new state space manager instance.

createState

public State createState()

Specified by:

createState in interface StateSpaceFactory

Returns:

a new object of class 'State'.

createModel

public Model createModel()

Specified by:

createModel in interface StateSpaceFactory

Returns:

a new object of class 'Model'.

createModel

public Model createModel(Resource resource)

Create a model for a given resource.

Specified by:

createModel in interface StateSpaceFactory

Returns:

a new object of class 'Model'.

createTransition

public Transition createTransition()

Specified by:

createTransition in interface StateSpaceFactory

Returns:

a new object of class 'Transition'.

createEqualityHelper

public EqualityHelper createEqualityHelper()

Specified by:

createEqualityHelper in interface StateSpaceFactory

Returns:

a new object of class 'Equality Helper'.

createStorage

public Storage createStorage()

Specified by:

createStorage in interface StateSpaceFactory

Returns:

a new object of class 'Storage'.

createEObjectIntegerMapEntry

public Map.Entry<EObject,Integer> createEObjectIntegerMapEntry()

createIntegerArrayFromString

public int[] createIntegerArrayFromString(EDataType eDataType,
                                          String initialValue)

convertIntegerArrayToString

public String convertIntegerArrayToString(EDataType eDataType,
                                          Object location)

createStringArrayFromString

public String[] createStringArrayFromString(EDataType eDataType,
                                            String initialValue)

convertStringArrayToString

public String convertStringArrayToString(EDataType eDataType,
                                         Object instanceValue)

createMatchFromString

public Match createMatchFromString(EDataType eDataType,
                                   String initialValue)

convertMatchToString

public String convertMatchToString(EDataType eDataType,
                                   Object instanceValue)

convertIntegerArrayToString

public String convertIntegerArrayToString(EDataType eDataType,
                                          int[] location)

getStateSpacePackage

public StateSpacePackage getStateSpacePackage()

Specified by:

getStateSpacePackage in interface StateSpaceFactory

Returns:

the package supported by this factory.

getPackage

@Deprecated
public static StateSpacePackage getPackage()

Deprecated.