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

Class PureBigraphMutable

java.lang.Object

org.bigraphs.framework.core.impl.pure.PureBigraph

org.bigraphs.framework.core.impl.pure.PureBigraphMutable

All Implemented Interfaces:

Bigraph<DynamicSignature>, EcoreBigraph<DynamicSignature>, EcoreBigraphExt, HasSignature<DynamicSignature>

public class PureBigraphMutable
extends PureBigraph

Mutable extension of PureBigraph that supports live editing operations.

This class provides methods to modify the bigraph structure at runtime without requiring a complete rebuild. Changes are applied to both the EMF model and internal caches incrementally for optimal performance.

Key Features:

• O(1) mutation operations (addNode, removeNode, etc.)
• Automatic cache synchronization
• Event notification for change listeners
• Maintains consistency between EMF and entity collections

Usage Example:

 PureBigraphMutable bigraph = builder.createMutable();
 
 // Add a new node
 BigraphEntity.NodeEntity newNode = bigraph.addNode(parentNode, sensorControl, "sensor_1");
 
 // Remove a node
 bigraph.removeNode(nodeToRemove);
 
 // Connect to outer name
 bigraph.connectPortToOuterName(port, outerName);
 

Author:

Manuel Krombholz, AI Assistant (Mutable Extension)

See Also:

• PureBigraph
• PureBigraphBuilder

Nested Class Summary

Nested classes/interfaces inherited from interface org.bigraphs.framework.core.EcoreBigraph

EcoreBigraph.Stub<S extends AbstractEcoreSignature<?>>

Constructor Summary

Constructors

Constructor	Description
PureBigraphMutable(BigraphBuilderSupport.InstanceParameter details)

Method Summary

Modifier and Type	Method	Description
void	addChangeListener(BigraphChangeListener listener)
BigraphEntity.Edge	addEdge()	Adds a new edge to the bigraph with an auto-generated name.
BigraphEntity.Edge	addEdge(String name)	Adds a new edge to the bigraph with the specified name.
BigraphEntity.InnerName	addInnerName(String name)	Adds a new inner name to the bigraph.
BigraphEntity.NodeEntity<DynamicControl>	addNode(BigraphEntity<?> parent, DynamicControl control, String name)	Adds a new node to the bigraph as a child of the specified parent.
BigraphEntity.OuterName	addOuterName(String name)	Adds a new outer name to the bigraph.
BigraphEntity.Port	addPortToNode(BigraphEntity.NodeEntity<?> node)	Adds a new port to a node.
BigraphEntity.RootEntity	addRoot()	Adds a new root to the bigraph.
BigraphEntity.SiteEntity	addSite(BigraphEntity<?> parent)	Adds a new site to the bigraph as a child of the specified parent.
void	closeInner(BigraphEntity.InnerName innerName)	Closes an inner name by disconnecting it from its link and removing it from the bigraph.
void	closeName(BigraphEntity<?> name)	Closes a name endpoint by its concrete role.
void	closeOuter(BigraphEntity.OuterName outerName)	Closes an outer name by disconnecting all attached points and removing the outer name.
void	connectInnerNameToLink(BigraphEntity.InnerName innerName, BigraphEntity.Link link)	Connects an inner name to a link (edge or outer name).
BigraphEntity.Port	connectNodeToLink(BigraphEntity.NodeEntity<?> node, BigraphEntity.Link link)	High-level convenience method: connects a node to a link by reusing an existing free (unlinked) port when available, or by creating a new one.
void	connectPortToLink(BigraphEntity.Port port, BigraphEntity.Link link)	Connects a port to a link (edge or outer name).
void	disconnectInnerName(BigraphEntity.InnerName innerName)	Disconnects an inner name from its link.
void	disconnectPort(BigraphEntity.Port port)	Disconnects a port from its link.
List<BigraphEntity<?>>	getChildrenOf(BigraphEntity<?> node)	Returns the set of children of a given node (including sites).
List<BigraphEntity.Edge>	getEdges()
List<BigraphEntity.InnerName>	getInnerNames()
BigraphEntity.NodeEntity<DynamicControl>	getNodeOfPort(BigraphEntity.Port port)
List<BigraphEntity.NodeEntity<DynamicControl>>	getNodes()
List<BigraphEntity.OuterName>	getOuterNames()
BigraphEntity<?>	getParent(BigraphEntity<?> node)	Get the parent of a bigraph's place.
List<BigraphEntity.RootEntity>	getRoots()
List<BigraphEntity.SiteEntity>	getSites()
void	moveNode(BigraphEntity.NodeEntity<DynamicControl> node, BigraphEntity<?> newParent)	Moves a node to a new parent.
void	removeChangeListener(BigraphChangeListener listener)
void	removeEdge(BigraphEntity.Edge edge)	Removes an edge from the bigraph.
void	removeInnerName(BigraphEntity.InnerName innerName)	Removes an inner name from the bigraph.
void	removeNode(BigraphEntity.NodeEntity<DynamicControl> node)	Removes a node from the bigraph.
void	removeOuterName(BigraphEntity.OuterName outerName)	Removes an outer name from the bigraph.
void	removeRoot(BigraphEntity.RootEntity root)	Removes a root from the bigraph.
void	removeSite(BigraphEntity.SiteEntity site)	Removes a site from the bigraph.

