InsertMessageCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.lsc.InsertMessageCommand

All Implemented Interfaces:: Command

public class InsertMessageCommand
extends AbstractTransaction

A transaction command for inserting elements. The transaction supports optionally setting a position, repeatedly.

Field Summary

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

InsertMessageCommand(InstanceLine source, Message message)
The hot sections touched by the message (and split)

Method Summary

Modifier and Type	Method	Description
`protected void`	`doCancel()`
`protected void`	`doExecute()`
`protected void`	`doUndo()`
`Element`	`getElement()`	Get the element
`Element`	`getModifiedElement()`
`InstanceLine`	`getSource()`	Get message source
`void`	`move(int x)`	Move the 'x' value of the message
`void`	`moveY(int y)`	Move the 'y' value of the messge
`void`	`setTarget(InstanceLine target)`	Set the target

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
- InsertMessageCommand
  
  public InsertMessageCommand(InstanceLine source, Message message)
  
  The hot sections touched by the message (and split)
  
  Parameters:
  
  source - - The source
  
  message - - The message
Method Details
- getSource
  
  public InstanceLine getSource()
  
  Get message source
  
  Returns:
  
  The source of the message
- setTarget
  
  public void setTarget(InstanceLine target)
  
  Set the target
  
  Parameters:
  
  target - - the target of the message
- getElement
  
  public Element getElement()
  
  Get the element
  
  Returns:
  
  The element
- doCancel
  
  protected void doCancel()
  
  Specified by:
  
  doCancel in class AbstractTransaction
- doExecute
  
  protected void doExecute()
  
  Specified by:
  
  doExecute in class AbstractTransaction
- doUndo
  
  protected void doUndo()
  
  Specified by:
  
  doUndo in class AbstractTransaction
- getModifiedElement
  
  public Element getModifiedElement()
  
  Returns:
  
  the modified element or its closest relative (sibling or parent) if the element is not displayed.
- move
  
  public void move(int x)
  
  Move the 'x' value of the message
  
  Parameters:
  
  x - - The new 'x' value
- moveY
  
  public void moveY(int y)
  
  Move the 'y' value of the messge
  
  Parameters:
  
  y - - The new 'y' value