SetQueryCommand (UPPAAL model library)

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
Constructor Summary

Constructors

Constructor Description

SetQueryCommand(Query query, String oldFormula, String oldComment, String newFormula, String newComment)
Constructor

Method Summary

Modifier and Type	Method	Description
`void`	`execute()`
`Element`	`getModifiedElement()`
`Query`	`getQueryProperty()`
`void`	`setText(String newFormula, String newComment)`	Set the new query property and comment text
`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

Constructor Details
- SetQueryCommand
  
  public SetQueryCommand(Query query, String oldFormula, String oldComment, String newFormula, String newComment)
  
  Constructor
  
  Parameters:
  
  query - - The query object
  
  oldFormula - - The old query formula
  
  oldComment - - The old query comment
  
  newFormula - - The new query formula
  
  newComment - - The new query comment
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.
- getQueryProperty
  
  public Query getQueryProperty()
- setText
  
  public void setText(String newFormula, String newComment)
  
  Set the new query property and comment text
  
  Parameters:
  
  newFormula - - The new query formula
  
  newComment - - The new query comment