com.uppaal.model.core2

Class RemoveQueryCommand

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 and 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 and Description
RemoveQueryCommand(QueryList queryListModel, 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

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 Detail

RemoveQueryCommand

public RemoveQueryCommand(QueryList queryListModel,
                          int index)

Constructor

Parameters:

queryListModel - - The queries

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