Package org.bigraphs.grgen.converter.demo

Class DemoBigraphProvider

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

  • Method Summary

    Modifier and Type
    Method
    Description
    static DemoBigraphProvider
    getInstance()
     
    org.bigraphs.framework.core.impl.pure.PureBigraph
    petriNet(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     
    org.bigraphs.framework.core.impl.pure.PureBigraph
    petriNet_withOuterNames(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature)
     
    org.bigraphs.framework.core.impl.pure.PureBigraph
    smartHome(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 DemoBigraphProvider getInstance()

    • petriNet

      public org.bigraphs.framework.core.impl.pure.PureBigraph petriNet(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException

    • petriNet_withOuterNames

      public org.bigraphs.framework.core.impl.pure.PureBigraph petriNet_withOuterNames(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException

    • smartHome

      public org.bigraphs.framework.core.impl.pure.PureBigraph smartHome(org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature signature) throws org.bigraphs.framework.core.exceptions.InvalidConnectionException, org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
      Throws:
      org.bigraphs.framework.core.exceptions.InvalidConnectionException
      org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException