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}