01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10: package de.uka.ilkd.key.gui.configuration;
11:
12: import java.util.Properties;
13:
14: /** This interface is implemented by classes that are used to store
15: * settings for different proposes (like active heuristics, which LDTs
16: * to use etc.)
17: */
18: public interface Settings {
19:
20: /** gets a Properties object and has to perform the necessary
21: * steps in order to change this object in a way that it
22: * represents the stored settings
23: */
24: void readSettings(Properties props);
25:
26: /** The settings to store are written to the given Properties object.
27: * @param props the Properties object where to write the settings as (key, value) pair
28: */
29: void writeSettings(Properties props);
30:
31: /** adds a listener to the settings object
32: * @param l the listener
33: */
34: void addSettingsListener(SettingsListener l);
35: }
|