Package com.uppaal.model.core2

Class Edge

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.Edge

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Edge
extends Node

Edge models discrete transitions between locations.

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".

See Also:

Nail, BranchPoint, Location, Element.getPropertyValue(java.lang.String), Element.hasFlag(java.lang.String), Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected AbstractLocation	source
protected AbstractLocation	target

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
Edge(Element prototype)	Constructs an Edge based on a prototype.

Method Summary

Modifier and Type	Method	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).
java.lang.String	getName()	Constructs a human-friendly name of this edge.
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).
java.lang.String[]	getXMLLabelKinds()	Returns possible XML label kinds this element supports.
void	setSource(AbstractLocation source)	Sets the origin of this edge.
void	setTarget(AbstractLocation target)	Sets the destination of this edge.

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, 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

Field Detail

source

protected AbstractLocation source

target

protected AbstractLocation target

Constructor Detail

Edge

public Edge(Element prototype)

Constructs an Edge based on a prototype. Use Template#createEdge() instead and then insert it into Template.

Parameters:

prototype - the element containing default properties.

See Also:

Template.createEdge(), Element.importInto(com.uppaal.model.core2.Element)

Method Detail

getSource

public AbstractLocation getSource()

Returns the source location (the beginning of the edge).

Returns:

abstract location (can be BranchPoint)

getTarget

public AbstractLocation getTarget()

Returns the target location (the end of the edge).

Returns:

abstract location (can be BranchPoint)

getNails

public Nail getNails()

Returns the first nail (if any).

Returns:

nail or null if there are no nails on this edge.

setSource

public void setSource(AbstractLocation source)

Sets the origin of this edge.

Parameters:

source - the origin: Location or BranchPoint

setTarget

public void setTarget(AbstractLocation target)

Sets the destination of this edge.

Parameters:

target - the destination: Location or BranchPoint

createNail

public Nail createNail()

Creates a nail based on prototype, the nail has to be inserted into an edge.

Returns:

a new nail

accept

public void accept(Visitor visitor)
            throws java.lang.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:

java.lang.Exception - the visitor threw an exception.

getPrototypeFromParent

public Element getPrototypeFromParent(Element parent)

Returns the #edge property value of the parent argument.

Overrides:

getPrototypeFromParent in class Element

Parameters:

parent - - The parent element

Returns:

The property element

getName

public java.lang.String getName()

Constructs a human-friendly name of this edge. The result contains a source and target location names separated by an arrow.

Returns:

a human-friendly name for this edge

getXMLLabelKinds

public java.lang.String[] getXMLLabelKinds()

Description copied from class: Element

Returns possible XML label kinds this element supports.

Overrides:

getXMLLabelKinds in class Element

Returns: