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

Class BigraphChangeEvent.EdgeRemoved

java.lang.Object

org.bigraphs.framework.core.impl.pure.BigraphChangeEvent

org.bigraphs.framework.core.impl.pure.BigraphChangeEvent.EdgeRemoved

Enclosing class:

BigraphChangeEvent

public static class BigraphChangeEvent.EdgeRemoved
extends BigraphChangeEvent

Event fired when an edge is removed from the bigraph.

Nested Class Summary

Nested classes/interfaces inherited from class org.bigraphs.framework.core.impl.pure.BigraphChangeEvent

BigraphChangeEvent.EdgeAdded, BigraphChangeEvent.EdgeRemoved, BigraphChangeEvent.InnerNameAdded, BigraphChangeEvent.InnerNameLinked, BigraphChangeEvent.InnerNameRemoved, BigraphChangeEvent.InnerNameUnlinked, BigraphChangeEvent.LinkConnected, BigraphChangeEvent.LinkDisconnected, BigraphChangeEvent.NodeAdded, BigraphChangeEvent.NodeMoved, BigraphChangeEvent.NodeRemoved, BigraphChangeEvent.OuterNameAdded, BigraphChangeEvent.OuterNameRemoved, BigraphChangeEvent.RootAdded, BigraphChangeEvent.RootRemoved, BigraphChangeEvent.SiteAdded, BigraphChangeEvent.SiteRemoved

Constructor Summary

Constructors

Constructor	Description
EdgeRemoved(PureBigraphMutable source, BigraphEntity.Edge edge)

Method Summary

Modifier and Type	Method	Description
BigraphEntity.Edge	getEdge()

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

getSource

Methods inherited from class java.lang.Object

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

Constructor Details

EdgeRemoved

public EdgeRemoved(PureBigraphMutable source,
 BigraphEntity.Edge edge)

Method Details

getEdge

public BigraphEntity.Edge getEdge()