← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerificationResult.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerificationResult.java
1
1
package dk.aau.cs.verification;
2
2
 
3
 
import dk.aau.cs.petrinet.trace.TAPNTrace;
4
 
 
5
 
public class VerificationResult {
 
3
public class VerificationResult<TTrace> {
6
4
        private QueryResult queryResult;
7
 
        private TAPNTrace trace;
 
5
        private TTrace trace;
8
6
        private String errorMessage = null;
9
7
        private long verificationTime;
10
8
 
11
9
        public boolean isQuerySatisfied() {
12
10
                return queryResult.isQuerySatisfied();
13
11
        }
14
 
                
15
 
        public VerificationResult(QueryResult queryResult){
16
 
                this(queryResult, null);
17
 
        }
18
 
        
19
 
        public VerificationResult(QueryResult queryResult, TAPNTrace trace){
20
 
                this(queryResult, trace, 0);
21
 
        }
22
 
        
23
 
        public VerificationResult(QueryResult queryResult, TAPNTrace trace, long verificationTime){
 
12
 
 
13
 
 
14
        public VerificationResult(QueryResult queryResult, TTrace trace,
 
15
                        long verificationTime) {
 
16
 
24
17
                this.queryResult = queryResult;
25
18
                this.trace = trace;
26
19
                this.verificationTime = verificationTime;
32
25
 
33
26
        public QueryResult getQueryResult() {
34
27
                return queryResult;
35
 
        }               
36
 
        
37
 
        public TAPNTrace getTrace(){
 
28
        }
 
29
 
 
30
        public TTrace getTrace() {
38
31
                return trace;
39
32
        }
40
 
        
41
 
        public String errorMessage(){
 
33
 
 
34
        public String errorMessage() {
42
35
                return errorMessage;
43
36
        }
44
 
        
45
 
        public boolean error(){
 
37
 
 
38
        public boolean error() {
46
39
                return errorMessage != null;
47
40
        }
48
 
        
49
 
        public long verificationTime(){
 
41
 
 
42
        public long verificationTime() {
 
43
 
50
44
                return verificationTime;
51
45
        }
52
46
}