Package com.uppaal.model.core2

Class Query

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.Query

All Implemented Interfaces:

Serializable, Cloneable

public class Query
extends Node

The query class

See Also:

Serialized Form

Field Summary

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

first, next, previous

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

listeners, properties, prototype

Constructor Summary

Constructors

Constructor	Description
Query()	Constructor
Query(String formula, String comment)	Constructor

Method Summary

Modifier and Type	Method	Description
void	accept(Visitor visitor)	Query property has a visitor
String	getComment()	Get the comment of the query
String	getFormula()	Get the query property
QueryResult	getResult()	Get the status of the query
String	getShortFormula()	Get the short property without line breaks
boolean	hasPlots()
void	setComment(String comment)
void	setFormula(String formula)
void	setFormulaAndComment(String formula, String comment)	Set the comment and query property.
void	setResult(QueryResult r)	Set the result
String	toString()

Methods inherited from class com.uppaal.model.core2.Node

clone, getFirst, getLast, getNext, getPrevious, getXPathTag, insert, move, remove, setPrototype

Methods inherited from class com.uppaal.model.core2.Element

acceptSafe, addListener, getColor, getCommandManager, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, getTemplate, getX, getXMLLabelKinds, getXPath, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Query

public Query(String formula, String comment)

Constructor

Parameters:

formula - - The formula string

comment - - The comment string

Query

public Query()

Constructor

Method Details

getFormula

public String getFormula()

Get the query property

Returns:

The property string

getComment

public String getComment()

Get the comment of the query

Returns:

The comment string

setFormula

public void setFormula(String formula)

setComment

public void setComment(String comment)

setFormulaAndComment

public void setFormulaAndComment(String formula, String comment)

Set the comment and query property. Should be called for redo/undo.

Parameters:

formula - - the property formula

comment - - the user comment

setResult

public void setResult(QueryResult r)

Set the result

Parameters:

r - the result containing status, errors and messages.

getResult

public QueryResult getResult()

Get the status of the query

Returns:

status - checked or not checked?

hasPlots

public boolean hasPlots()

getShortFormula

public String getShortFormula()

Get the short property without line breaks

Returns:

short property

accept

public void accept(Visitor visitor) throws Exception

Query property has a visitor

Overrides:

accept in class Node

Parameters:

visitor - - The visitor

Throws:

Exception - the visitor threw an exception.

toString

public String toString()

Overrides:

toString in class Object