Package com.uppaal.model.core2

Class BranchPoint

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.AbstractLocation

com.uppaal.model.core2.BranchPoint

All Implemented Interfaces:

Serializable, Cloneable

public class BranchPoint
extends AbstractLocation

BranchPoint splits an edge into several probabilistic branches. Branch-point looks like a nail but acts like a location syntactically (semantically there is no location).

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

Constructor Summary

Constructors

Constructor	Description
BranchPoint(Element prototype)

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Accept a visitor.
String	getName()	Constructs a human-friendly name of this location.
Element	getPrototypeFromParent(Element parent)	Returns the #branchpoint property value of the parent argument.

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

Constructor Details

BranchPoint

public BranchPoint(Element prototype)

Method Details

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.

Overrides:

accept in class Node

Parameters:

visitor - - The visitor

Throws:

Exception - the visitor threw an exception.

getPrototypeFromParent

public Element getPrototypeFromParent(Element parent)

Returns the #branchpoint property value of the parent argument.

Overrides:

getPrototypeFromParent in class Element

Parameters:

parent - - The parent element

Returns:

The property element

getName

public String getName()

Description copied from class: AbstractLocation

Constructs a human-friendly name of this location. Basically it is the value of the "name" property, except that it will give a unicode symbol in case it is anonymous.

Specified by:

getName in class AbstractLocation

Returns:

the "name" property