com.uppaal.model.core2.lsc

Class TranslationXCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.TranslationCommand

com.uppaal.model.core2.lsc.TranslationXCommand

All Implemented Interfaces:

Command

public class TranslationXCommand
extends TranslationCommand

Translates (in the geometrical meaning) a set of elements.

Field Summary

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

elements, xd, 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 and Description
TranslationXCommand(CommandManager commandManager, ArrayList<Element> elements) Constructor

Method Summary

Modifier and Type	Method and Description
void	move(int x) Move elements by (x, 0).

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

doCancel, doExecute, doUndo, getModifiedElement, move, moveElements

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

TranslationXCommand

public TranslationXCommand(CommandManager commandManager,
                           ArrayList<Element> elements)

Constructor

Parameters:

commandManager - - The command manager

elements - - The array list for the elements

Method Detail

move

public void move(int x)

Move elements by (x, 0). 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.