public class Edge extends Node
An Edge may have Nails as children in the Node.
Probabilistic edges are modeled by a pair of Edges connected via BranchPoint.
Edges may have labels modeled by properties: "select", "guard", "synchronisation", "assignment", "probability", "controllable", "comments", "color".
Modifier and Type | Field and Description |
---|---|
protected AbstractLocation |
source |
protected AbstractLocation |
target |
listeners, properties, prototype
Constructor and Description |
---|
Edge(Element prototype)
Constructs an Edge based on a prototype.
|
Modifier and Type | Method and Description |
---|---|
void |
accept(Visitor visitor)
Accept a visitor.
|
Nail |
createNail()
Creates a nail based on prototype, the nail has to be inserted into an edge.
|
Nail |
getNails()
Returns the first nail (if any).
|
Element |
getPrototypeFromParent(Element parent)
Returns the #edge property value of the parent argument.
|
AbstractLocation |
getSource()
Returns the source location (the beginning of the edge).
|
AbstractLocation |
getTarget()
Returns the target location (the end of the edge).
|
void |
setSource(AbstractLocation source)
Sets the origin of this edge.
|
void |
setTarget(AbstractLocation target)
Sets the destination of this edge.
|
clone, getFirst, getLast, getNext, getPrevious, insert, move, remove, setPrototype
acceptSafe, addListener, getColor, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setProperty, setPropertyFromPath
protected AbstractLocation source
protected AbstractLocation target
public Edge(Element prototype)
prototype
- the element containing default properties.Template.createEdge()
,
Element.importInto(com.uppaal.model.core2.Element)
public AbstractLocation getSource()
public AbstractLocation getTarget()
public Nail getNails()
public void setSource(AbstractLocation source)
source
- the origin: Location or BranchPointpublic void setTarget(AbstractLocation target)
source
- the destination: Location or BranchPointpublic Nail createNail()
public void accept(Visitor visitor) throws Exception
Element
public Element getPrototypeFromParent(Element parent)
getPrototypeFromParent
in class Element
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.