Package com.uppaal.model.core2

Class InsertQueryCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.InsertQueryCommand

All Implemented Interfaces:

Command

public class InsertQueryCommand
extends AbstractCommand

The insert query command class

Field Summary

Fields

Modifier and Type	Field	Description
protected int	index	The insert index
protected QueryList	queryList	The queries

Fields inherited from class com.uppaal.model.core2.AbstractCommand

version

Constructor Summary

Constructors

Constructor	Description
InsertQueryCommand(QueryList queryList, int index)	Constructor

Method Summary

Modifier and Type	Method	Description
void	execute()
Query	getAddedQuery()
int	getIndex()
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 final QueryList queryList

The queries

index

protected final int index

The insert index

Constructor Details

InsertQueryCommand

public InsertQueryCommand(QueryList queryList, int index)

Constructor

Parameters:

queryList - - The queries list

index - - The insert 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.

getIndex

public int getIndex()

getAddedQuery

public Query getAddedQuery()