Methods inherited from class org.bigraphs.framework.core.impl.pure.PureBigraph

areConnected, getAllLinks, getAllPlaces, getInstanceModel, getLevelOf, getLinkOfPoint, getMetaModel, getOpenNeighborhoodOfNode, getPointsFromLink, getPortCount, getPorts, getSiblingsOfInnerName, getSiblingsOfNode, getSignature, getTopLevelRoot, isParentOf

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.bigraphs.framework.core.Bigraph

getIncidentLinksOf, getInnerFace, getOuterFace, getSupport, isActive, isActiveAtNode, isActiveAtSite, isDiscrete, isEpimorphic, isGround, isGuarding, isLean, isMonomorphic, isPrime

Methods inherited from interface org.bigraphs.framework.core.EcoreBigraph

getEMetaModelData, isBEdge, isBInnerName, isBLink, isBNode, isBOuterName, isBPlace, isBPoint, isBPort, isBRoot, isBSite, isIndexable, isNameable, isOfEClass

Constructor Details

PureBigraphMutable

public PureBigraphMutable(BigraphBuilderSupport.InstanceParameter details)

Method Details

getRoots

public List<BigraphEntity.RootEntity> getRoots()

Specified by:

getRoots in interface Bigraph<DynamicSignature>

Overrides:

getRoots in class PureBigraph

getNodes

public List<BigraphEntity.NodeEntity<DynamicControl>> getNodes()

Specified by:

getNodes in interface Bigraph<DynamicSignature>

Overrides:

getNodes in class PureBigraph

getSites

public List<BigraphEntity.SiteEntity> getSites()

Specified by:

getSites in interface Bigraph<DynamicSignature>

Overrides:

getSites in class PureBigraph

getInnerNames

public List<BigraphEntity.InnerName> getInnerNames()

Specified by:

getInnerNames in interface Bigraph<DynamicSignature>

Overrides:

getInnerNames in class PureBigraph

getOuterNames

public List<BigraphEntity.OuterName> getOuterNames()

Specified by:

getOuterNames in interface Bigraph<DynamicSignature>

Overrides:

getOuterNames in class PureBigraph

getEdges

public List<BigraphEntity.Edge> getEdges()

Specified by:

getEdges in interface Bigraph<DynamicSignature>

Overrides:

getEdges in class PureBigraph

getParent

public BigraphEntity<?> getParent(BigraphEntity<?> node)

Description copied from interface: Bigraph

Get the parent of a bigraph's place. Passing a root as argument will always return null.

Specified by:

getParent in interface Bigraph<DynamicSignature>

Overrides:

getParent in class PureBigraph

Parameters:

node - a place of this bigraph

Returns:

the parent of the given place, or null

getChildrenOf

public List<BigraphEntity<?>> getChildrenOf(BigraphEntity<?> node)

Description copied from interface: Bigraph

Returns the set of children of a given node (including sites).
If the node has no children, then an empty set is returned.

Specified by:

getChildrenOf in interface Bigraph<DynamicSignature>

Overrides:

getChildrenOf in class PureBigraph

Parameters:

node - the node whose children should be returned

Returns:

a set of children of the given node

getNodeOfPort

public BigraphEntity.NodeEntity<DynamicControl> getNodeOfPort(BigraphEntity.Port port)

Specified by:

getNodeOfPort in interface Bigraph<DynamicSignature>

Overrides:

getNodeOfPort in class PureBigraph

addNode

public BigraphEntity.NodeEntity<DynamicControl> addNode(BigraphEntity<?> parent,
 DynamicControl control,
 String name)

Adds a new node to the bigraph as a child of the specified parent.

Parameters:

parent - the parent entity (can be a Root or another Node)

control - the control defining the node type

name - optional name for the node (can be null)

Returns:

the newly created node entity

Throws:

IllegalArgumentException - if parent cannot have children or control is null

removeNode

public void removeNode(BigraphEntity.NodeEntity<DynamicControl> node)

Removes a node from the bigraph.

Parameters:

node - the node to remove

Throws:

IllegalArgumentException - if node is null or not found

moveNode

public void moveNode(BigraphEntity.NodeEntity<DynamicControl> node,
 BigraphEntity<?> newParent)

Moves a node to a new parent.

Parameters:

node - the node to move

newParent - the new parent

Throws:

IllegalArgumentException - if node or newParent is null

addSite

public BigraphEntity.SiteEntity addSite(BigraphEntity<?> parent)

Adds a new site to the bigraph as a child of the specified parent.

Sites are place-graph placeholders (holes) — they carry no control, arity, or link information. The site index is assigned automatically based on the current site count.

Parameters:

parent - the parent entity (Root or Node); must not be null and must support children

Returns:

the newly created site entity

Throws:

IllegalArgumentException - if parent is null or cannot have children

removeSite

public void removeSite(BigraphEntity.SiteEntity site)

Removes a site from the bigraph.

Parameters:

