Package org.bigraphs.grgen.converter.demo

Class DemoRuleProvider

java.lang.Object
org.bigraphs.grgen.converter.demo.DemoRuleProvider
public class DemoRuleProvider extends Object

  • Method Summary

    Modifier and Type
    Method
    Description
    static DemoRuleProvider
    getInstance()
     
    org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph>
    petriNetAddRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     
    org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph>
    petriNetFireRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     
    org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph>
    petriNetFireRule_withOuterNames(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     
    org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph>
    smartHomeMoveRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Method Details

    • getInstance

      public static DemoRuleProvider getInstance()

    • petriNetFireRule

      public org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph> petriNetFireRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException, org.bigraphs.framework.core.exceptions.InvalidReactionRuleException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
      org.bigraphs.framework.core.exceptions.InvalidReactionRuleException

    • petriNetFireRule_withOuterNames

      public org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph> petriNetFireRule_withOuterNames(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException, org.bigraphs.framework.core.exceptions.InvalidReactionRuleException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
      org.bigraphs.framework.core.exceptions.InvalidReactionRuleException

    • petriNetAddRule

      public org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph> petriNetAddRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.InvalidReactionRuleException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.InvalidReactionRuleException

    • smartHomeMoveRule

      public org.bigraphs.framework.core.reactivesystem.ReactionRule<org.bigraphs.framework.core.impl.pure.PureBigraph> smartHomeMoveRule(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws Exception
      Throws:
      Exception