Package com.uppaal.model.core2
Class TranslationCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.AbstractTransaction
-
- com.uppaal.model.core2.TranslationCommand
-
- All Implemented Interfaces:
Command
- Direct Known Subclasses:
TranslationMessageLabelCommand
,TranslationXCommand
,TranslationYCommand
public class TranslationCommand extends AbstractTransaction
Translates (in the geometrical meaning) a set of elements.
-
-
Field Summary
Fields Modifier and Type Field Description protected ArrayList<Element>
elements
protected int
xd
protected int
yd
-
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 TranslationCommand(CommandManager commandManager, ArrayList<Element> elements)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
doCancel()
Undo the translation.protected void
doExecute()
protected void
doUndo()
Element
getModifiedElement()
void
move(int x, int y)
Move elements by (x, y).protected void
moveElements(int x, int y)
Move elements by (x, y)-
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
-
TranslationCommand
public TranslationCommand(CommandManager commandManager, ArrayList<Element> elements)
Constructor- Parameters:
commandManager
- - The command managerelements
- - The array list of the elements
-
-
Method Detail
-
moveElements
protected void moveElements(int x, int y)
Move elements by (x, y)- Parameters:
x
- - The x value of the property name 'x'y
- - The y value of the property name 'y'
-
move
public void move(int x, int y)
Move elements by (x, y). This method can be called repeatedly as long as the translation has not been committed. The elements are actually moved, so change events are propagated.- Overrides:
move
in classAbstractTransaction
- Parameters:
x
- - The x valuey
- - The y value
-
doCancel
protected void doCancel()
Undo the translation. All elements are moved back to their original position. The translation can only be cancelled as long as it has not been committed.- Specified by:
doCancel
in classAbstractTransaction
-
doExecute
protected void doExecute()
- Specified by:
doExecute
in classAbstractTransaction
-
doUndo
protected void doUndo()
- Specified by:
doUndo
in classAbstractTransaction
-
getModifiedElement
public Element getModifiedElement()
- Returns:
- the modified element or its closest relative (sibling or parent) if the element is not displayed.
-
-