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

commandManager, committed

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

version

Constructor Summary

Constructors

Constructor and Description
SetTargetCommand(CommandManager commandManager, Edge edge) Constructor

Method Summary

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

SetTargetCommand

public SetTargetCommand(CommandManager commandManager,
                        Edge edge)

Constructor

Parameters:

commandManager - - The command manager

edge - - The edge

Method Detail

getLocation

public AbstractLocation getLocation()

Description copied from class: SetEndPointCommand

Returns the current end point.

Specified by:

getLocation in class SetEndPointCommand

Returns:

The abstract location

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

Parameters:

location - - The set location

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

Parameters:

nail - - The nail object