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() |
int |
getMaximalUnwinds() |
int |
getNumberOfProcesses() |
String |
getObjenesisPath() |
String |
getOpenjmlPath() |
String |
getOutputFolderPath() |
boolean |
includePostCondition() |
boolean |
invaraiantForAll() |
void |
readSettings(Object sender,
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
sender is the object calling this method. |
boolean |
removeDuplicates() |
void |
setApplySymbolicExecution(boolean applySymbolicExecution) |
void |
setConcurrentProcesses(int concurrentProcesses) |
void |
setIncludePostCondition(boolean includePostCondition) |
void |
setInvariantForAll(boolean invariantForAll) |
void |
setMaxUnwinds(int maxUnwinds) |
void |
setObjenesisPath(String objenesisPath) |
void |
setOpenjmlPath(String openjmlPath) |
void |
setOutputPath(String outputPath) |
void |
setRemoveDuplicates(boolean removeDuplicates) |
void |
setRFL(boolean useRFL) |
void |
setUseJunit(boolean useJunit) |
boolean |
useJunit() |
boolean |
useRFL() |
void |
writeSettings(Object sender,
Properties props)
The settings to store are written to the given Properties object.
|
private static final boolean DEFAULT_APPLYSYMBOLICEX
private static final int DEFAULT_MAXUNWINDS
private static final int DEFAULT_CONCURRENTPROCESSES
private static final String DEFAULT_OUTPUTPATH
private static final boolean DEFAULT_REMOVEDUPLICATES
private static final boolean DEFAULT_USERFL
private static final boolean DEFAULT_USEJUNIT
private static final boolean DEFAULT_INVARIANTFORALL
private static final String DEFAULT_OPENJMLPATH
private static final String DEFAULT_OBJENESISPATH
private static final boolean DEFAULT_INCLUDEPOSTCONDITION
private boolean applySymbolicExecution
private int maxUnwinds
private String outputPath
private String openjmlPath
private String objenesisPath
private boolean removeDuplicates
private boolean useRFL
private boolean useJunit
private int concurrentProcesses
private boolean invariantForAll
private boolean includePostCondition
private final Collection<SettingsListener> listeners
private static final String propApplySymbolicExecution
private static final String propMaxUwinds
private static final String propOutputPath
private static final String propRemoveDuplicates
private static final String propUseRFL
private static final String propUseJUnit
private static final String propConcurrentProcesses
private static final String propInvariantForAll
private static final String propOpenjmlPath
private static final String propObjenesisPath
private static final String propIncludePostCondition
public TestGenerationSettings()
public TestGenerationSettings(TestGenerationSettings data)
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listenerpublic TestGenerationSettings clone(TestGenerationSettings data)
public void fireSettingsChanged()
public boolean getApplySymbolicExecution()
public int getMaximalUnwinds()
public int getNumberOfProcesses()
public String getOutputFolderPath()
public boolean invaraiantForAll()
public boolean includePostCondition()
public void readSettings(Object sender, Properties props)
Settings
sender
is the object calling this method.readSettings
in interface Settings
public boolean removeDuplicates()
public void setApplySymbolicExecution(boolean applySymbolicExecution)
public void setConcurrentProcesses(int concurrentProcesses)
public void setInvariantForAll(boolean invariantForAll)
public void setMaxUnwinds(int maxUnwinds)
public void setOutputPath(String outputPath)
public void setRemoveDuplicates(boolean removeDuplicates)
public void setIncludePostCondition(boolean includePostCondition)
public void setRFL(boolean useRFL)
public void setUseJunit(boolean useJunit)
public String getObjenesisPath()
public void setObjenesisPath(String objenesisPath)
public String getOpenjmlPath()
public void setOpenjmlPath(String openjmlPath)
public boolean useRFL()
public boolean useJunit()
public void writeSettings(Object sender, Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pair
sender
is the object calling this method.