← Back to branch summary

~cpn-gui/tapaal/SrcDestPair

« back to all changes in this revision

Viewing changes to src/net/tapaal/Preferences.java

  • Committer: Mark Glavind
  • Date: 2019-05-24 10:35:19 UTC
  • Revision ID: mglavi14@student.aau.dk-20190524103519-5314ectsul7cx9ur
WIP on adding unfoldtacpn to engine selection tool. Adding file missing from earlier commit

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/net/tapaal/Preferences.java
88
88
                        pref.put(key, location);   
89
89
                }
90
90
        }
 
91
 
 
92
        public String getUnfoldtacpnLocation() {return pref.get("utacpn.location", "");}
 
93
 
 
94
        public void setUnfoldtacpnLocation(String location) {
 
95
                final String key = "utacpn.location";
 
96
 
 
97
                if (location == null ||location.equals("")) {
 
98
                        pref.remove(key);
 
99
                } else {
 
100
                        pref.put(key, location);
 
101
                }
 
102
        }
91
103
        
92
104
        public String getVerifypnLocation() {
93
105
                return pref.get("verifypn.location", "");