site - the site to remove

Throws:

IllegalArgumentException - if site is null or not found in the bigraph

addRoot

public BigraphEntity.RootEntity addRoot()

Adds a new root to the bigraph.

Returns:

the newly created root entity

removeRoot

public void removeRoot(BigraphEntity.RootEntity root)

Removes a root from the bigraph.

Parameters:

root - the root to remove

Throws:

IllegalArgumentException - if root is null or not found

addEdge

public BigraphEntity.Edge addEdge()

Adds a new edge to the bigraph with an auto-generated name.

Returns:

the newly created edge entity

addEdge

public BigraphEntity.Edge addEdge(String name)

Adds a new edge to the bigraph with the specified name.

Parameters:

name - the name for the edge

Returns:

the newly created edge entity

removeEdge

public void removeEdge(BigraphEntity.Edge edge)

Removes an edge from the bigraph.

Parameters:

edge - the edge to remove

Throws:

IllegalArgumentException - if edge is null or not found

connectPortToLink

public void connectPortToLink(BigraphEntity.Port port,
 BigraphEntity.Link link)

Connects a port to a link (edge or outer name).

Parameters:

port - the port to connect

link - the link to connect to

Throws:

IllegalArgumentException - if port or link is null

connectInnerNameToLink

public void connectInnerNameToLink(BigraphEntity.InnerName innerName,
 BigraphEntity.Link link)

Connects an inner name to a link (edge or outer name).

Parameters:

innerName - the inner name to connect

link - the link to connect to

Throws:

IllegalArgumentException - if innerName or link is null

connectNodeToLink

public BigraphEntity.Port connectNodeToLink(BigraphEntity.NodeEntity<?> node,
 BigraphEntity.Link link)

High-level convenience method: connects a node to a link by reusing an existing free (unlinked) port when available, or by creating a new one.

This is the preferred API for callers that simply want to establish a Node → Link connection without managing ports manually. It encapsulates:

1. Finding a free port (one whose bLink reference is null).
2. Creating a new port if none is free and the arity allows it.
3. Calling connectPortToLink(BigraphEntity.Port, BigraphEntity.Link).

Parameters:

node - the node to connect

link - the link (Edge or OuterName) to connect to

Returns:

the port that was used or created for the connection

Throws:

IllegalArgumentException - if node or link is null

IllegalStateException - if all ports are already linked and the arity limit has been reached

addPortToNode

public BigraphEntity.Port addPortToNode(BigraphEntity.NodeEntity<?> node)

Adds a new port to a node. The port index is automatically assigned based on existing ports.

Parameters:

node - the node to add the port to

Returns:

the newly created port

Throws:

IllegalArgumentException - if node is null

IllegalStateException - if node has reached its arity limit

disconnectPort

public void disconnectPort(BigraphEntity.Port port)

Disconnects a port from its link.

Parameters:

port - the port to disconnect

Throws:

IllegalArgumentException - if port is null

disconnectInnerName

public void disconnectInnerName(BigraphEntity.InnerName innerName)

Disconnects an inner name from its link.

Parameters:

innerName - the inner name to disconnect

Throws:

IllegalArgumentException - if innerName is null

closeName

public void closeName(BigraphEntity<?> name)

Closes a name endpoint by its concrete role.

Semantics:

• Inner name: disconnect from its current link (if any), then remove the inner name.
• Outer name: disconnect all currently attached points, then remove the outer name.

This is a mutable convenience API mirroring the role-specific close behavior while allowing callers to dispatch on a single method at call-site.

Parameters:

name - the name endpoint to close (inner or outer)

Throws:

IllegalArgumentException - if name is null or not an inner/outer name

closeInner

public void closeInner(BigraphEntity.InnerName innerName)

Closes an inner name by disconnecting it from its link and removing it from the bigraph.

Parameters:

innerName - the inner name to close

closeOuter

public void closeOuter(BigraphEntity.OuterName outerName)

Closes an outer name by disconnecting all attached points and removing the outer name.

Parameters:

outerName - the outer name to close

addOuterName

public BigraphEntity.OuterName addOuterName(String name)

Adds a new outer name to the bigraph.

Parameters:

name - the name of the outer name

Returns:

the newly created outer name entity

Throws:

IllegalArgumentException - if name is null or empty

removeOuterName

public void removeOuterName(BigraphEntity.OuterName outerName)

Removes an outer name from the bigraph.

Parameters:

outerName - the outer name to remove

Throws:

IllegalArgumentException - if outerName is null or not found

addInnerName

public BigraphEntity.InnerName addInnerName(String name)

Adds a new inner name to the bigraph.

Parameters:

name - the name of the inner name

Returns:

the newly created inner name entity

Throws:

IllegalArgumentException - if name is null or empty

removeInnerName

public void removeInnerName(BigraphEntity.InnerName innerName)

Removes an inner name from the bigraph.

Parameters:

innerName - the inner name to remove

Throws:

IllegalArgumentException - if innerName is null or not found

addChangeListener

public void addChangeListener(BigraphChangeListener listener)

removeChangeListener

public void removeChangeListener(BigraphChangeListener listener)