com.uppaal.engine

Class QueryVerificationResult

java.lang.Object

com.uppaal.engine.QueryVerificationResult

public class QueryVerificationResult
extends Object

The verification result of the query

Field Summary

Fields

Modifier and Type	Field and Description
CannotEvaluateException	exception The exception of the verification if the query has error
char	result The verification result of the query

Constructor Summary

Constructors

Constructor and Description
QueryVerificationResult(char result) Constructor with exception = NULL

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

result

public char result

The verification result of the query

exception

public CannotEvaluateException exception

The exception of the verification if the query has error

Constructor Detail

QueryVerificationResult

public QueryVerificationResult(char result)

Constructor with exception = NULL

Parameters:

result - - The verification result