Package com.uppaal.model.core2.lsc

Class Condition

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.Condition

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class Condition
extends AnchoredElement

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

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Accept a visitor.
void	addAnchor(InstanceLine anchor)
protected void	fireAnchorChanged(InstanceLine oldAnchor)
InstanceLine	getAnchor()
ArrayList<InstanceLine>	getAnchors()
Element	getLabel()
String	getLabelValue()
Element	getPrototypeFromParent(Element parent)	Return the proper prototype for this element stored in the parent.
int	getWidth()
String[]	getXMLLabelKinds()	Returns possible XML label kinds this element supports.
boolean	isHot()
void	removeAnchor(InstanceLine anchor)
void	setAnchor(InstanceLine anchor)
void	setAnchors(ArrayList<InstanceLine> anchors)

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

getColor, getTemperature, getWidth, getWidth, 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

Methods inherited from class java.lang.Object

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

Constructor Details

Condition

public Condition(Element prototype)

Parameters:

prototype -

Method Details

getAnchor

public InstanceLine getAnchor()

Specified by:

getAnchor in class AnchoredElement

Returns:

the anchoring instance line.

setAnchor

public void setAnchor(InstanceLine anchor)

Specified by:

setAnchor in class AnchoredElement

Parameters:

anchor - an instance line as 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.

Overrides:

accept in class Node

Parameters:

visitor - - The visitor

Throws:

Exception - the visitor threw an 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

Parameters:

parent - - The parent element

Returns:

- The property

getWidth

public int getWidth()

fireAnchorChanged

protected void fireAnchorChanged(InstanceLine oldAnchor)

Specified by:

fireAnchorChanged in class AnchoredElement

getAnchors

public ArrayList<InstanceLine> getAnchors()

Specified by:

getAnchors in class AnchoredElement

Returns:

list of contained anchoring instance lines.

addAnchor

public void addAnchor(InstanceLine anchor)

Parameters:

anchor - an anchoring instance line to be added.

removeAnchor

public void removeAnchor(InstanceLine anchor)

isHot

public boolean isHot()

Overrides:

isHot in class LscElement

Returns:

if this condition is "hot".

setAnchors

public void setAnchors(ArrayList<InstanceLine> anchors)

Parameters:

anchors - the anchors to set

getLabel

public Element getLabel()

Specified by:

getLabel in class AnchoredElement

Returns:

the label element.

getLabelValue

public String getLabelValue()

Overrides:

getLabelValue in class LscElement

getXMLLabelKinds

public String[] getXMLLabelKinds()

Description copied from class: Element

Returns possible XML label kinds this element supports.

Overrides:

getXMLLabelKinds in class Element

Returns: