LscElement (UPPAAL model library)

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

All Implemented Interfaces:

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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.ArrayList<InstanceLine>`	`getAnchors()`
`java.awt.Color`	`getColor(Element element)`
`Element`	`getLabel()`
`java.lang.String`	`getLabelValue()`
`java.lang.String`	`getTemperature()`
`int`	`getWidth(java.awt.Graphics2D g)`	The width of the drawn element label.
`static int`	`getWidth(java.lang.String string, java.awt.Font font, java.awt.Graphics2D g)`	returns the width of the given string, written with the given font
`boolean`	`isHot()`
`static java.awt.Color`	`lighter(java.awt.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 Detail
- LscElement
```
public LscElement(Element prototype)
```
  Parameters:
  
  prototype -

Method Detail

getTemperature

public java.lang.String getTemperature()

isHot
```
public boolean isHot()
```

getWidth
```
public static int getWidth(java.lang.String string,
                           java.awt.Font font,
                           java.awt.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 java.awt.Color lighter(java.awt.Color color,
                                     float white)

getWidth
```
public int getWidth(java.awt.Graphics2D g)
```
The width of the drawn element label.

Parameters:

g - graphical context.

Returns:

width of the label.

getLabelValue

public java.lang.String getLabelValue()

getColor

public java.awt.Color getColor(Element element)

getAnchors

public java.util.ArrayList<InstanceLine> getAnchors()

getLabel
```
public Element getLabel()
```
Returns:

the label element.