Package com.uppaal.model.core2.lsc

Class LscElement

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.lsc.LscElement

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

Direct Known Subclasses:

AnchoredElement, Cut, InstanceLine, Message, Prechart, Simregion

public class LscElement
extends Node
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
LscElement(Element prototype)

Method Summary

Modifier and Type	Method	Description
ArrayList<InstanceLine>	getAnchors()
Color	getColor(Element element)
Element	getLabel()
String	getLabelValue()
String	getTemperature()
int	getWidth(Graphics2D g)	The width of the drawn element label.
static int	getWidth(String string, Font font, Graphics2D g)	returns the width of the given string, written with the given font
boolean	isHot()
static Color	lighter(Color color, float white)

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

LscElement

public LscElement(Element prototype)

Parameters:

prototype -

Method Details

getTemperature

public String getTemperature()

isHot

public boolean isHot()

getWidth

public static int getWidth(String string, Font font, Graphics2D g)

returns the width of the given string, written with the given font

Parameters:

string - text to be drawn

font - the font to be used for drawing

g - graphical context

Returns:

int the width of the text

lighter

public static Color lighter(Color color, float white)

getWidth

public int getWidth(Graphics2D g)

The width of the drawn element label.

Parameters:

g - graphical context.

Returns:

width of the label.

getLabelValue

public String getLabelValue()

getColor

public Color getColor(Element element)

getAnchors

public ArrayList<InstanceLine> getAnchors()

getLabel

public Element getLabel()

Returns:

the label element.