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.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 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
-
-
-
-
Constructor Detail
-
Simregion
public Simregion(Element prototype)
-
-
Method Detail
-
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
-
-