Package org.bigraphs.framework.core.impl.signature

Class DefaultDynamicSignature

java.lang.Object

org.bigraphs.framework.core.AbstractEcoreSignature<DefaultDynamicControl>

org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature

All Implemented Interfaces:

EcoreBigraphExt, EcoreSignature, IsPlaceSortable, Signature<DefaultDynamicControl>

public final class DefaultDynamicSignature
extends AbstractEcoreSignature<DefaultDynamicControl>
implements IsPlaceSortable

Concrete implementation of a pure (dynamic) signature, where controls can be assigned a status = (active, passive, atomic).

Author:

Dominik Grzelak

Field Summary

Fields

Modifier and Type	Field	Description
protected org.eclipse.collections.api.map.MutableMap<String,KindSort>	kindFunction
protected org.eclipse.emf.ecore.EFactory	sigFactory

Fields inherited from class org.bigraphs.framework.core.AbstractEcoreSignature

controls, instanceModel, sigPackage

Fields inherited from interface org.bigraphs.framework.core.EcoreSignature

VALIDATORS

Constructor Summary

Constructors

Constructor	Description
DefaultDynamicSignature(Set<DefaultDynamicControl> controls)
DefaultDynamicSignature(org.eclipse.emf.ecore.EObject bSignature)	Create a dynamic signature object for the given Ecore instance model.

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.ecore.EObject	getInstanceModel()	Return the respective signature Ecore-based instance model.
org.eclipse.emf.ecore.EPackage	getMetaModel()	Return the respective signature Ecore-based metamodel.
Map<String,KindSort>	getPlaceKindMap()
protected void	recreateControls()
protected void	recreateSorts()

Methods inherited from class org.bigraphs.framework.core.AbstractEcoreSignature

equals, extendBControlEClass, extendBKindSortCompositeEClass, extendBKindSortLeafEClass, getControls, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.bigraphs.framework.core.Signature

getArity, getArity, getControl, getControl, getControlByName

Field Details

kindFunction

protected org.eclipse.collections.api.map.MutableMap<String,KindSort> kindFunction

sigFactory

protected org.eclipse.emf.ecore.EFactory sigFactory

Constructor Details

DefaultDynamicSignature

public DefaultDynamicSignature(org.eclipse.emf.ecore.EObject bSignature)

Create a dynamic signature object for the given Ecore instance model. The "extended" metamodel for dynamic signatures is stored in the member variable AbstractEcoreSignature.sigPackage.

Parameters:

bSignature - the instance model of a dynamic signature

Throws:

RuntimeException - if the instance model is invalid (not conforming to the metamodel)

See Also:

• getInstanceModel()
• getMetaModel()

DefaultDynamicSignature

public DefaultDynamicSignature(Set<DefaultDynamicControl> controls)

Method Details

recreateControls

protected void recreateControls()

Overrides:

recreateControls in class AbstractEcoreSignature<DefaultDynamicControl>

recreateSorts

protected void recreateSorts()

Overrides:

recreateSorts in class AbstractEcoreSignature<DefaultDynamicControl>

getMetaModel

public org.eclipse.emf.ecore.EPackage getMetaModel()

Description copied from interface: EcoreSignature

Return the respective signature Ecore-based metamodel.

Specified by:

getMetaModel in interface EcoreBigraphExt

Specified by:

getMetaModel in interface EcoreSignature

Specified by:

getMetaModel in class AbstractEcoreSignature<DefaultDynamicControl>

Returns:

the metamodel of the base signature specification

See Also:

• de.tudresden.inf.st.bigraphs.models.signatureBaseModel.SignatureBaseModelPackage

getInstanceModel

public org.eclipse.emf.ecore.EObject getInstanceModel()

Description copied from interface: EcoreSignature

Return the respective signature Ecore-based instance model.

Specified by:

getInstanceModel in interface EcoreBigraphExt

Specified by:

getInstanceModel in interface EcoreSignature

Specified by:

getInstanceModel in class AbstractEcoreSignature<DefaultDynamicControl>

Returns:

the signature instance model

getPlaceKindMap

public Map<String,KindSort> getPlaceKindMap()

Specified by:

getPlaceKindMap in interface IsPlaceSortable