Package com.uppaal.model.core2.lsc

Class InsertInstanceCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.InsertElementCommand

com.uppaal.model.core2.lsc.InsertInstanceCommand

All Implemented Interfaces:

Command

public class InsertInstanceCommand
extends InsertElementCommand

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

Field Summary

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

element, parent, position

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

commandManager, committed

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

version

Constructor Summary

Constructors

Constructor	Description
InsertInstanceCommand(AbstractTemplate parent, Node position, Node element, ViewWorkAround view)	Constructor

Method Summary

Modifier and Type	Method	Description
protected void	doCancel()
protected void	doExecute()
protected void	doUndo()
void	move(int x, int y)

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

getElement, getModifiedElement

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

cancel, commit, execute, 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

InsertInstanceCommand

public InsertInstanceCommand(AbstractTemplate parent,
                             Node position,
                             Node element,
                             ViewWorkAround view)

Constructor

Parameters:

parent - - The parent abstract template

position - - The insert position

element - - The element

view - - The view work around

Method Detail

move

public void move(int x,
                 int y)

Overrides:

move in class InsertElementCommand

doCancel

protected void doCancel()

Overrides:

doCancel in class InsertElementCommand

doExecute

protected void doExecute()

Overrides:

doExecute in class InsertElementCommand

doUndo

protected void doUndo()

Overrides:

doUndo in class InsertElementCommand