RemoveElementCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.RemoveElementCommand

All Implemented Interfaces:: Command

public class RemoveElementCommand
extends AbstractCommand

The remove element command

Field Summary

Fields

Modifier and Type Field Description

protected Node node

protected Node parent

Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
Constructor Summary

Constructors

Constructor Description

RemoveElementCommand(Node node)
Constructor
Method Summary

Modifier and Type Method Description

void execute()

Element getModifiedElement()

void 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
- node
  
  protected Node node
- parent
  
  protected Node parent
Constructor Details
- RemoveElementCommand
  
  public RemoveElementCommand(Node node)
  
  Constructor
  
  Parameters:
  
  node - - The node
Method Details
- execute
  
  public void execute()
- undo
  
  public void undo()
- getModifiedElement
  
  public Element getModifiedElement()
  
  Returns:
  
  the modified element or its closest relative (sibling or parent) if the element is not displayed.