AppendQueriesCommand (UPPAAL model library)

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.AppendQueriesCommand

All Implemented Interfaces:: Command

public class AppendQueriesCommand
extends AbstractCommand

A transaction command for inserting queries. The transaction supports optionally setting the query, repeatedly.

Field Summary

Fields

Modifier and Type Field Description

protected QueryList newQueryList

protected QueryList queryList
The query list

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

Constructors

Constructor Description

AppendQueriesCommand(QueryList queryList, QueryList newQueryList)
Append the imported queries into the model xml file
Method Summary

Modifier and Type Method Description

void execute()

int getIntervalEnd()

int getIntervalStart()

Element getModifiedElement()

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
- queryList
  
  protected QueryList queryList
  
  The query list
- newQueryList
  
  protected QueryList newQueryList
Constructor Details
- AppendQueriesCommand
  
  public AppendQueriesCommand(QueryList queryList, QueryList newQueryList)
  
  Append the imported queries into the model xml file
  
  Parameters:
  
  queryList - - The old queries
  
  newQueryList - - The imported queries
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.
- getIntervalStart
  
  public int getIntervalStart()
- getIntervalEnd
  
  public int getIntervalEnd()