← Back to branch summary

~tapaal-contributor/tapaal/query-export-bug-1767615

« back to all changes in this revision

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

merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/net/tapaal/Preferences.java
213
213
                return pref.getBoolean("enabledTransitionsPanel", true);
214
214
        }
215
215
 
216
 
        public void setShowBlueTransitions(boolean show){
217
 
                pref.putBoolean("enabledBlueTransitions", show);
 
216
        public void setShowDelayEnabledTransitions(boolean show){
 
217
                pref.putBoolean("delayEnabledTransitions", show);
218
218
        }
219
219
 
220
 
        public boolean getShowBlueTransitions(){
221
 
                return pref.getBoolean("enabledBlueTransitions", true);
222
 
        }
223
 
        
224
 
        public void setBlueTransitionGranularity(BigDecimal granularity){
225
 
                pref.put("blueTransitionGranularity", granularity.toString());
226
 
        }
227
 
        
228
 
        public BigDecimal getBlueTransitionGranularity(){
229
 
                return new BigDecimal(pref.get("blueTransitionGranularity", "0.1"));
 
220
        public boolean getShowDelayEnabledTransitions(){
 
221
                return pref.getBoolean("delayEnabledTransitions", true);
 
222
        }
 
223
        
 
224
        public void setDelayEnabledTransitionGranularity(BigDecimal granularity){
 
225
                pref.put("delayEnabledTransitionGranularity", granularity.toString());
 
226
        }
 
227
        
 
228
        public BigDecimal getDelayEnabledTransitionGranularity(){
 
229
                return new BigDecimal(pref.get("delayEnabledTransitionGranularity", "0.1"));
230
230
                
231
231
        }
232
232
        
233
 
        public void setBlueTransitionDelayMode(DelayMode delayMode){
 
233
        public void setDelayEnabledTransitionDelayMode(DelayMode delayMode){
234
234
                if(delayMode instanceof ManualDelayMode){
235
 
                        pref.putInt("blueTransitionDelayMode", 0);
 
235
                        pref.putInt("delayEnabledTransitionDelayMode", 0);
236
236
                } else if(delayMode instanceof RandomDelayMode){
237
 
                        pref.putInt("blueTransitionDelayMode", 1);
 
237
                        pref.putInt("delayEnabledTransitionDelayMode", 1);
238
238
                } else if(delayMode instanceof ShortestDelayMode){
239
 
                        pref.putInt("blueTransitionDelayMode", 2);
 
239
                        pref.putInt("delayEnabledTransitionDelayMode", 2);
240
240
                } else {
241
241
                        throw new IllegalArgumentException("Can only save ManualDelayMode, RandomDelayMode and ShortestDelayMode");
242
242
                }
243
243
        }
244
244
        
245
 
        public DelayMode getBlueTransitionDelayMode(){
246
 
                switch (pref.getInt("blueTransitionDelayMode", 2)) {
 
245
        public DelayMode getDelayEnabledTransitionDelayMode(){
 
246
                switch (pref.getInt("delayEnabledTransitionDelayMode", 2)) {
247
247
                case 0: return ManualDelayMode.getInstance();
248
248
                case 1: return RandomDelayMode.getInstance();
249
249
                case 2: return ShortestDelayMode.getInstance();
252
252
                }
253
253
        }
254
254
        
255
 
        public void setBlueTransitionIsRandomTransition(boolean isRandomTransition){
256
 
                pref.putBoolean("blueTransitionRandomTransition", isRandomTransition);
 
255
        public void setDelayEnabledTransitionIsRandomTransition(boolean isRandomTransition){
 
256
                pref.putBoolean("delayEnabledTransitionRandomTransition", isRandomTransition);
257
257
        }
258
258
        
259
 
        public boolean getBlueTransitionIsRandomTransition() {
260
 
                return pref.getBoolean("blueTransitionRandomTransition", false);
 
259
        public boolean getDelayEnabledTransitionIsRandomTransition() {
 
260
                return pref.getBoolean("delayEnabledTransitionRandomTransition", false);
261
261
        }
262
262
 
263
263
        public void setSimulatorModelRoot(Split model){