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 and 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

committed, document

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

version

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

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

Constructor Summary

Constructors

Constructor and Description
TranslationYCommand(Document document, ArrayList<Element> elements)

Method Summary

Methods

Modifier and Type	Method and 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, setVersion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

oldLength

protected int oldLength

newLength

protected int newLength

view

protected ViewWorkAround view

resize

protected boolean resize

Constructor Detail

TranslationYCommand

public TranslationYCommand(Document document,
                   ArrayList<Element> 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 class TranslationCommand

doExecute

protected void doExecute()

Overrides:

doExecute in class TranslationCommand

doUndo

protected void doUndo()

Overrides:

doUndo in class TranslationCommand