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, 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()
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, merge, setVersion
-
-
-
-
Constructor Detail
-
TranslationMessageLabelCommand
public TranslationMessageLabelCommand(CommandManager commandManager, ArrayList<Element> elements)
Constructor- Parameters:
commandManager
- - The command managerelements
- - 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 classTranslationCommand
- 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 classTranslationCommand
- 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 canceled as long as it has not been committed.- Overrides:
doCancel
in classTranslationCommand
-
doExecute
protected void doExecute()
- Overrides:
doExecute
in classTranslationCommand
-
doUndo
protected void doUndo()
- Overrides:
doUndo
in classTranslationCommand
-
updateF
public void updateF()
-
-