Package com.uppaal.engine
Class QueryResult
- 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
All Methods Instance Methods Concrete Methods 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()
-
-
-
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(String msg)
-
getMessage
public String getMessage()
-
getData
public QueryData getData()
-
getStatusString
public String getStatusString()
-
-