Package com.uppaal.model.core2.lsc
Class TranslationYCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.AbstractTransaction
-
- com.uppaal.model.core2.TranslationCommand
-
- com.uppaal.model.core2.lsc.TranslationYCommand
-
- All Implemented Interfaces:
Command
,CommonConstants
,LscConstants
public class TranslationYCommand extends TranslationCommand implements LscConstants
Translates (in the geometrical meaning) a set of elements.
-
-
Field Summary
Fields Modifier and Type Field Description protected int
newLength
protected int
oldLength
protected boolean
resize
protected ViewWorkAround
view
-
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 TranslationYCommand(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 y)
Move elements by (0, y).void
resizeIfNecessary(ViewWorkAround view)
-
Methods inherited from class com.uppaal.model.core2.TranslationCommand
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, merge, setVersion
-
-
-
-
Field Detail
-
oldLength
protected int oldLength
-
newLength
protected int newLength
-
view
protected ViewWorkAround view
-
resize
protected boolean resize
-
-
Constructor Detail
-
TranslationYCommand
public TranslationYCommand(CommandManager commandManager, ArrayList<Element> elements)
Constructor- Parameters:
commandManager
- - The command managerelements
- - The array list for the elements
-
-
Method Detail
-
move
public void move(int y)
Move elements by (0, 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.
-
resizeIfNecessary
public void resizeIfNecessary(ViewWorkAround view)
-
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.- Overrides:
doCancel
in classTranslationCommand
-
doExecute
protected void doExecute()
- Overrides:
doExecute
in classTranslationCommand
-
doUndo
protected void doUndo()
- Overrides:
doUndo
in classTranslationCommand
-
-