Changeset 5464 in josm for trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
- Timestamp:
- 2012-08-20T23:06:41+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
r5170 r5464 4 4 import org.openstreetmap.josm.Main; 5 5 6 /** 7 * A property containing an {@code Integer} value. 8 */ 6 9 public class IntegerProperty extends AbstractProperty<Integer> { 7 10 8 protected final int defaultValue; 9 11 /** 12 * Constructs a new {@code IntegerProperty}. 13 * @param key The property key 14 * @param defaultValue The default value 15 */ 10 16 public IntegerProperty(String key, int defaultValue) { 11 super(key); 12 this.defaultValue = defaultValue; 17 super(key, defaultValue); 13 18 } 14 19 15 public int get() { 20 @Override 21 public Integer get() { 16 22 return Main.pref.getInteger(getKey(), getDefaultValue()); 17 23 } 18 24 19 public boolean put(int value) { 25 @Override 26 public boolean put(Integer value) { 20 27 return Main.pref.putInteger(getKey(), value); 21 28 } … … 36 43 return put(intVal); 37 44 } 38 39 @Override40 public Integer getDefaultValue() {41 return defaultValue;42 }43 44 45 }
Note:
See TracChangeset
for help on using the changeset viewer.