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, java.io.Serializable, java.lang.Cloneable

public class LscTemplate
extends AbstractTemplate
implements LscConstants

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

Method Summary

Modifier and Type	Method	Description
java.lang.Object	clone()	Returns a deep clone of the template.
Condition	createCondition()
Cut	createCut()
InstanceLine	createInstanceLine()
Message	createMessage()
Prechart	createPrechart()
Update	createUpdate()
int	getLength()
java.lang.Object	getMode()
Element	getPrototypeFromParent(Element parent)	Return the proper prototype for this element stored in the parent.
java.lang.Object	getType()
java.util.ArrayList<java.lang.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

Methods inherited from class java.lang.Object

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

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 height

view - the work view

setLengthTo

public void setLengthTo(int y,
                        ViewWorkAround view)

Parameters:

y - the height

view - 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 class AbstractTemplate

Parameters:

parent - - The parent element

Returns:

- The property

clone

public java.lang.Object clone()
                       throws java.lang.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 class AbstractTemplate

Returns:

the new copy of this object.

Throws:

java.lang.CloneNotSupportedException - this object could not be cloned.

getYLocCoord

public java.util.ArrayList<java.lang.Integer> getYLocCoord()

getType

public java.lang.Object getType()

getMode

public java.lang.Object getMode()