Package org.bigraphs.framework.core.impl.pure

Interface BigraphChangeListener

public interface BigraphChangeListener
Listener interface for receiving notifications about bigraph structure changes.

Implementations of this interface can be registered with PureBigraphMutable to be notified when the bigraph structure is modified.

Usage Example:


 bigraph.addChangeListener(new BigraphChangeListener() {
     @Override
     public void onNodeAdded(BigraphChangeEvent event) {
         System.out.println("Node added: " + event.getNode());
     }
     
     @Override
     public void onNodeRemoved(BigraphChangeEvent event) {
         System.out.println("Node removed: " + event.getNode());
     }
 });
Author:
AI Assistant
See Also:

  • Method Details

    • onNodeAdded

      default void onNodeAdded(BigraphChangeEvent event)
      Called when a node is added to the bigraph.
      Parameters:
      event - the event containing details about the added node

    • onNodeRemoved

      default void onNodeRemoved(BigraphChangeEvent event)
      Called when a node is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed node

    • onNodeMoved

      default void onNodeMoved(BigraphChangeEvent event)
      Called when a node is moved to a different parent.
      Parameters:
      event - the event containing details about the moved node

    • onRootAdded

      default void onRootAdded(BigraphChangeEvent event)
      Called when a root is added to the bigraph.
      Parameters:
      event - the event containing details about the added root

    • onRootRemoved

      default void onRootRemoved(BigraphChangeEvent event)
      Called when a root is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed root

    • onEdgeAdded

      default void onEdgeAdded(BigraphChangeEvent event)
      Called when an edge is added to the bigraph.
      Parameters:
      event - the event containing details about the added edge

    • onEdgeRemoved

      default void onEdgeRemoved(BigraphChangeEvent event)
      Called when an edge is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed edge

    • onOuterNameAdded

      default void onOuterNameAdded(BigraphChangeEvent event)
      Called when an outer name is added to the bigraph.
      Parameters:
      event - the event containing details about the added outer name

    • onOuterNameRemoved

      default void onOuterNameRemoved(BigraphChangeEvent event)
      Called when an outer name is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed outer name

    • onLinkConnected

      default void onLinkConnected(BigraphChangeEvent event)
      Called when a port is connected to a link.
      Parameters:
      event - the event containing details about the connection

    • onLinkDisconnected

      default void onLinkDisconnected(BigraphChangeEvent event)
      Called when a port is disconnected from a link.
      Parameters:
      event - the event containing details about the disconnection

    • onInnerNameAdded

      default void onInnerNameAdded(BigraphChangeEvent event)
      Called when an inner name is added to the bigraph.
      Parameters:
      event - the event containing details about the added inner name

    • onInnerNameRemoved

      default void onInnerNameRemoved(BigraphChangeEvent event)
      Called when an inner name is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed inner name

    • onSiteAdded

      default void onSiteAdded(BigraphChangeEvent event)
      Called when a site is added to the bigraph.
      Parameters:
      event - the event containing details about the added site

    • onSiteRemoved

      default void onSiteRemoved(BigraphChangeEvent event)
      Called when a site is removed from the bigraph.
      Parameters:
      event - the event containing details about the removed site

    • onInnerNameLinked

      default void onInnerNameLinked(BigraphChangeEvent event)
      Called when an inner name is connected to a link.
      Parameters:
      event - the event containing details about the connection

    • onInnerNameUnlinked

      default void onInnerNameUnlinked(BigraphChangeEvent event)
      Called when an inner name is disconnected from a link.
      Parameters:
      event - the event containing details about the disconnection