QueryResult (UPPAAL model library)

java.lang.Object

com.uppaal.engine.QueryResult

public class QueryResult
extends Object

The verification result of the query

Field Summary

Fields

Modifier and Type Field Description

static int MAYBE_NOT_OK

static int MAYBE_OK

static int NOT_OK

static int OK

static int UNCHECKED
Constructor Summary

Constructors

Constructor Description

QueryResult()

QueryResult(char result)

QueryResult(CannotEvaluateException e)

Method Summary

Modifier and Type	Method	Description
`QueryData`	`getData()`
`CannotEvaluateException`	`getException()`
`String`	`getMessage()`
`char`	`getResult()`
`int`	`getStatus()`
`String`	`getStatusString()`
`void`	`set(CannotEvaluateException exc)`
`void`	`setMessage(String msg)`
`String`	`toString()`

Methods inherited from class java.lang.Object

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

Field Details
- OK
  
  public static final int OK
  
  See Also:
  
  Constant Field Values
- MAYBE_OK
  
  public static final int MAYBE_OK
  
  See Also:
  
  Constant Field Values
- MAYBE_NOT_OK
  
  public static final int MAYBE_NOT_OK
  
  See Also:
  
  Constant Field Values
- NOT_OK
  
  public static final int NOT_OK
  
  See Also:
  
  Constant Field Values
- UNCHECKED
  
  public static final int UNCHECKED
  
  See Also:
  
  Constant Field Values
Constructor Details
- QueryResult
  
  public QueryResult(CannotEvaluateException e)
- QueryResult
  
  public QueryResult(char result)
- QueryResult
  
  public QueryResult()
Method Details
- getResult
  
  public char getResult()
- getStatus
  
  public int getStatus()
- set
  
  public void set(CannotEvaluateException exc)
- getException
  
  public CannotEvaluateException getException()
- setMessage
  
  public void setMessage(String msg)
- getMessage
  
  public String getMessage()
- getData
  
  public QueryData getData()
- getStatusString
  
  public String getStatusString()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object