Package 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 Description Condition
anchoredToCondition
-
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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.String[]
getXMLLabelKinds()
Returns possible XML label kinds this element supports.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, 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, getTemplate, getX, getXPath, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath
-
-
-
-
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 classAnchoredElement
- Returns:
- the anchor
-
accept
public void accept(Visitor visitor) throws Exception
Description copied from class:Element
Accept a visitor. This method is specialized in every subclass. Part of the visitor pattern.
-
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 classElement
- Parameters:
parent
- - The parent element- Returns:
- - The property
-
setAnchor
public void setAnchor(InstanceLine anchor)
- Specified by:
setAnchor
in classAnchoredElement
- Parameters:
anchor
- the anchor to set
-
fireAnchorChanged
protected void fireAnchorChanged(InstanceLine oldAnchor)
- Specified by:
fireAnchorChanged
in classAnchoredElement
-
getAnchors
public ArrayList<InstanceLine> getAnchors()
- Specified by:
getAnchors
in classAnchoredElement
- Returns:
- list of instance lines.
-
setAnchoredToCondition
public void setAnchoredToCondition(Condition condition)
- Parameters:
condition
-
-
getAnchoredToCondition
public Condition getAnchoredToCondition()
- Returns:
- the anchoredToCondition
-
getLabel
public Element getLabel()
- Specified by:
getLabel
in classAnchoredElement
- Returns:
- the label element.
-
getLabelValue
public String getLabelValue()
- Overrides:
getLabelValue
in classLscElement
-
getXMLLabelKinds
public String[] getXMLLabelKinds()
Description copied from class:Element
Returns possible XML label kinds this element supports.- Overrides:
getXMLLabelKinds
in classElement
- Returns:
-
-