ui: load persisted Integer synthesis options as such.

Closes #23.
kieler · Jul 28, 2021 · 4e48e13 · 4e48e13
1 parent a029454
commit 4e48e13
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/...ieler.klighd.ui.view/src/de/cau/cs/kieler/klighd/ui/view/SynthesisOptionsPersistence.java b/...ieler.klighd.ui.view/src/de/cau/cs/kieler/klighd/ui/view/SynthesisOptionsPersistence.java
@@ -81,6 +81,12 @@ public static Object parse(final SynthesisOption option, final String value) {
                 if (option.isCheckOption()) {
                     return Boolean.parseBoolean(value);
                 } else if (option.isRangeOption()) {
+                    // An Integer range option should be parsed as an integer. Default to float parsing otherwise.
+                    if (option.getRange().getFirst() instanceof Integer
+                            && option.getRange().getSecond() instanceof Integer
+                            && option.getStepSize() instanceof Integer) {
+                        return Integer.parseInt(value);
+                    }
                     return Float.parseFloat(value);
                 } else if (option.isChoiceOption()) {
                     int hash = Integer.parseInt(value);