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 and Description
BranchPoint(Element prototype)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(Visitor visitor) Accept a visitor.
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, 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

Constructor Detail

BranchPoint

public BranchPoint(Element prototype)

Method Detail

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)

Returns the #branchpoint property value of the parent argument.

Overrides:

getPrototypeFromParent in class Element