AddAnchorCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.lsc.AddAnchorCommand

All Implemented Interfaces:: Command

public class AddAnchorCommand
extends AbstractTransaction

Field Summary

Fields

Modifier and Type Field Description

protected InstanceLine anchor

protected Condition element

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

AddAnchorCommand(CommandManager commandManager, Element element)
Constructor

Method Summary

Modifier and Type	Method	Description
`void`	`addAnchor(InstanceLine anchor, int x)`
`protected void`	`doCancel()`	Undo the translation.
`protected void`	`doExecute()`
`protected void`	`doUndo()`
`Element`	`getModifiedElement()`

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

Field Details
- element
  
  protected Condition element
- anchor
  
  protected InstanceLine anchor
Constructor Details
- AddAnchorCommand
  
  public AddAnchorCommand(CommandManager commandManager, Element element)
  
  Constructor
  
  Parameters:
  
  commandManager - - The command manager
  
  element - - The element object
Method Details
- addAnchor
  
  public void addAnchor(InstanceLine anchor, int x)
- doCancel
  
  protected void doCancel()
  
  Undo the translation. All elements are moved back to their original position. The translation can only be canceled as long as it has not been committed.
  
  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.