InsertElementCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.InsertElementCommand

All Implemented Interfaces:: Command

Direct Known Subclasses:: InsertAnchoredElementCommand, InsertInstanceCommand

public class InsertElementCommand
extends AbstractTransaction

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

Field Summary

Fields

Modifier and Type Field Description

protected Node element

protected Node parent

protected Node position

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

InsertElementCommand(CommandManager commandManager, Node parent, Node position, Node element)
Constructor

Method Summary

Modifier and Type	Method	Description
`protected void`	`doCancel()`
`protected void`	`doExecute()`
`protected void`	`doUndo()`
`Element`	`getElement()`	Get the element
`Element`	`getModifiedElement()`
`void`	`move(int x, int y)`

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

cancel, commit, execute, 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

Field Details
- parent
  
  protected Node parent
- element
  
  protected Node element
- position
  
  protected Node position
Constructor Details
- InsertElementCommand
  
  public InsertElementCommand(CommandManager commandManager, Node parent, Node position, Node element)
  
  Constructor
  
  Parameters:
  
  commandManager - - The command manager
  
  parent - - The parent node
  
  position - - The position
  
  element - - The new element
Method Details
- move
  
  public void move(int x, int y)
  
  Overrides:
  
  move in class AbstractTransaction
- getElement
  
  public Element getElement()
  
  Get the element
  
  Returns:
  
  element - 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.