Package com.uppaal.model.core2.lsc

Class Simregion

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.lsc.LscElement

com.uppaal.model.core2.lsc.Simregion

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class Simregion
extends LscElement

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected Condition	condition
protected Message	message
protected Update	update

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

Method Summary

Modifier and Type	Method	Description
Condition	getCondition()
Message	getMessage()
Update	getUpdate()
int	getY()	Returns the value of the y property.
boolean	hasCondition()
boolean	hasMessage()
boolean	hasUpdate()
void	setCondition(Condition condition)
void	setMessage(Message message)
void	setUpdate(Update update)

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

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

condition

protected Condition condition

update

protected Update update

message

protected Message message

Constructor Details

Simregion

public Simregion(Element prototype)

Method Details

hasCondition

public boolean hasCondition()

hasUpdate

public boolean hasUpdate()

hasMessage

public boolean hasMessage()

getCondition

public Condition getCondition()

Returns:

the condition

setCondition

public void setCondition(Condition condition)

Parameters:

condition - the condition to set

getUpdate

public Update getUpdate()

Returns:

the update

setUpdate

public void setUpdate(Update update)

Parameters:

update - the update to set

getMessage

public Message getMessage()

Returns:

the message

setMessage

public void setMessage(Message message)

Parameters:

message - the message to set

getY

public int getY()

Description copied from class: Element

Returns the value of the y property. The value of the y property must be of type Integer.

Overrides:

getY in class Element

Returns:

The y value