RemoveQueryCommand (UPPAAL model library)

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

Field Summary

Fields

Modifier and Type Field Description

protected int index
The insert index

protected Query query
The new query property

protected QueryList queryList
The query list model

Fields inherited from class com.uppaal.model.core2.AbstractCommand
version
Constructor Summary

Constructors

Constructor Description

RemoveQueryCommand(QueryList queryListModel, int index)
Constructor
Method Summary

Modifier and Type Method Description

void execute()

Element getModifiedElement()

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

Field Details
- query
  
  protected final Query query
  
  The new query property
- queryList
  
  protected final QueryList queryList
  
  The query list model
- index
  
  protected final int index
  
  The insert index
Constructor Details
- RemoveQueryCommand
  
  public RemoveQueryCommand(QueryList queryListModel, int index)
  
  Constructor
  
  Parameters:
  
  queryListModel - - The queries
  
  index - - The remove index
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.