Interface EcoreSignature

All Superinterfaces:
EcoreBigraphExt
All Known Implementing Classes:
AbstractEcoreSignature, BindingSignature, DefaultDynamicSignature, KindSignature

public interface EcoreSignature extends EcoreBigraphExt
Interface for all Ecore-based signatures. This interface is technology-specific, and not general as Signature.

It is similar to EcoreBigraph.

Author:
Dominik Grzelak
See Also:
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final org.eclipse.collections.api.map.ImmutableMap<Class<? extends EcoreSignature>,Consumer<org.eclipse.emf.ecore.EObject>>
    Keeps a list of validators for checking signature instance models.
  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.ecore.EObject
    Return the respective signature Ecore-based instance model.
    org.eclipse.emf.ecore.EPackage
    Return the respective signature Ecore-based metamodel.
    static org.eclipse.emf.ecore.EObject
    validateBKindSignature(org.eclipse.emf.ecore.EObject bKindSignature)
    Validate the Ecore-based kind signature instance model.
    static org.eclipse.emf.ecore.EObject
    validateBSignature(org.eclipse.emf.ecore.EObject bSignature)
    Validate the Ecore-based dynamic signature instance model.
  • Field Details

    • VALIDATORS

      static final org.eclipse.collections.api.map.ImmutableMap<Class<? extends EcoreSignature>,Consumer<org.eclipse.emf.ecore.EObject>> VALIDATORS
      Keeps a list of validators for checking signature instance models. If an instance model is invalid, a runtime exception will be thrown.
  • Method Details

    • getMetaModel

      org.eclipse.emf.ecore.EPackage getMetaModel()
      Return the respective signature Ecore-based metamodel.
      Specified by:
      getMetaModel in interface EcoreBigraphExt
      Returns:
      the metamodel of the base signature specification
      See Also:
      • de.tudresden.inf.st.bigraphs.models.signatureBaseModel.SignatureBaseModelPackage
    • getInstanceModel

      org.eclipse.emf.ecore.EObject getInstanceModel()
      Return the respective signature Ecore-based instance model.
      Specified by:
      getInstanceModel in interface EcoreBigraphExt
      Returns:
      the signature instance model
    • validateBSignature

      static org.eclipse.emf.ecore.EObject validateBSignature(org.eclipse.emf.ecore.EObject bSignature)
      Validate the Ecore-based dynamic signature instance model.
      Parameters:
      bSignature - the Ecore signature model
      Returns:
      bSignature the same signature model if everything is fine
      Throws:
      RuntimeException - if a duplicate control was found in the meta-model
    • validateBKindSignature

      static org.eclipse.emf.ecore.EObject validateBKindSignature(org.eclipse.emf.ecore.EObject bKindSignature)
      Validate the Ecore-based kind signature instance model.
      Parameters:
      bKindSignature - the Ecore signature model
      Returns:
      bKindSignature the same signature model if everything is fine
      Throws:
      RuntimeException - if a duplicate control was found in the meta-model