QueryResult (UPPAAL model library)

java.lang.Object
- com.uppaal.engine.QueryResult

public class QueryResult
extends java.lang.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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`QueryData`	`getData()`
`CannotEvaluateException`	`getException()`
`java.lang.String`	`getMessage()`
`char`	`getResult()`
`int`	`getStatus()`
`java.lang.String`	`getStatusString()`
`void`	`set(CannotEvaluateException exc)`
`void`	`setMessage(java.lang.String msg)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- 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 Detail

QueryResult

public QueryResult(CannotEvaluateException e)

QueryResult
```
public QueryResult(char result)
```

QueryResult
```
public QueryResult()
```

Method Detail

getResult
```
public char getResult()
```

getStatus
```
public int getStatus()
```

set

public void set(CannotEvaluateException exc)

getException

public CannotEvaluateException getException()

setMessage

public void setMessage(java.lang.String msg)

getMessage
```
public java.lang.String getMessage()
```

getData
```
public QueryData getData()
```

getStatusString

public java.lang.String getStatusString()

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object