Prechart (UPPAAL model library)

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

All Implemented Interfaces:

CommonConstants, LscConstants, java.io.Serializable, java.lang.Cloneable
```
public class Prechart
extends LscElement
```
See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

protected java.util.ArrayList<InstanceLine> instances
- 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

Prechart(Element prototype)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`accept(Visitor visitor)`	Accept a visitor.
`void`	`add(InstanceLine instance)`
`java.util.ArrayList<InstanceLine>`	`getInstances()`
`Element`	`getPrototypeFromParent(Element parent)`	Return the proper prototype for this element stored in the parent.
`void`	`remove(InstanceLine instance)`

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

- Field Detail
  - instances
```
protected java.util.ArrayList<InstanceLine> instances
```
- Constructor Detail
  - Prechart
```
public Prechart(Element prototype)
```
    Parameters:
    
    prototype -
- Method Detail
  - add
```
public void add(InstanceLine instance)
```
    Parameters:
    
    instance - an instance line to be added.
  - remove
```
public void remove(InstanceLine instance)
```
    Parameters:
    
    instance - an instance line to be removed.
  - accept
```
public void accept(Visitor visitor)
            throws java.lang.Exception
```
    Description copied from class: Element
    
    Accept a visitor. This method is specialized in every subclass. Part of the visitor pattern.
    
    Overrides:
    
    accept in class Node
    
    Parameters:
    
    visitor - - The visitor
    
    Throws:
    
    java.lang.Exception - the visitor threw an 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
    
    Parameters:
    
    parent - - The parent element
    
    Returns:
    
    - The property
  - getInstances
```
public java.util.ArrayList<InstanceLine> getInstances()
```
    Returns:
    
    a list of contained instances.