Package com.uppaal.model.core2
Class SetQueryCommand
- java.lang.Object
-
- com.uppaal.model.core2.AbstractCommand
-
- com.uppaal.model.core2.SetQueryCommand
-
- All Implemented Interfaces:
Command
public class SetQueryCommand extends AbstractCommand
-
-
Field Summary
-
Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
execute()
Element
getModifiedElement()
Query
getQueryProperty()
void
setText(String newFormula, String newComment)
Set the new query property and comment textvoid
undo()
-
Methods inherited from class com.uppaal.model.core2.AbstractCommand
getVersion, merge, setVersion
-
-
-
-
Constructor Detail
-
SetQueryCommand
public SetQueryCommand(Query query, String oldFormula, String oldComment, String newFormula, String newComment)
Constructor- Parameters:
query
- - The query objectoldFormula
- - The old query formulaoldComment
- - The old query commentnewFormula
- - The new query formulanewComment
- - The new query comment
-
-