com.uppaal.model.core2

Class CompoundCommand

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 and Description
protected Command[]	commands

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

Constructors

Constructor and Description
CompoundCommand(Command... commands)

Method Summary

Methods

Modifier and Type	Method and 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 Detail

commands

protected Command[] commands

Constructor Detail

CompoundCommand

public CompoundCommand(Command... commands)

Method Detail

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.