Modifier and Type | Field and Description |
---|---|
static boolean |
disableSpecs
if true then JML specifications are globally disabled
in this run of KeY, regardless of the regular settings
|
static boolean |
keepFileRepos
If this option is set, the (Disk)FileRepo does not delete its temporary directories
(can be used for debugging).
|
static boolean |
noPruningClosed
This parameter disables the possibility to prune in closed branches.
|
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
int |
autoSavePeriod() |
protected void |
fireSettingsChanged()
sends the message that the state of this setting has been
changed to its registered listeners (not thread-safe)
|
boolean |
isDndDirectionSensitive() |
boolean |
isEnsureSourceConsistency() |
boolean |
isRightClickMacro() |
void |
readSettings(java.util.Properties props)
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
|
void |
removeSettingsListener(SettingsListener l)
removes the listener from the settings object
|
void |
setAutoSave(int period) |
void |
setDnDDirectionSensitivity(boolean b) |
void |
setEnsureSourceConsistency(boolean b)
Sets the ensureSourceConsistency flag.
|
void |
setRightClickMacros(boolean b) |
void |
setTacletFilter(boolean b) |
void |
setUseJML(boolean b) |
boolean |
tacletFilter() |
boolean |
useJML() |
void |
writeSettings(java.util.Properties props)
implements the method required by the Settings interface.
|
public static boolean noPruningClosed
public static boolean keepFileRepos
public static boolean disableSpecs
public boolean tacletFilter()
public boolean isDndDirectionSensitive()
public boolean isRightClickMacro()
public boolean useJML()
public int autoSavePeriod()
public boolean isEnsureSourceConsistency()
public void setTacletFilter(boolean b)
public void setDnDDirectionSensitivity(boolean b)
public void setRightClickMacros(boolean b)
public void setUseJML(boolean b)
public void setAutoSave(int period)
public void setEnsureSourceConsistency(boolean b)
b
- the new truth value of the flagpublic void readSettings(java.util.Properties props)
readSettings
in interface Settings
public void writeSettings(java.util.Properties props)
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pairprotected void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
addSettingsListener
in interface Settings
l
- the listenerpublic void removeSettingsListener(SettingsListener l)
removeSettingsListener
in interface Settings
l
- the listener to removeCopyright © 2003-2019 The KeY-Project.