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
All Methods Instance Methods Concrete Methods 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, merge, setVersion
-
-
-
-
Constructor Detail
-
InsertInstanceCommand
public InsertInstanceCommand(AbstractTemplate parent, Node position, Node element, ViewWorkAround view)
Constructor- Parameters:
parent
- - The parent abstract templateposition
- - The insert positionelement
- - The elementview
- - The view work around
-
-
Method Detail
-
move
public void move(int x, int y)
- Overrides:
move
in classInsertElementCommand
-
doCancel
protected void doCancel()
- Overrides:
doCancel
in classInsertElementCommand
-
doExecute
protected void doExecute()
- Overrides:
doExecute
in classInsertElementCommand
-
doUndo
protected void doUndo()
- Overrides:
doUndo
in classInsertElementCommand
-
-