de.uka.ilkd.key.symbolic_execution.model.impl

Class TreeSettings

java.lang.Object

de.uka.ilkd.key.symbolic_execution.model.impl.TreeSettings

All Implemented Interfaces:

ITreeSettings

public class TreeSettings
extends java.lang.Object
implements ITreeSettings

The default implementation of ITreeSettings.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	mergeBranchConditions true merge branch conditions which means that a branch condition never contains another branch condition or false allow that branch conditions contains branch conditions.
private boolean	simplifyConditions true simplify conditions, false do not simplify conditions.
private boolean	usePrettyPrinting true use pretty printing, false do not use pretty printing.
private boolean	useUnicode true use unicode characters, false do not use unicode characters.
private boolean	variablesAreOnlyComputedFromUpdates true IExecutionVariable are only computed from updates, false IExecutionVariables are computed according to the type structure of the visible memory.

Constructor Summary

Constructors

Constructor and Description
TreeSettings(boolean mergeBranchConditions, boolean useUnicode, boolean usePrettyPrinting, boolean variablesAreOnlyComputedFromUpdates, boolean simplifyConditions) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	isMergeBranchConditions() Checks if multiple branch conditions are merged or not.
boolean	isSimplifyConditions() Checks if conditions should be simplified or not.
boolean	isUsePrettyPrinting() Checks if pretty printing is used or not.
boolean	isUseUnicode() Checks if unicode characters are used.
boolean	isVariablesAreOnlyComputedFromUpdates() Checks how variables are computed.

Methods inherited from class java.lang.Object

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

Field Detail

mergeBranchConditions

private final boolean mergeBranchConditions

true merge branch conditions which means that a branch condition never contains another branch condition or false allow that branch conditions contains branch conditions.

useUnicode

private final boolean useUnicode

true use unicode characters, false do not use unicode characters.

usePrettyPrinting

private final boolean usePrettyPrinting

true use pretty printing, false do not use pretty printing.

variablesAreOnlyComputedFromUpdates

private final boolean variablesAreOnlyComputedFromUpdates

true IExecutionVariable are only computed from updates, false IExecutionVariables are computed according to the type structure of the visible memory.

simplifyConditions

private final boolean simplifyConditions

true simplify conditions, false do not simplify conditions.

Constructor Detail

TreeSettings

public TreeSettings(boolean mergeBranchConditions,
                    boolean useUnicode,
                    boolean usePrettyPrinting,
                    boolean variablesAreOnlyComputedFromUpdates,
                    boolean simplifyConditions)

Constructor.

Parameters:

mergeBranchConditions - true merge branch conditions which means that a branch condition never contains another branch condition or false allow that branch conditions contains branch conditions.

useUnicode - true use unicode characters, false do not use unicode characters.

usePrettyPrinting - true use pretty printing, false do not use pretty printing.

variablesAreOnlyComputedFromUpdates - true IExecutionVariable are only computed from updates, false IExecutionVariables are computed according to the type structure of the visible memory.

simplifyConditions - true simplify conditions, false do not simplify conditions.

Method Detail

isMergeBranchConditions

public boolean isMergeBranchConditions()

Checks if multiple branch conditions are merged or not.

Specified by:

isMergeBranchConditions in interface ITreeSettings

Returns:

true merge branch conditions which means that a branch condition never contains another branch condition or false allow that branch conditions contains branch conditions.

isUseUnicode

public boolean isUseUnicode()

Checks if unicode characters are used.

Specified by:

isUseUnicode in interface ITreeSettings

Returns:

true use unicode characters, false do not use unicode characters.

isUsePrettyPrinting

public boolean isUsePrettyPrinting()

Checks if pretty printing is used or not.

Specified by:

isUsePrettyPrinting in interface ITreeSettings

Returns:

true use pretty printing, false do not use pretty printing.

isVariablesAreOnlyComputedFromUpdates

public boolean isVariablesAreOnlyComputedFromUpdates()

Checks how variables are computed.

Specified by:

isVariablesAreOnlyComputedFromUpdates in interface ITreeSettings

Returns:

true IExecutionVariable are only computed from updates, false IExecutionVariables are computed according to the type structure of the visible memory.

isSimplifyConditions

public boolean isSimplifyConditions()

Checks if conditions should be simplified or not.

Specified by:

isSimplifyConditions in interface ITreeSettings

Returns:

true simplify conditions, false do not simplify conditions.