com.uppaal.model.core2
Class SetTargetCommand

java.lang.Object
  com.uppaal.model.core2.AbstractCommand
      com.uppaal.model.core2.AbstractTransaction
          com.uppaal.model.core2.SetEndPointCommand
              com.uppaal.model.core2.SetTargetCommand

All Implemented Interfaces:

Command

public class SetTargetCommand
extends SetEndPointCommand

Transaction for changing the target 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

SetTargetCommand(Document document, Edge edge)

Method Summary

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

SetTargetCommand

public SetTargetCommand(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