com.uppaal.model.core2

Class AppendQueriesCommand

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 and Description
protected QueryList	newQueryList
protected QueryList	queryList The query list

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

version

Constructor Summary

Constructors

Constructor and Description
AppendQueriesCommand(QueryList queryList, QueryList newQueryList) Append the imported queries into the model xml file

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 QueryList queryList

The query list

newQueryList

protected QueryList newQueryList

Constructor Detail

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 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.