RemoveTemplateCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.RemoveTemplateCommand

All Implemented Interfaces:: Command

public class RemoveTemplateCommand
extends AbstractCommand

The remove template command

Field Summary

Fields

Modifier and Type Field Description

protected Node node

protected Node parent

protected Node sibling

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

Constructors

Constructor Description

RemoveTemplateCommand(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
- sibling
  
  protected Node sibling
Constructor Details
- RemoveTemplateCommand
  
  public RemoveTemplateCommand(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.