Constructor and Description |
---|
TestGenerationSettings() |
TestGenerationSettings(TestGenerationSettings data) |
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
TestGenerationSettings |
clone(TestGenerationSettings data) |
void |
fireSettingsChanged() |
boolean |
getApplySymbolicExecution() |
static TestGenerationSettings |
getInstance() |
int |
getMaximalUnwinds() |
int |
getNumberOfProcesses() |
java.lang.String |
getObjenesisPath() |
java.lang.String |
getOpenjmlPath() |
java.lang.String |
getOutputFolderPath() |
boolean |
includePostCondition() |
boolean |
invariantForAll() |
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
|
boolean |
removeDuplicates() |
void |
removeSettingsListener(SettingsListener l)
removes a listener to the settings object
|
void |
set(TestGenerationSettings settings) |
void |
setApplySymbolicExecution(boolean applySymbolicExecution) |
void |
setConcurrentProcesses(int concurrentProcesses) |
void |
setIncludePostCondition(boolean includePostCondition) |
void |
setInvariantForAll(boolean invariantForAll) |
void |
setMaxUnwinds(int maxUnwinds) |
void |
setObjenesisPath(java.lang.String objenesisPath) |
void |
setOpenjmlPath(java.lang.String openjmlPath) |
void |
setOutputPath(java.lang.String outputPath) |
void |
setRemoveDuplicates(boolean removeDuplicates) |
void |
setRFL(boolean useRFL) |
void |
setUseJunit(boolean useJunit) |
boolean |
useJunit() |
boolean |
useRFL() |
void |
writeSettings(java.util.Properties props)
The settings to store are written to the given Properties object.
|
public TestGenerationSettings()
public TestGenerationSettings(TestGenerationSettings data)
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listenerpublic void removeSettingsListener(SettingsListener l)
Settings
removeSettingsListener
in interface Settings
l
- the listenerpublic TestGenerationSettings clone(TestGenerationSettings data)
public void fireSettingsChanged()
public boolean getApplySymbolicExecution()
public void setApplySymbolicExecution(boolean applySymbolicExecution)
public int getMaximalUnwinds()
public int getNumberOfProcesses()
public java.lang.String getOutputFolderPath()
public boolean invariantForAll()
public boolean includePostCondition()
public void readSettings(java.util.Properties props)
Settings
readSettings
in interface Settings
public boolean removeDuplicates()
public void setConcurrentProcesses(int concurrentProcesses)
public void setInvariantForAll(boolean invariantForAll)
public void setMaxUnwinds(int maxUnwinds)
public void setOutputPath(java.lang.String outputPath)
public void setRemoveDuplicates(boolean removeDuplicates)
public void setIncludePostCondition(boolean includePostCondition)
public void setRFL(boolean useRFL)
public void setUseJunit(boolean useJunit)
public java.lang.String getObjenesisPath()
public void setObjenesisPath(java.lang.String objenesisPath)
public java.lang.String getOpenjmlPath()
public void setOpenjmlPath(java.lang.String openjmlPath)
public boolean useRFL()
public boolean useJunit()
public void writeSettings(java.util.Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pairpublic void set(TestGenerationSettings settings)
@Nonnull public static TestGenerationSettings getInstance()
Copyright © 2003-2019 The KeY-Project.