Package org.bigraphs.framework.core.factory

Class BigraphFactory

java.lang.Object
org.bigraphs.framework.core.factory.BigraphFactory
public final class BigraphFactory extends Object
A bigraph factory class that provides a simplified main entry point for the developer/user to create arbitrary bigraphs and signatures.
Author:
Dominik Grzelak

  • Constructor Details

    • BigraphFactory

      public BigraphFactory()

  • Method Details

    • ops

      public static <S extends Signature<? extends Control<?, ?>>> BigraphComposite<S> ops(Bigraph<S> bigraph)

    • createOrGetSignatureMetaModel

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> org.eclipse.emf.ecore.EPackage createOrGetSignatureMetaModel(S signatureObject)

    • createOrGetSignatureMetaModel

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> org.eclipse.emf.ecore.EPackage createOrGetSignatureMetaModel(S signatureObject, EMetaModelData metaModelData)
      Overwrites the metadata of the metamodel.
      Type Parameters:
      S -
      Parameters:
      signatureObject -
      metaModelData -
      Returns:

    • createOrGetSignature

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> S createOrGetSignature(org.eclipse.emf.ecore.EObject signatureInstanceModel)
      Registers a signature metamodel.
      Type Parameters:
      S - the type of the signature
      Parameters:
      signatureInstanceModel - the Ecore signature instance model
      Returns:
      the signature object (freshly created, or the one already present in the internal registry)

    • createOrGetSignature

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> S createOrGetSignature(org.eclipse.emf.ecore.EObject signatureInstanceModel, EMetaModelData metaModelData)
      Registers a signature metamodel Overwrites the metadata of the metamodel.
      Type Parameters:
      S - the type of the signature
      Parameters:
      signatureInstanceModel - the Ecore signature instance model
      metaModelData - additional meta data in case the signature metamodel is going to be re-created; otherwise it is ignored.
      Returns:
      the signature object (freshly created, or the one already present in the internal registry)

    • pureSignatureBuilder

      public static DynamicSignatureBuilder pureSignatureBuilder()
      After finalizing the signature builder (i.e., actually creating the signature object), it will be registered automatically by the registry of this factory.
      Returns:
      a dynamic signature builder

    • kindSignatureBuilder

      public static KindSignatureBuilder kindSignatureBuilder()
      After finalizing the signature builder (i.e., actually creating the signature object), it will be registered automatically by the registry of this factory.
      Returns:
      a kind signature builder

    • createOrGetBigraphMetaModel

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> org.eclipse.emf.ecore.EPackage createOrGetBigraphMetaModel(S signature)
      Registers the bigraph metamodel.
      Type Parameters:
      S - the type of the signature
      Parameters:
      signature - the signature object
      Returns:
      the Ecore bigraph metamodel for the given signature object

    • createOrGetBigraphMetaModel

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> org.eclipse.emf.ecore.EPackage createOrGetBigraphMetaModel(S signature, EMetaModelData metaModelData)
      Registers the bigraph metamodel. Overwrites the metadata of the metamodel.
      Type Parameters:
      S - the type of the signature
      Parameters:
      signature - the signature object
      metaModelData - additional meta data in case the signature metamodel is going to be re-created; otherwise it is ignored.
      Returns:
      the Ecore bigraph metamodel for the given signature object

    • pureDiscreteIon

      public static <S extends AbstractEcoreSignature<? extends Control<? extends NamedType<?>, ? extends FiniteOrdinal<?>>>> DiscreteIon<S> pureDiscreteIon(S signature, String name, String... outerNames)

    • purePlacings

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Placings<S> purePlacings(S signature)

    • pureLinkings

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> Linkings<S> pureLinkings(S signature)

    • pureBuilder

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> PureBigraphBuilder<S> pureBuilder(S signature)

    • pureBuilder

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> PureBigraphBuilder<S> pureBuilder(S signature, org.eclipse.emf.ecore.EPackage bigraphBaseModelPackage)

    • pureBuilder

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> PureBigraphBuilder<S> pureBuilder(S signature, String bigraphBaseModelPackageFile)

    • kindBuilder

      public static KindBigraphBuilder kindBuilder(KindSignature signature)

    • pureRandomBuilder

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> PureBigraphGenerator pureRandomBuilder(S signature)

    • pureRandomBuilder

      public static <S extends AbstractEcoreSignature<? extends Control<?, ?>>> PureBigraphGenerator pureRandomBuilder(S signature, org.eclipse.emf.ecore.EPackage bigraphBaseModelPackage)

    • context

      public static Optional<FactoryCreationContext> context()
      Return the current factory context.
      Returns:
      the current factory context.

    • end

      public static void end()