Package com.uppaal.model.core2.lsc

Class TranslationMessageLabelCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.TranslationCommand

com.uppaal.model.core2.lsc.TranslationMessageLabelCommand

All Implemented Interfaces:

Command, CommonConstants, LscConstants

public class TranslationMessageLabelCommand
extends TranslationCommand
implements LscConstants

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

Fields inherited from interface com.uppaal.model.core2.CommonConstants

AREA_SELECT_COL, ARROW_ANGLE, ARROW_LENGTH, BIGFONT, BIGFONTNAME, EMPH_COL, FONT, FONTNAME, GLOBAL_DECL_COL, GLOBAL_PROCESSASSIGN_COL, GLOBAL_SYSTEM_COL, GRIDCHANGE, GRIDCOLOR, GRIDMIN, LEVEL, MOUSE_OVER_COL, MOUSE_OVER_REL_COL, PART_COV_COL, PROCESS_FILL_COL, PROCESS_OUTLINE_COL, SELECTED_COL, SNAP_PER_GRID, TEMPLATE_NAME_COL, TEMPLATE_PARAMLIST_COL, TRACE_COV_COL

Fields inherited from interface com.uppaal.model.core2.lsc.LscConstants

ANCHOR_PRECHART_RADIUS, ANCHOR_RADIUS, ARROW_BASE, ARROW_HEIGHT, CONDITION_COLD_COL, CONDITION_HOT_COL, CONDITION_SIDES, CONDITION_UPDATE_HEIGHT, CUT_SIDE_DISTANCE, CUT_Y_DISTANCE, FOOT_TOUCH_DISTANCE, INSTANCE_FILL_COL, INSTANCE_FOOT_HEIGHT, INSTANCE_FOOT_WIDTH, INSTANCE_HEIGHT, INSTANCE_LENGTH, INSTANCE_LINE_COL, INSTANCE_MIN_WIDTH, LOC_DISTANCE, MESSAGE_COL, MESSAGE_LABEL_COL, PRECHART_COL, PRECHART_MIN_HEIGHT, PRECHART_SIDE_DISTANCE, PRECHART_TOP_DISTANCE, TOP_DISTANCE, TOUCH_DISTANCE, TOUCH_INSTANCE_DISTANCE, UPDATE_COL

Constructor Summary

Constructors

Constructor	Description
TranslationMessageLabelCommand(CommandManager commandManager, java.util.ArrayList<Element> elements)	Constructor

Method Summary

Modifier and Type	Method	Description
protected void	doCancel()	Undo the translation.
protected void	doExecute()
protected void	doUndo()
void	move(int x, int y)	Move elements by (x, y).
protected void	moveElements(int x, int y)	Move elements by (x, y)
void	updateF()

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

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

TranslationMessageLabelCommand

public TranslationMessageLabelCommand(CommandManager commandManager,
                                      java.util.ArrayList<Element> elements)

Constructor

Parameters:

commandManager - - The command manager

elements - - The array list for the elements

Method Detail

moveElements

protected void moveElements(int x,
                            int y)

Description copied from class: TranslationCommand

Move elements by (x, y)

Overrides:

moveElements in class TranslationCommand

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)

Description copied from class: TranslationCommand

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 class TranslationCommand

Parameters:

x - - The x value

y - - The y value

doCancel

protected void doCancel()

Undo the translation. All elements are moved back to their original position. The translation can only be canceled as long as it has not been committed.

Overrides:

doCancel in class TranslationCommand

doExecute

protected void doExecute()

Overrides:

doExecute in class TranslationCommand

doUndo

protected void doUndo()

Overrides:

doUndo in class TranslationCommand

updateF

public void updateF()