de.rwth.i2.attestor.main.scene

Class Options

java.lang.Object

de.rwth.i2.attestor.main.scene.Options

public class Options
extends Object

Collects all options that customize the state space generation.

Author:

Hannah Arndt, Christoph

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Options()

Method Summary

Modifier and Type	Method and Description
void	addGrammarSelectorLabel(String selector)
void	addKeptVariable(String variableName)
void	addUsedSelectorLabel(String selector)
int	getAbstractionDistance()
boolean	getAggressiveNullAbstraction()
Set<String>	getGrammarSelectorLabels()
int	getMaxStateSize()
int	getMaxStateSpaceSize()
Set<String>	getUsedSelectorLabels()
boolean	isGarbageCollectionEnabled()
boolean	isGrammarRefinementEnabled()
boolean	isIndexedMode()
boolean	isKeptVariableName(String variableName)
boolean	isPostprocessingEnabled()
boolean	isRemoveDeadVariables()
boolean	isRuleCollapsingEnabled()
boolean	isVerifyCounterexamples()
void	setAbstractionDistance(int abstractionDistance)
void	setAggressiveNullAbstraction(boolean aggressiveNullAbstraction)
void	setGarbageCollectionEnabled(boolean enabled)
void	setGrammarRefinementEnabled(boolean enabled)
void	setIndexedMode(boolean indexedMode)
void	setMaxStateSize(int maxStateSize)
void	setMaxStateSpaceSize(int maxStateSpaceSize)
void	setPostProcessingEnabled(boolean enabled)
void	setRemoveDeadVariables(boolean removeDeadVariables)
void	setRuleCollapsingEnabled(boolean enabled)
void	setVerifyCounterexamples(boolean verifyCounterexamples)

Methods inherited from class java.lang.Object

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

Constructor Detail

Options

protected Options()

Method Detail

addKeptVariable

public void addKeptVariable(String variableName)

isKeptVariableName

public boolean isKeptVariableName(String variableName)

isPostprocessingEnabled

public boolean isPostprocessingEnabled()

Returns:

True if post-processing is applied to generated state spaces.

setPostProcessingEnabled

public void setPostProcessingEnabled(boolean enabled)

Parameters:

-

getMaxStateSpaceSize

public int getMaxStateSpaceSize()

Returns:

The maximal size of state spaces before state space generation is given up.

setMaxStateSpaceSize

public void setMaxStateSpaceSize(int maxStateSpaceSize)

Parameters:

maxStateSpaceSize - The maximal size of state spaces before state space generation is given up.

getMaxStateSize

public int getMaxStateSize()

Returns:

The maximal size of heap configurations before state space generation is given up.

setMaxStateSize

public void setMaxStateSize(int maxStateSize)

Parameters:

maxStateSize - The maximal size of heap configurations before state space generation is given up.

getAbstractionDistance

public int getAbstractionDistance()

Returns:

The minimal distance between variables and nodes in an embedding before abstraction is performed.

setAbstractionDistance

public void setAbstractionDistance(int abstractionDistance)

Parameters:

abstractionDistance - The minimal distance between variables and nodes in an embedding before abstraction is performed.

getAggressiveNullAbstraction

public boolean getAggressiveNullAbstraction()

Returns:

True if and only if the set abstraction distance should be ignored for the null node (and instead set to 0).

setAggressiveNullAbstraction

public void setAggressiveNullAbstraction(boolean aggressiveNullAbstraction)

Parameters:

aggressiveNullAbstraction - True if and only if the abstraction distance should be ignored for the null node.

isRemoveDeadVariables

public boolean isRemoveDeadVariables()

Returns:

True if and only if dead variables are deleted from heap configurations whenever possible.

setRemoveDeadVariables

public void setRemoveDeadVariables(boolean removeDeadVariables)

Parameters:

removeDeadVariables - True if and only if dead variables are deleted from heap configurations whenever possible.

isIndexedMode

public boolean isIndexedMode()

Returns:

True if and only if an indexed program analysis is performed.

setIndexedMode

public void setIndexedMode(boolean indexedMode)

Parameters:

indexedMode - True if and only if an indexed program analysis is performed.

isGrammarRefinementEnabled

public boolean isGrammarRefinementEnabled()

setGrammarRefinementEnabled

public void setGrammarRefinementEnabled(boolean enabled)

isGarbageCollectionEnabled

public boolean isGarbageCollectionEnabled()

Returns:

True if and only if the symbolic execution has to use garbage collection

setGarbageCollectionEnabled

public void setGarbageCollectionEnabled(boolean enabled)

Parameters:

enabled - True if and only if the symbolic execution should perform garbage collection

addGrammarSelectorLabel

public void addGrammarSelectorLabel(String selector)

addUsedSelectorLabel

public void addUsedSelectorLabel(String selector)

getGrammarSelectorLabels

public Set<String> getGrammarSelectorLabels()

getUsedSelectorLabels

public Set<String> getUsedSelectorLabels()

isRuleCollapsingEnabled

public boolean isRuleCollapsingEnabled()

setRuleCollapsingEnabled

public void setRuleCollapsingEnabled(boolean enabled)

setVerifyCounterexamples

public void setVerifyCounterexamples(boolean verifyCounterexamples)

isVerifyCounterexamples

public boolean isVerifyCounterexamples()