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

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)

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractEventListener

public AbstractEventListener()

Method Details

propertyChanged

public void propertyChanged(Property source, String property, Object old, Object value)

Specified by:

propertyChanged in interface EventListener

afterInsertion

public void afterInsertion(Node parent, Node node)

Specified by:

afterInsertion in interface EventListener

afterMove

public void afterMove(Node parent, Node child)

Specified by:

afterMove in interface EventListener

beforeRemoval

public void beforeRemoval(Node parent, Node node)

Specified by:

beforeRemoval in interface EventListener

afterRemoval

public void afterRemoval(Node parent, Node node)

Specified by:

afterRemoval in interface EventListener

edgeSourceChanged

public void edgeSourceChanged(Edge source, AbstractLocation oldSource, AbstractLocation newSource)

Specified by:

edgeSourceChanged in interface EventListener

edgeTargetChanged

public void edgeTargetChanged(Edge source, AbstractLocation oldTarget, AbstractLocation newTarget)

Specified by:

edgeTargetChanged in interface EventListener

messageSourceChanged

public void messageSourceChanged(Message source, InstanceLine oldSource, InstanceLine newSource)

Specified by:

messageSourceChanged in interface EventListener

messageTargetChanged

public void messageTargetChanged(Message source, InstanceLine oldTarget, InstanceLine newTarget)

Specified by:

messageTargetChanged in interface EventListener

anchorChanged

public void anchorChanged(AnchoredElement element, InstanceLine oldAnchor, InstanceLine newAnchor)

Specified by:

anchorChanged in interface EventListener