Modifier and Type | Field and Description |
---|---|
private boolean |
applySymbolicExecution |
private int |
concurrentProcesses |
private static boolean |
DEFAULT_APPLYSYMBOLICEX |
private static int |
DEFAULT_CONCURRENTPROCESSES |
private static boolean |
DEFAULT_INCLUDEPOSTCONDITION |
private static boolean |
DEFAULT_INVARIANTFORALL |
private static int |
DEFAULT_MAXUNWINDS |
private static java.lang.String |
DEFAULT_OBJENESISPATH |
private static java.lang.String |
DEFAULT_OPENJMLPATH |
private static java.lang.String |
DEFAULT_OUTPUTPATH |
private static boolean |
DEFAULT_REMOVEDUPLICATES |
private static boolean |
DEFAULT_USEJUNIT |
private static boolean |
DEFAULT_USERFL |
private boolean |
includePostCondition |
private boolean |
invariantForAll |
private java.util.Collection<SettingsListener> |
listeners |
private int |
maxUnwinds |
private java.lang.String |
objenesisPath |
private java.lang.String |
openjmlPath |
private java.lang.String |
outputPath |
private static java.lang.String |
propApplySymbolicExecution |
private static java.lang.String |
propConcurrentProcesses |
private static java.lang.String |
propIncludePostCondition |
private static java.lang.String |
propInvariantForAll |
private static java.lang.String |
propMaxUwinds |
private static java.lang.String |
propObjenesisPath |
private static java.lang.String |
propOpenjmlPath |
private static java.lang.String |
propOutputPath |
private static java.lang.String |
propRemoveDuplicates |
private static java.lang.String |
propUseJUnit |
private static java.lang.String |
propUseRFL |
private boolean |
removeDuplicates |
private boolean |
useJunit |
private boolean |
useRFL |
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() |
java.lang.String |
getObjenesisPath() |
java.lang.String |
getOpenjmlPath() |
java.lang.String |
getOutputFolderPath() |
boolean |
includePostCondition() |
boolean |
invaraiantForAll() |
void |
readSettings(java.lang.Object sender,
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
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(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.lang.Object sender,
java.util.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 java.lang.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 java.lang.String DEFAULT_OPENJMLPATH
private static final java.lang.String DEFAULT_OBJENESISPATH
private static final boolean DEFAULT_INCLUDEPOSTCONDITION
private boolean applySymbolicExecution
private int maxUnwinds
private java.lang.String outputPath
private java.lang.String openjmlPath
private java.lang.String objenesisPath
private boolean removeDuplicates
private boolean useRFL
private boolean useJunit
private int concurrentProcesses
private boolean invariantForAll
private boolean includePostCondition
private final java.util.Collection<SettingsListener> listeners
private static final java.lang.String propApplySymbolicExecution
private static final java.lang.String propMaxUwinds
private static final java.lang.String propOutputPath
private static final java.lang.String propRemoveDuplicates
private static final java.lang.String propUseRFL
private static final java.lang.String propUseJUnit
private static final java.lang.String propConcurrentProcesses
private static final java.lang.String propInvariantForAll
private static final java.lang.String propOpenjmlPath
private static final java.lang.String propObjenesisPath
private static final java.lang.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 java.lang.String getOutputFolderPath()
public boolean invaraiantForAll()
public boolean includePostCondition()
public void readSettings(java.lang.Object sender, java.util.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(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.lang.Object sender, java.util.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.