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
-
Constructor Summary
Constructors Constructor Description ClearQueriesCommand(QueryList queryList) -
Method Summary
Modifier and Type Method Description voidexecute()ElementgetModifiedElement()intnumberOfClearedQueries()voidundo()
-
Constructor Details
-
Method Details
-
execute
public void execute() -
undo
public void undo() -
getModifiedElement
- Returns:
- the modified element or its closest relative (sibling or parent) if the element is not displayed.
-
numberOfClearedQueries
public int numberOfClearedQueries()
-