| de.uka.ilkd.key.gui.configuration.Settings
All known Subclasses: de.uka.ilkd.key.gui.ModelSourceSettings, de.uka.ilkd.key.gui.configuration.ChoiceSettings, de.uka.ilkd.key.gui.configuration.SimultaneousUpdateSimplifierSettings, de.uka.ilkd.key.gui.DecisionProcedureSettings, de.uka.ilkd.key.gui.configuration.ViewSettings, de.uka.ilkd.key.gui.configuration.StrategySettings, de.uka.ilkd.key.gui.configuration.LibrariesSettings, de.uka.ilkd.key.gui.configuration.GeneralSettings,
| Settings | | public interface Settings (Code) | | This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
| addSettingsListener | | void addSettingsListener(SettingsListener l)(Code) | | adds a listener to the settings object
Parameters:
l - the listener |
| readSettings | | void readSettings(Properties props)(Code) | | gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
| writeSettings | | void writeSettings(Properties props)(Code) | | The settings to store are written to the given Properties object.
Parameters:
props - the Properties object where to write the settings as (key, value) pair |
|
|