Package com.uppaal.model.core2.lsc
Class Prechart
- 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
,Serializable
,Cloneable
public class Prechart extends LscElement
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected ArrayList<InstanceLine>
instances
-
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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
accept(Visitor visitor)
Accept a visitor.void
add(InstanceLine instance)
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
-
-
-
-
Field Detail
-
instances
protected 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 Exception
Description copied from class:Element
Accept a visitor. This method is specialized in every subclass. Part of the visitor pattern.
-
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 classElement
- Parameters:
parent
- - The parent element- Returns:
- - The property
-
getInstances
public ArrayList<InstanceLine> getInstances()
- Returns:
- a list of contained instances.
-
-