001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.spi.preferences;
003
004/**
005 * Default implementation of the {@link PreferenceChangeEvent} interface.
006 * @since 12881
007 */
008public class DefaultPreferenceChangeEvent implements PreferenceChangeEvent {
009    
010    private final String key;
011    private final Setting<?> oldValue;
012    private final Setting<?> newValue;
013
014    public DefaultPreferenceChangeEvent(String key, Setting<?> oldValue, Setting<?> newValue) {
015        this.key = key;
016        this.oldValue = oldValue;
017        this.newValue = newValue;
018    }
019
020    @Override
021    public String getKey() {
022        return key;
023    }
024
025    @Override
026    public Setting<?> getOldValue() {
027        return oldValue;
028    }
029
030    @Override
031    public Setting<?> getNewValue() {
032        return newValue;
033    }
034    
035}