Package com.uppaal.model.core2.lsc

Class Message

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.lsc.LscElement

com.uppaal.model.core2.lsc.Message

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class Message
extends LscElement

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected InstanceLine	source
protected InstanceLine	target

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

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Accept a visitor.
ArrayList<InstanceLine>	getAnchors()
String	getLabelValue()
Element	getPrototypeFromParent(Element parent)	Return the proper prototype for this element stored in the parent.
InstanceLine	getSource()
InstanceLine	getTarget()
String[]	getXMLLabelKinds()	Returns possible XML label kinds this element supports.
void	setSource(InstanceLine source)
void	setTarget(InstanceLine target)

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

getColor, getLabel, 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

Methods inherited from class java.lang.Object

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

Field Details

source

protected InstanceLine source

target

protected InstanceLine target

Constructor Details

Message

public Message(Element prototype)

Parameters:

prototype -

Method Details

getSource

public InstanceLine getSource()

Returns:

the source

getTarget

public InstanceLine getTarget()

Returns:

the target

setSource

public void setSource(InstanceLine source)

Parameters:

source -

setTarget

public void setTarget(InstanceLine target)

Parameters:

target -

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.

getAnchors

public ArrayList<InstanceLine> getAnchors()

Overrides:

getAnchors in class LscElement

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

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: