Package com.uppaal.model.core2.lsc
Class ChangeAnchorCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.AbstractTransaction
-
- com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- All Implemented Interfaces:
Command
,CommonConstants
,LscConstants
public class ChangeAnchorCommand extends AbstractTransaction implements LscConstants
The class change anchor command
-
-
Field Summary
Fields Modifier and Type Field Description protected AnchoredElement
element
protected InstanceLine
newAnchor
protected InstanceLine
oldAnchor
-
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 ChangeAnchorCommand(CommandManager commandManager, Element element)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
changeAnchor(int x)
Change anchorprotected void
doCancel()
Undo the translation.protected void
doExecute()
protected void
doUndo()
Element
getModifiedElement()
void
setFinalAnchor(InstanceLine anchor, ViewWorkAround view)
Set the final anchor-
Methods inherited from class com.uppaal.model.core2.AbstractTransaction
cancel, commit, execute, move, undo
-
Methods inherited from class com.uppaal.model.core2.AbstractCommand
getVersion, merge, setVersion
-
-
-
-
Field Detail
-
oldAnchor
protected InstanceLine oldAnchor
-
newAnchor
protected InstanceLine newAnchor
-
element
protected AnchoredElement element
-
-
Constructor Detail
-
ChangeAnchorCommand
public ChangeAnchorCommand(CommandManager commandManager, Element element)
Constructor- Parameters:
commandManager
- - The command managerelement
- - The change element
-
-
Method Detail
-
changeAnchor
public void changeAnchor(int x)
Change anchor- Parameters:
x
- - The x value of the property 'x'
-
setFinalAnchor
public void setFinalAnchor(InstanceLine anchor, ViewWorkAround view)
Set the final anchor- Parameters:
anchor
- - The anchorview
- - The work view
-
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.- 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()
- Specified by:
getModifiedElement
in interfaceCommand
- Returns:
- the modified element or its closest relative (sibling or parent) if the element is not displayed.
-
-