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
-
-
Constructor Summary
Constructors Constructor Description BranchPoint(Element prototype)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
-
-
-
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 specialized in every subclass. Part of the visitor pattern.
-
getPrototypeFromParent
public Element getPrototypeFromParent(Element parent)
Returns the #branchpoint property value of the parent argument.- Overrides:
getPrototypeFromParent
in classElement
- 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 classAbstractLocation
- Returns:
- the "name" property
-
-