RemoveAnchorCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AbstractTransaction

com.uppaal.model.core2.lsc.RemoveAnchorCommand

All Implemented Interfaces:: Command

public class RemoveAnchorCommand
extends AbstractTransaction

The command class for remove anchor

Field Summary

Fields

Modifier and Type Field Description

protected Condition element

protected InstanceLine oldAnchor

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

RemoveAnchorCommand(CommandManager commandManager, Element element, InstanceLine anchor)
Constructor

Method Summary

Modifier and Type	Method	Description
`protected void`	`doCancel()`	Undo the translation.
`protected void`	`doExecute()`
`protected void`	`doUndo()`
`Element`	`getModifiedElement()`
`void`	`removeAnchor(ViewWorkAround view)`	Remove the anchor

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
- oldAnchor
  
  protected InstanceLine oldAnchor
- element
  
  protected Condition element
Constructor Details
- RemoveAnchorCommand
  
  public RemoveAnchorCommand(CommandManager commandManager, Element element, InstanceLine anchor)
  
  Constructor
  
  Parameters:
  
  commandManager - - The command manager
  
  element -
  
  anchor -
Method Details
- removeAnchor
  
  public void removeAnchor(ViewWorkAround view)
  
  Remove the anchor
  
  Parameters:
  
  view - - The work around view
- 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.