Package org.bigraphs.grgen.converter.impl

Class PureBigraphTransformer

java.lang.Object
org.bigraphs.grgen.converter.TransformerSupport
org.bigraphs.grgen.converter.BigraphTransformer
org.bigraphs.grgen.converter.impl.PureBigraphTransformer
All Implemented Interfaces:
BaseTransformer<org.bigraphs.framework.core.Bigraph<org.bigraphs.framework.core.Signature<?>>>
public class PureBigraphTransformer extends BigraphTransformer
This class transforms an Ecore bigraph instance model (i.e., a graph typed over a type graph extended by a signature) to GrGen.NET's graph format.

GrGen.NET's graph metamodel represents essentially a control-compatible extension of the basic type graph of bigraphs (refer to [KeTG16]).

The bigraph must have special properties: It must be prime and ground. Such a bigraph is used as an agent for a bigraphical reactive system (BRS).

Author:
Dominik Grzelak
See Also:

  • Constructor Details

    • PureBigraphTransformer

      public PureBigraphTransformer()

  • Method Details

    • withOppositeEdges

      public PureBigraphTransformer withOppositeEdges(boolean flag)

    • toString

      public String toString(org.bigraphs.framework.core.Bigraph bigraph)
      Description copied from interface: BaseTransformer
      Redirects the result of an encoding to a string
      Specified by:
      toString in interface BaseTransformer<org.bigraphs.framework.core.Bigraph<org.bigraphs.framework.core.Signature<?>>>
      Specified by:
      toString in class BigraphTransformer
      Parameters:
      bigraph - the bigraph or signature being encoded