Package com.uppaal.model.core2
Class AbstractEventListener
- java.lang.Object
-
- com.uppaal.model.core2.AbstractEventListener
-
- All Implemented Interfaces:
EventListener
public class AbstractEventListener extends Object implements EventListener
Abstract listener class to listen for element events.
-
-
Constructor Summary
Constructors Constructor Description AbstractEventListener()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
afterInsertion(Node parent, Node node)
void
afterMove(Node parent, Node child)
void
afterRemoval(Node parent, Node node)
void
anchorChanged(AnchoredElement element, InstanceLine oldAnchor, InstanceLine newAnchor)
void
beforeRemoval(Node parent, Node node)
void
edgeSourceChanged(Edge source, AbstractLocation oldSource, AbstractLocation newSource)
void
edgeTargetChanged(Edge source, AbstractLocation oldTarget, AbstractLocation newTarget)
void
messageSourceChanged(Message source, InstanceLine oldSource, InstanceLine newSource)
void
messageTargetChanged(Message source, InstanceLine oldTarget, InstanceLine newTarget)
void
propertyChanged(Property source, String property, Object old, Object value)
-
-
-
Method Detail
-
propertyChanged
public void propertyChanged(Property source, String property, Object old, Object value)
- Specified by:
propertyChanged
in interfaceEventListener
-
afterInsertion
public void afterInsertion(Node parent, Node node)
- Specified by:
afterInsertion
in interfaceEventListener
-
afterMove
public void afterMove(Node parent, Node child)
- Specified by:
afterMove
in interfaceEventListener
-
beforeRemoval
public void beforeRemoval(Node parent, Node node)
- Specified by:
beforeRemoval
in interfaceEventListener
-
afterRemoval
public void afterRemoval(Node parent, Node node)
- Specified by:
afterRemoval
in interfaceEventListener
-
edgeSourceChanged
public void edgeSourceChanged(Edge source, AbstractLocation oldSource, AbstractLocation newSource)
- Specified by:
edgeSourceChanged
in interfaceEventListener
-
edgeTargetChanged
public void edgeTargetChanged(Edge source, AbstractLocation oldTarget, AbstractLocation newTarget)
- Specified by:
edgeTargetChanged
in interfaceEventListener
-
messageSourceChanged
public void messageSourceChanged(Message source, InstanceLine oldSource, InstanceLine newSource)
- Specified by:
messageSourceChanged
in interfaceEventListener
-
messageTargetChanged
public void messageTargetChanged(Message source, InstanceLine oldTarget, InstanceLine newTarget)
- Specified by:
messageTargetChanged
in interfaceEventListener
-
anchorChanged
public void anchorChanged(AnchoredElement element, InstanceLine oldAnchor, InstanceLine newAnchor)
- Specified by:
anchorChanged
in interfaceEventListener
-
-