com.uppaal.model.core2.lsc
Class InstanceLine

java.lang.Object
  com.uppaal.model.core2.Element
      com.uppaal.model.core2.Node
          com.uppaal.model.core2.lsc.LscElement
              com.uppaal.model.core2.lsc.InstanceLine

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class InstanceLine
extends LscElement
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.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

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

Constructor Summary

InstanceLine(Element prototype)

Method Summary

void	accept(Visitor visitor) Accept a visitor.
Integer	getLength() Gets the instance line length, which is a template property
Element	getPrototypeFromParent(Element parent) Return the proper prototype for this element stored in the parent.
int	getYFoot()
boolean	isAnchorOf(Element element)
void	setLength(int length, ViewWorkAround view)

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

clone, getFirst, getLast, getNext, getPrevious, insert, move, remove, setPrototype

Methods inherited from class com.uppaal.model.core2.Element

acceptSafe, addListener, getColor, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setProperty, setPropertyFromPath

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceLine

public InstanceLine(Element prototype)

Parameters:

prototype -

Method Detail

accept

public void accept(Visitor visitor)
            throws Exception

Description copied from class: Element

Accept a visitor. This method is specialised in every subclass. Part of the visitor pattern.

Overrides:

accept in class Node

Throws:

Exception

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

getLength

public Integer getLength()

Gets the instance line length, which is a template property

Returns:

an int, the length

setLength

public void setLength(int length,
                      ViewWorkAround view)

getYFoot

public int getYFoot()

Returns:

foot y center

isAnchorOf

public boolean isAnchorOf(Element element)

Parameters:

element -

Returns: