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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
accept(Visitor visitor)
Query property has a visitorString
getComment()
Get the comment of the queryString
getFormula()
Get the query propertyQueryResult
getResult()
Get the status of the queryString
getShortFormula()
Get the short property without line breaksboolean
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 resultString
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
-
-
-
-
Method Detail
-
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 formulacomment
- - 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
-
-