| |
|
| java.lang.Object de.uka.ilkd.key.gui.configuration.StrategySettings
StrategySettings | public class StrategySettings implements Settings(Code) | | |
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)
|
getActiveStrategyProperties | public StrategyProperties getActiveStrategyProperties()(Code) | | returns a shallow copy of the strategy properties
|
getMaxSteps | public int getMaxSteps()(Code) | | returns the maximal amount of heuristics steps before an user
interaction is required
the maximal amount of heuristics steps before an userinteraction is required |
getStrategy | public Name getStrategy()(Code) | | Get the name of the active strategy
the name of the active strategy |
getTimeout | public long getTimeout()(Code) | | retrieves the time in ms after which automatic rule application shall be aborted
(-1 disables timeout)
time in ms after which automatic rule application shall be aborted |
setActiveStrategyProperties | public void setActiveStrategyProperties(StrategyProperties p)(Code) | | sets the strategy properties if different from current ones
|
setMaxSteps | public void setMaxSteps(int mSteps)(Code) | | sets the maximal amount of heuristic steps before a user
interaction is required
Parameters: mSteps - maximal amount of heuristic steps |
setStrategy | public void setStrategy(Name name)(Code) | | Set the name of the active strategy
Parameters: name - |
setTimeout | public void setTimeout(long timeout)(Code) | | sets the time after which automatic rule application shall be aborted
(-1 disables timeout)
Parameters: timeout - a long specifying the timeout in ms |
|
|
|