org.eclipse.emf.henshin.statespace
Interface Model

All Superinterfaces:

EObject, Notifier

All Known Implementing Classes:

ModelImpl

public interface Model
extends EObject

Transient container for State models.

See Also:

StateSpacePackage.getModel()

Method Summary

void	collectMissingRootObjects() Collect missing root objects from the EGraphImpl of this model.
Model	getCopy(Match match) Get a copy of this model.
EGraph	getEGraph() Get the associated EGraph instance for this model.
int	getObjectCount() Get the number of objects in this model.
EMap<EObject,Integer>	getObjectHashCodes() Get the object hash codes of this state model
int[]	getObjectKeys() Get the object keys of this state model as an integer array.
EMap<EObject,Integer>	getObjectKeysMap() Get the object keys map for this state model.
Resource	getResource() Get the resource that contains the actual model elements.
void	setObjectKeys(int[] value) Set the object keys of this state model as an integer array.
boolean	updateObjectKeys(EList<EClass> identityTypes)

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

Method Detail

getResource

Resource getResource()

Get the resource that contains the actual model elements.

Returns:

the value of the 'Resource' attribute.

See Also:

#setResource(Resource), StateSpacePackage.getModel_Resource()

getEGraph

EGraph getEGraph()

Get the associated EGraph instance for this model.

Returns:

the value of the 'EGraph' attribute.

See Also:

org.eclipse.emf.henshin.statespace.StateSpacePackage#getModel_EmfGraph()

getObjectHashCodes

EMap<EObject,Integer> getObjectHashCodes()

Get the object hash codes of this state model

Returns:

the value of the 'Object Hash Codes' map.

See Also:

StateSpacePackage.getModel_ObjectHashCodes()

getObjectKeysMap

EMap<EObject,Integer> getObjectKeysMap()

Get the object keys map for this state model.

Returns:

the value of the 'Object Keys' map.

getObjectKeys

int[] getObjectKeys()

Get the object keys of this state model as an integer array. This is derived from getObjectKeysMap().

Returns:

the value of the 'Object Keys' attribute.

setObjectKeys

void setObjectKeys(int[] value)

Set the object keys of this state model as an integer array. This forwards to getObjectKeysMap().

Parameters:

objectKeys - the new value of the 'Object Keys' attribute.

See Also:

getObjectKeys()

getObjectCount

int getObjectCount()

Get the number of objects in this model. This is derived from #getEmfGraph().

Returns:

the value of the 'Object Count' attribute.

See Also:

StateSpacePackage.getModel_ObjectCount()

getCopy

Model getCopy(Match match)

Get a copy of this model.

Parameters:

Optional - match.

updateObjectKeys

boolean updateObjectKeys(EList<EClass> identityTypes)

collectMissingRootObjects

void collectMissingRootObjects()

Collect missing root objects from the EGraphImpl of this model. New root objects will be added to this objects resource.