CompoundCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.CompoundCommand

All Implemented Interfaces:: Command

public class CompoundCommand
extends AbstractCommand

Field Summary

Fields

Modifier and Type Field Description

protected Command[] commands

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

Constructors

Constructor Description

CompoundCommand(Command... commands)
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
- commands
  
  protected Command[] commands
Constructor Details
- CompoundCommand
  
  public CompoundCommand(Command... commands)
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.