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
,Serializable
,Cloneable
public abstract class AnchoredElement extends LscElement
- See Also:
- Serialized Form
-
-
Field Summary
-
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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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, 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
-
-
-
-
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 ArrayList<InstanceLine> getAnchors()
- Overrides:
getAnchors
in classLscElement
- Returns:
- list of instance lines.
-
getLabel
public abstract Element getLabel()
- Overrides:
getLabel
in classLscElement
- Returns:
- the label element.
-
-