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

AnchoredElement(Element prototype)

Method Summary

protected abstract void	fireAnchorChanged(InstanceLine oldAnchor)
abstract InstanceLine	getAnchor()
abstract 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, insert, move, remove, setPrototype

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

acceptSafe, addListener, getColor, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, 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

Constructor Detail

AnchoredElement

public AnchoredElement(Element prototype)

Parameters:

prototype -

Method Detail

setAnchor

public abstract void setAnchor(InstanceLine anchor)

getAnchor

public abstract InstanceLine getAnchor()

fireAnchorChanged

protected abstract void fireAnchorChanged(InstanceLine oldAnchor)

getAnchors

public abstract ArrayList<InstanceLine> getAnchors()

Overrides:

getAnchors in class LscElement

Returns:

getLabel

public abstract Element getLabel()

Overrides:

getLabel in class LscElement

Returns: