com.uppaal.model.core2.lsc
Class SetLengthCommand

java.lang.Object
  com.uppaal.model.core2.AbstractCommand
      com.uppaal.model.core2.AbstractTransaction
          com.uppaal.model.core2.lsc.SetLengthCommand

All Implemented Interfaces:

Command, CommonConstants, LscConstants

public class SetLengthCommand
extends AbstractTransaction
implements LscConstants

Field Summary

protected InstanceLine	element
protected int	newLength
protected int	oldLength

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

SetLengthCommand(Document document, Element element, ViewWorkAround view)
Constructor

Method Summary

protected void	doCancel() Undo the translation.
protected void	doExecute()
protected void	doUndo()
Element	getModifiedElement()
void	resize(int y)

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

cancel, commit, execute, move, 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

element

protected InstanceLine element

newLength

protected int newLength

Constructor Detail

SetLengthCommand

public SetLengthCommand(Document document,
                        Element element,
                        ViewWorkAround view)

Constructor

Parameters:

document -

element -

Method Detail

resize

public void resize(int y)

Parameters:

x -

y -

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

doExecute

protected void doExecute()

Specified by:

doExecute in class AbstractTransaction

doUndo

protected void doUndo()

Specified by:

doUndo in class AbstractTransaction

getModifiedElement

public Element getModifiedElement()

Specified by:

getModifiedElement in interface Command

Returns:

the modified element or its closest relative (sibling or parent) if the element is not displayed.