Package com.uppaal.model.core2.lsc

Class AnchoredElement

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

All Implemented Interfaces:

CommonConstants, LscConstants, java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

Condition, Update

public abstract class AnchoredElement
extends LscElement

See Also:

Serialized Form

Field Summary

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.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
AnchoredElement(Element prototype)

Method Summary

Modifier and Type	Method	Description
protected abstract void	fireAnchorChanged(InstanceLine oldAnchor)
abstract InstanceLine	getAnchor()
abstract java.util.ArrayList<InstanceLine>	getAnchors()
abstract Element	getLabel()
abstract void	setAnchor(InstanceLine anchor)

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

getColor, getLabelValue, getTemperature, getWidth, getWidth, isHot, lighter

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

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

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

AnchoredElement

public AnchoredElement(Element prototype)

Parameters:

prototype - the prototype containing the default properties.

Method Detail

setAnchor

public abstract void setAnchor(InstanceLine anchor)

getAnchor

public abstract InstanceLine getAnchor()

fireAnchorChanged

protected abstract void fireAnchorChanged(InstanceLine oldAnchor)

getAnchors

public abstract java.util.ArrayList<InstanceLine> getAnchors()

Overrides:

getAnchors in class LscElement

Returns:

list of instance lines.

getLabel

public abstract Element getLabel()

Overrides:

getLabel in class LscElement

Returns:

the label element.