com.uppaal.model.core2.lsc

Class Cut

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.lsc.LscElement

com.uppaal.model.core2.lsc.Cut

All Implemented Interfaces:

CommonConstants, LscConstants, Serializable, Cloneable

public class Cut
extends LscElement

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected ArrayList<Simregion>	simregions

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

Constructors

Constructor and Description
Cut(Element prototype)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(Visitor visitor) Accept a visitor.
void	add(Simregion simregion)
Simregion	get(int index)
ArrayList<Point>	getMaxSimregions(ViewWorkAround view)
Element	getPrototypeFromParent(Element parent) Return the proper prototype for this element stored in the parent.
ArrayList<Simregion>	getSimregions()
void	setSimregions(ArrayList<Simregion> simregions)

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

Field Detail

simregions

protected ArrayList<Simregion> simregions

Constructor Detail

Cut

public Cut(Element prototype)

Method Detail

add

public void add(Simregion simregion)

get

public Simregion get(int index)

getSimregions

public ArrayList<Simregion> getSimregions()

Returns:

the simregions

setSimregions

public void setSimregions(ArrayList<Simregion> simregions)

Parameters:

simregions - the simregions to set

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

getMaxSimregions

public ArrayList<Point> getMaxSimregions(ViewWorkAround view)

Returns:

the maximal y coordinates of simregions (those that are at the limit of the cut)