Package com.uppaal.model.core2
Class RemoveQueryCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.RemoveQueryCommand
-
- All Implemented Interfaces:
Command
public class RemoveQueryCommand extends AbstractCommand
The remove query command class
-
-
Constructor Summary
Constructors Constructor Description RemoveQueryCommand(QueryList queryList, int index)
ConstructorRemoveQueryCommand(QueryList queryList, Query query)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
execute()
int
getIndex()
Element
getModifiedElement()
Query
getQuery()
void
undo()
-
Methods inherited from class com.uppaal.model.core2.AbstractCommand
getVersion, merge, setVersion
-
-