Package com.uppaal.model.core2

Class ClearQueriesCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.ClearQueriesCommand

All Implemented Interfaces:

Command

public class ClearQueriesCommand
extends AbstractCommand

Field Summary

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

version

Constructor Summary

Constructors

Constructor	Description
ClearQueriesCommand(QueryList queryList)

Method Summary

Modifier and Type	Method	Description
void	execute()
Element	getModifiedElement()
int	numberOfClearedQueries()
void	undo()

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

getVersion, merge, setVersion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClearQueriesCommand

public ClearQueriesCommand(QueryList queryList)

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.

numberOfClearedQueries

public int numberOfClearedQueries()