com.uppaal.model.core2
Class InsertElementCommand

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

protected Node	element
protected Node	parent
protected Node	position

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

committed, document

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

version

Constructor Summary

InsertElementCommand(Node parent, Node position, Node element)

Method Summary

protected void	doCancel()
protected void	doExecute()
protected void	doUndo()
Element	getElement()
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 Detail

parent

protected Node parent

element

protected Node element

position

protected Node position

Constructor Detail

InsertElementCommand

public InsertElementCommand(Node parent,
                            Node position,
                            Node element)

Method Detail

move

public void move(int x,
                 int y)

Overrides:

move in class AbstractTransaction

getElement

public Element getElement()

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.