Package com.uppaal.model.core2.lsc
Class LscTemplate
- java.lang.Object
-
- com.uppaal.model.core2.Element
-
- com.uppaal.model.core2.Node
-
- com.uppaal.model.core2.AbstractTemplate
-
- com.uppaal.model.core2.lsc.LscTemplate
-
- All Implemented Interfaces:
CommonConstants
,LscConstants
,Serializable
,Cloneable
public class LscTemplate extends AbstractTemplate implements LscConstants
- See Also:
- Serialized Form
-
-
Field Summary
-
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 LscTemplate(Element prototype)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Object
clone()
Returns a deep clone of the template.Condition
createCondition()
Cut
createCut()
InstanceLine
createInstanceLine()
Message
createMessage()
Prechart
createPrechart()
Update
createUpdate()
int
getLength()
Object
getMode()
Element
getPrototypeFromParent(Element parent)
Return the proper prototype for this element stored in the parent.Object
getType()
ArrayList<Integer>
getYLocCoord()
void
setLength(int y, ViewWorkAround view)
Set length between bottom of instance head and top of instance foot.void
setLengthTo(int y, ViewWorkAround view)
-
Methods inherited from class com.uppaal.model.core2.AbstractTemplate
accept, getTemplate
-
Methods inherited from class com.uppaal.model.core2.Node
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, getX, getXMLLabelKinds, getXPath, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath
-
-
-
-
Constructor Detail
-
LscTemplate
public LscTemplate(Element prototype)
-
-
Method Detail
-
setLength
public void setLength(int y, ViewWorkAround view)
Set length between bottom of instance head and top of instance foot.- Parameters:
y
- the heightview
- the work view
-
setLengthTo
public void setLengthTo(int y, ViewWorkAround view)
- Parameters:
y
- the heightview
- the work view
-
getLength
public int getLength()
-
createInstanceLine
public InstanceLine createInstanceLine()
-
createPrechart
public Prechart createPrechart()
-
createMessage
public Message createMessage()
-
createCut
public Cut createCut()
-
createCondition
public Condition createCondition()
-
createUpdate
public Update createUpdate()
-
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().- Specified by:
getPrototypeFromParent
in classAbstractTemplate
- Parameters:
parent
- - The parent element- Returns:
- - The property
-
clone
public Object clone() throws CloneNotSupportedException
Returns a deep clone of the template. The source and target of any edges in the template are set to the corresponding clones of the locations of the template.- Overrides:
clone
in classAbstractTemplate
- Returns:
- the new copy of this object.
- Throws:
CloneNotSupportedException
- this object could not be cloned.
-
getType
public Object getType()
-
getMode
public Object getMode()
-
-