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

BranchPoint(Element prototype)

Method Summary

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