← 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/VerifyTAPN/VerifyTAPNOptions.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/VerifyTAPN/VerifyTAPNOptions.java
 
1
package dk.aau.cs.verification.VerifyTAPN;
 
2
 
 
3
import java.util.HashMap;
 
4
import java.util.Map;
 
5
 
 
6
import pipe.dataLayer.TAPNQuery.SearchOption;
 
7
import pipe.dataLayer.TAPNQuery.TraceOption;
 
8
import dk.aau.cs.verification.VerificationOptions;
 
9
 
 
10
public class VerifyTAPNOptions implements VerificationOptions{
 
11
        private TraceOption traceOption;
 
12
        private SearchOption searchOption;
 
13
        private int extraTokens;
 
14
        private int tokensInModel;
 
15
 
 
16
        private static final Map<TraceOption, String> traceMap = createTraceOptionsMap();
 
17
        private static final Map<SearchOption, String> searchMap = createSearchOptionsMap();
 
18
 
 
19
        public VerifyTAPNOptions(int extraTokens, TraceOption traceOption, SearchOption search) {
 
20
                this.extraTokens = extraTokens;
 
21
                this.traceOption = traceOption;
 
22
                this.searchOption = search;
 
23
        }
 
24
 
 
25
        public TraceOption trace() {
 
26
                return traceOption;
 
27
        }
 
28
        
 
29
        public void setTokensInModel(int tokens){ // TODO: Get rid of this method when verifytapn refactored
 
30
                this.tokensInModel = tokens;
 
31
        }
 
32
 
 
33
        @Override
 
34
        public String toString() {
 
35
                StringBuffer result = new StringBuffer();
 
36
 
 
37
                result.append("-k " + extraTokens+tokensInModel + " ");
 
38
                result.append(traceMap.get(traceOption));
 
39
                result.append(searchMap.get(searchOption));
 
40
                
 
41
                return result.toString();
 
42
        }
 
43
 
 
44
        public static final Map<TraceOption, String> createTraceOptionsMap() {
 
45
                HashMap<TraceOption, String> map = new HashMap<TraceOption, String>();
 
46
                map.put(TraceOption.SOME, "-t1");
 
47
                map.put(TraceOption.NONE, "");
 
48
 
 
49
                return map;
 
50
        }
 
51
 
 
52
        private static final Map<SearchOption, String> createSearchOptionsMap() {
 
53
                HashMap<SearchOption, String> map = new HashMap<SearchOption, String>();
 
54
                map.put(SearchOption.BFS, "-o0");
 
55
                map.put(SearchOption.DFS, "-o1");
 
56
 
 
57
                return map;
 
58
        }
 
59
}