com.uppaal.model.core2.lsc

Class Update

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.lsc.LscElement

com.uppaal.model.core2.lsc.AnchoredElement

com.uppaal.model.core2.lsc.Update

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class Update
extends AnchoredElement

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
Condition	anchoredToCondition

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

first, next, previous

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

listeners, properties, prototype

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

Constructors

Constructor and Description
Update(Element prototype)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(Visitor visitor) Accept a visitor.
protected void	fireAnchorChanged(InstanceLine oldAnchor)
InstanceLine	getAnchor()
Condition	getAnchoredToCondition()
ArrayList<InstanceLine>	getAnchors()
Element	getLabel()
String	getLabelValue()
Element	getPrototypeFromParent(Element parent) Return the proper prototype for this element stored in the parent.
void	setAnchor(InstanceLine anchor)
void	setAnchoredToCondition(Condition condition)

Methods inherited from class com.uppaal.model.core2.lsc.LscElement

getColor, getTemperature, getWidth, getWidth, isHot, lighter

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

clone, getFirst, getLast, getNext, getPrevious, insert, move, remove, setPrototype

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

acceptSafe, addListener, getColor, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setProperty, setPropertyFromPath

Methods inherited from class java.lang.Object

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

Field Detail

anchoredToCondition

public Condition anchoredToCondition

Constructor Detail

Update

public Update(Element prototype)

Parameters:

prototype -

Method Detail

getAnchor

public InstanceLine getAnchor()

Specified by:

getAnchor in class AnchoredElement

Returns:

the anchor

accept

public void accept(Visitor visitor)
            throws Exception

Description copied from class: Element

Accept a visitor. This method is specialised in every subclass. Part of the visitor pattern.

Overrides:

accept in class Node

Throws:

Exception

getPrototypeFromParent

public Element getPrototypeFromParent(Element parent)

Description copied from class: Element

Return the proper prototype for this element stored in the parent. This is used by importInto().

Overrides:

getPrototypeFromParent in class Element

setAnchor

public void setAnchor(InstanceLine anchor)

Specified by:

setAnchor in class AnchoredElement

Parameters:

anchor - the anchor to set

fireAnchorChanged

protected void fireAnchorChanged(InstanceLine oldAnchor)

Specified by:

fireAnchorChanged in class AnchoredElement

getAnchors

public ArrayList<InstanceLine> getAnchors()

Specified by:

getAnchors in class AnchoredElement

setAnchoredToCondition

public void setAnchoredToCondition(Condition condition)

Parameters:

condition -

getAnchoredToCondition

public Condition getAnchoredToCondition()

Returns:

the anchoredToCondition

getLabel

public Element getLabel()

Specified by:

getLabel in class AnchoredElement

Returns:

getLabelValue

public String getLabelValue()

Overrides:

getLabelValue in class LscElement