com.uppaal.model.core2

Class SetQueryCommand

java.lang.Object

com.uppaal.model.core2.AbstractCommand

com.uppaal.model.core2.SetQueryCommand

All Implemented Interfaces:

Command

public class SetQueryCommand
extends AbstractCommand

Field Summary

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

version

Constructor Summary

Constructors

Constructor and Description
SetQueryCommand(Query query, String oldFormula, String oldComment, String newFormula, String newComment) Constructor

Method Summary

Modifier and Type	Method and Description
void	execute()
Element	getModifiedElement()
Query	getQueryProperty()
void	setText(String newFormula, String newComment) Set the new query property and comment text
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

Constructor Detail

SetQueryCommand

public SetQueryCommand(Query query,
                       String oldFormula,
                       String oldComment,
                       String newFormula,
                       String newComment)

Constructor

Parameters:

query - - The query object

oldFormula - - The old query formula

oldComment - - The old query comment

newFormula - - The new query formula

newComment - - The new query comment

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.

getQueryProperty

public Query getQueryProperty()

setText

public void setText(String newFormula,
                    String newComment)

Set the new query property and comment text

Parameters:

newFormula - - The new query formula

newComment - - The new query comment