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 queryList, int index)
Constructor

RemoveQueryCommand(QueryList queryList, Query query)
Method Summary

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

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 queryList, int index)
  
  Constructor
  
  Parameters:
  
  queryList - - The queries
  
  index - - The remove index
- RemoveQueryCommand
  
  public RemoveQueryCommand(QueryList queryList, Query query)
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.
- getQuery
  
  public Query getQuery()
- getIndex
  
  public int getIndex()