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 and 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 and Description
InsertQueryCommand(QueryList queryList, int index) Constructor

Method Summary

Modifier and Type	Method and 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 Detail

queryList

protected final QueryList queryList

The queries

index

protected final int index

The insert index

Constructor Detail

InsertQueryCommand

public InsertQueryCommand(QueryList queryList,
                          int index)

Constructor

Parameters:

queryList - - The queries list

index - - The insert index

Method Detail

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.