SetTargetCommand (UPPAAL model library)

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 Description

SetTargetCommand(CommandManager commandManager, Edge edge)
Constructor

Method Summary

Modifier and Type	Method	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 Details
- SetTargetCommand
  
  public SetTargetCommand(CommandManager commandManager, Edge edge)
  
  Constructor
  
  Parameters:
  
  commandManager - - The command manager
  
  edge - - The edge
Method Details
- 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