| |
|
| java.lang.Object de.uka.ilkd.key.gui.configuration.GeneralSettings
GeneralSettings | public class GeneralSettings implements Settings(Code) | | This class encapsulates the information about the active
Heuristics and the maximum amount of heuristics steps before an
interactive step is required.
|
addSettingsListener | public void addSettingsListener(SettingsListener l)(Code) | | adds a listener to the settings object
Parameters: l - the listener |
fireSettingsChanged | protected void fireSettingsChanged()(Code) | | sends the message that the state of this setting has been
changed to its registered listeners (not thread-safe)
|
isDndDirectionSensitive | public boolean isDndDirectionSensitive()(Code) | | returns true if drag and drop shall be direction sensitive
|
outerRenaming | public boolean outerRenaming()(Code) | | |
proofAssistantMode | public boolean proofAssistantMode()(Code) | | |
readSettings | public 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
|
setDnDDirectionSensitivity | public void setDnDDirectionSensitivity(boolean b)(Code) | | |
setOuterRenaming | public void setOuterRenaming(boolean b)(Code) | | |
setProofAssistantMode | public void setProofAssistantMode(boolean b)(Code) | | |
setSoundNotification | public void setSoundNotification(boolean b)(Code) | | |
setStupidMode | public void setStupidMode(boolean b)(Code) | | |
setSuggestiveVarNames | public void setSuggestiveVarNames(boolean b)(Code) | | |
soundNotification | public boolean soundNotification()(Code) | | |
stupidMode | public boolean stupidMode()(Code) | | |
suggestiveVarNames | public boolean suggestiveVarNames()(Code) | | |
writeSettings | public void writeSettings(Properties props)(Code) | | implements the method required by the Settings interface. The
settings are written to the given Properties object. Only entries of the form
= (,)* are allowed.
Parameters: props - the Properties object where to write the settings as (key, value) pair |
|
|
|