com.uppaal.model.core2

Class SetSourceCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.SetEndPointCommand

com.uppaal.model.core2.SetSourceCommand

All Implemented Interfaces:

Command

public class SetSourceCommand
extends SetEndPointCommand

Transaction for changing the source of an edge.

Field Summary

Fields inherited from class com.uppaal.model.core2.SetEndPointCommand

edge, location, nail

Fields inherited from class com.uppaal.model.core2.AbstractTransaction

committed, document

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

Constructors

Constructor and Description
SetSourceCommand(Document document, Edge edge)

Method Summary

Methods

Modifier and Type	Method and Description
AbstractLocation	getLocation() Returns the current end point.
protected void	insertNail(Nail nail) Inserts a nail next to the end point.
protected void	setLocation(AbstractLocation location) Sets the current end point on the edge.

Methods inherited from class com.uppaal.model.core2.SetEndPointCommand

convertToNail, doCancel, doExecute, doUndo, getModifiedElement, moveNailTo, setEndPoint, swap

Methods inherited from class com.uppaal.model.core2.AbstractTransaction

cancel, commit, execute, move, undo

Methods inherited from class com.uppaal.model.core2.AbstractCommand

getVersion, setVersion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SetSourceCommand

public SetSourceCommand(Document document,
                Edge edge)

Method Detail

getLocation

public AbstractLocation getLocation()

Description copied from class: SetEndPointCommand

Returns the current end point.

Specified by:

getLocation in class SetEndPointCommand

setLocation

protected void setLocation(AbstractLocation location)

Description copied from class: SetEndPointCommand

Sets the current end point on the edge.

Specified by:

setLocation in class SetEndPointCommand

insertNail

protected void insertNail(Nail nail)

Description copied from class: SetEndPointCommand

Inserts a nail next to the end point.

Specified by:

insertNail in class SetEndPointCommand