Package com.uppaal.model.core2

Interface EventListener

All Known Implementing Classes:

AbstractEventListener

public interface EventListener

Listener interface to listen for element events.

Method Summary

Modifier and Type	Method	Description
void	afterInsertion(Node parent, Node node)
void	afterMove(Node parent, Node node)
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

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

afterInsertion

void afterInsertion(Node parent,
                    Node node)

beforeRemoval

void beforeRemoval(Node parent,
                   Node node)

afterRemoval

void afterRemoval(Node parent,
                  Node node)

afterMove

void afterMove(Node parent,
               Node node)

edgeSourceChanged

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

edgeTargetChanged

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

messageSourceChanged

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

messageTargetChanged

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

anchorChanged

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