de.uka.ilkd.key.settings

Class TestGenerationSettings

java.lang.Object

de.uka.ilkd.key.settings.TestGenerationSettings

All Implemented Interfaces:

Settings, java.lang.Cloneable

public class TestGenerationSettings
extends java.lang.Object
implements Settings, java.lang.Cloneable

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
TestGenerationSettings()
TestGenerationSettings(TestGenerationSettings data)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_APPLYSYMBOLICEX

private static final boolean DEFAULT_APPLYSYMBOLICEX

See Also:

Constant Field Values

DEFAULT_MAXUNWINDS

private static final int DEFAULT_MAXUNWINDS

See Also:

Constant Field Values

DEFAULT_CONCURRENTPROCESSES

private static final int DEFAULT_CONCURRENTPROCESSES

See Also:

Constant Field Values

DEFAULT_OUTPUTPATH

private static final java.lang.String DEFAULT_OUTPUTPATH

DEFAULT_REMOVEDUPLICATES

private static final boolean DEFAULT_REMOVEDUPLICATES

See Also:

Constant Field Values

DEFAULT_USERFL

private static final boolean DEFAULT_USERFL

See Also:

Constant Field Values

DEFAULT_USEJUNIT

private static final boolean DEFAULT_USEJUNIT

See Also:

Constant Field Values

DEFAULT_INVARIANTFORALL

private static final boolean DEFAULT_INVARIANTFORALL

See Also:

Constant Field Values

DEFAULT_OPENJMLPATH

private static final java.lang.String DEFAULT_OPENJMLPATH

See Also:

Constant Field Values

DEFAULT_OBJENESISPATH

private static final java.lang.String DEFAULT_OBJENESISPATH

See Also:

Constant Field Values

DEFAULT_INCLUDEPOSTCONDITION

private static final boolean DEFAULT_INCLUDEPOSTCONDITION

See Also:

Constant Field Values

applySymbolicExecution

private boolean applySymbolicExecution

maxUnwinds

private int maxUnwinds

outputPath

private java.lang.String outputPath

openjmlPath

private java.lang.String openjmlPath

objenesisPath

private java.lang.String objenesisPath

removeDuplicates

private boolean removeDuplicates

useRFL

private boolean useRFL

useJunit

private boolean useJunit

concurrentProcesses

private int concurrentProcesses

invariantForAll

private boolean invariantForAll

includePostCondition

private boolean includePostCondition

listeners

private final java.util.Collection<SettingsListener> listeners

propApplySymbolicExecution

private static final java.lang.String propApplySymbolicExecution

See Also:

Constant Field Values

propMaxUwinds

private static final java.lang.String propMaxUwinds

See Also:

Constant Field Values

propOutputPath

private static final java.lang.String propOutputPath

See Also:

Constant Field Values

propRemoveDuplicates

private static final java.lang.String propRemoveDuplicates

See Also:

Constant Field Values

propUseRFL

private static final java.lang.String propUseRFL

See Also:

Constant Field Values

propUseJUnit

private static final java.lang.String propUseJUnit

See Also:

Constant Field Values

propConcurrentProcesses

private static final java.lang.String propConcurrentProcesses

See Also:

Constant Field Values

propInvariantForAll

private static final java.lang.String propInvariantForAll

See Also:

Constant Field Values

propOpenjmlPath

private static final java.lang.String propOpenjmlPath

See Also:

Constant Field Values

propObjenesisPath

private static final java.lang.String propObjenesisPath

See Also:

Constant Field Values

propIncludePostCondition

private static final java.lang.String propIncludePostCondition

See Also:

Constant Field Values

Constructor Detail

TestGenerationSettings

public TestGenerationSettings()

TestGenerationSettings

public TestGenerationSettings(TestGenerationSettings data)

Method Detail

addSettingsListener

public void addSettingsListener(SettingsListener l)

Description copied from interface: Settings

adds a listener to the settings object

Specified by:

addSettingsListener in interface Settings

Parameters:

l - the listener

clone

public TestGenerationSettings clone(TestGenerationSettings data)

fireSettingsChanged

public void fireSettingsChanged()

getApplySymbolicExecution

public boolean getApplySymbolicExecution()

getMaximalUnwinds

public int getMaximalUnwinds()

getNumberOfProcesses

public int getNumberOfProcesses()

getOutputFolderPath

public java.lang.String getOutputFolderPath()

invaraiantForAll

public boolean invaraiantForAll()

includePostCondition

public boolean includePostCondition()

readSettings

public void readSettings(java.lang.Object sender,
                         java.util.Properties props)

Description copied from interface: Settings

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.

Specified by:

readSettings in interface Settings

removeDuplicates

public boolean removeDuplicates()

setApplySymbolicExecution

public void setApplySymbolicExecution(boolean applySymbolicExecution)

setConcurrentProcesses

public void setConcurrentProcesses(int concurrentProcesses)

setInvariantForAll

public void setInvariantForAll(boolean invariantForAll)

setMaxUnwinds

public void setMaxUnwinds(int maxUnwinds)

setOutputPath

public void setOutputPath(java.lang.String outputPath)

setRemoveDuplicates

public void setRemoveDuplicates(boolean removeDuplicates)

setIncludePostCondition

public void setIncludePostCondition(boolean includePostCondition)

setRFL

public void setRFL(boolean useRFL)

setUseJunit

public void setUseJunit(boolean useJunit)

getObjenesisPath

public java.lang.String getObjenesisPath()

setObjenesisPath

public void setObjenesisPath(java.lang.String objenesisPath)

getOpenjmlPath

public java.lang.String getOpenjmlPath()

setOpenjmlPath

public void setOpenjmlPath(java.lang.String openjmlPath)

useRFL

public boolean useRFL()

useJunit

public boolean useJunit()

writeSettings

public void writeSettings(java.lang.Object sender,
                          java.util.Properties props)

Description copied from interface: Settings

The settings to store are written to the given Properties object.

Specified by:

writeSettings in interface Settings

props - the Properties object where to write the settings as (key, value) pair sender is the object calling this method.