com.uppaal.model.core2.lsc

Class InsertMessageCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.lsc.InsertMessageCommand

All Implemented Interfaces:

Command

public class InsertMessageCommand
extends AbstractTransaction

A transaction command for inserting elements. The transaction supports optionally setting a position, repeatedly.

Field Summary

Fields inherited from class com.uppaal.model.core2.AbstractTransaction

committed, document

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

Constructors

Constructor and Description
InsertMessageCommand(InstanceLine source, Message message) The hot sections touched by the message (and split)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	doCancel()
protected void	doExecute()
protected void	doUndo()
Element	getElement()
Element	getModifiedElement()
InstanceLine	getSource()
void	move(int x)
void	moveY(int y)
void	setTarget(InstanceLine target)

Methods inherited from class com.uppaal.model.core2.AbstractTransaction

cancel, commit, execute, move, undo

Methods inherited from class com.uppaal.model.core2.AbstractCommand

getVersion, setVersion

Methods inherited from class java.lang.Object

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

Constructor Detail

InsertMessageCommand

public InsertMessageCommand(InstanceLine source,
                    Message message)

The hot sections touched by the message (and split)

Method Detail

getSource

public InstanceLine getSource()

setTarget

public void setTarget(InstanceLine target)

getElement

public Element getElement()

doCancel

protected void doCancel()

Specified by:

doCancel in class AbstractTransaction

doExecute

protected void doExecute()

Specified by:

doExecute in class AbstractTransaction

doUndo

protected void doUndo()

Specified by:

doUndo in class AbstractTransaction

getModifiedElement

public Element getModifiedElement()

Returns:

the modified element or its closest relative (sibling or parent) if the element is not displayed.

move

public void move(int x)

moveY

public void moveY(int y)