Package org.bigraphs.grgen.converter.impl

Class PureParametrizedRuleTransformer

java.lang.Object
org.bigraphs.grgen.converter.TransformerSupport
org.bigraphs.grgen.converter.RuleTransformer
org.bigraphs.grgen.converter.impl.PureParametrizedRuleTransformer
All Implemented Interfaces:
BaseTransformer<org.bigraphs.framework.core.reactivesystem.ReactionRule<?>>
public class PureParametrizedRuleTransformer extends RuleTransformer
A concrete transformer implementation for parametrized rules that take pure bigraphs as redex and reactum. A rule is parametrized if it has sites specified.
Author:
Dominik Grzelak

  • Field Details

  • Constructor Details

    • PureParametrizedRuleTransformer

      public PureParametrizedRuleTransformer()

  • Method Details

    • toString

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

    • openRule

      protected String openRule(String ruleName)

    • openEvalBlock

      protected String openEvalBlock()

    • closeRule

      protected String closeRule()

    • yieldPart

      protected String yieldPart()

    • getNodeById

      protected Optional<org.bigraphs.framework.core.impl.BigraphEntity.NodeEntity<org.bigraphs.framework.core.impl.signature.DefaultDynamicControl>> getNodeById(String nodeId, org.bigraphs.framework.core.impl.pure.PureBigraph bigraph)

    • getParentId

      protected String getParentId(org.bigraphs.framework.core.impl.BigraphEntity.NodeEntity<org.bigraphs.framework.core.impl.signature.DefaultDynamicControl> node, org.bigraphs.framework.core.impl.pure.PureBigraph bigraph, boolean withTrackingMap)
      specific for bigraph rules
      Parameters:
      node - the node
      bigraph - the bigraph containing the node
      withTrackingMap - resolve node identifier with the help of the tracking map or not (for the reactum only)
      Returns:
      the identifier of the parent