public class TreeSettings extends java.lang.Object implements ITreeSettings
ITreeSettings
.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 IExecutionVariable s are computed according to the type structure of the visible memory. |
Constructor and Description |
---|
TreeSettings(boolean mergeBranchConditions,
boolean useUnicode,
boolean usePrettyPrinting,
boolean variablesAreOnlyComputedFromUpdates,
boolean simplifyConditions)
Constructor.
|
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.
|
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.private final boolean useUnicode
true
use unicode characters, false
do not use unicode characters.private final boolean usePrettyPrinting
true
use pretty printing, false
do not use pretty printing.private final boolean variablesAreOnlyComputedFromUpdates
true
IExecutionVariable
are only computed from updates, false
IExecutionVariable
s are computed according to the type structure of the visible memory.private final boolean simplifyConditions
true
simplify conditions, false
do not simplify conditions.public TreeSettings(boolean mergeBranchConditions, boolean useUnicode, boolean usePrettyPrinting, boolean variablesAreOnlyComputedFromUpdates, boolean simplifyConditions)
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
IExecutionVariable
s are computed according to the type structure of the visible memory.simplifyConditions
- true
simplify conditions, false
do not simplify conditions.public boolean isMergeBranchConditions()
isMergeBranchConditions
in interface ITreeSettings
true
merge branch conditions which means that a branch condition never contains another branch condition
or false
allow that branch conditions contains branch conditions.public boolean isUseUnicode()
isUseUnicode
in interface ITreeSettings
true
use unicode characters, false
do not use unicode characters.public boolean isUsePrettyPrinting()
isUsePrettyPrinting
in interface ITreeSettings
true
use pretty printing, false
do not use pretty printing.public boolean isVariablesAreOnlyComputedFromUpdates()
isVariablesAreOnlyComputedFromUpdates
in interface ITreeSettings
true
IExecutionVariable
are only computed from updates, false
IExecutionVariable
s are computed according to the type structure of the visible memory.public boolean isSimplifyConditions()
isSimplifyConditions
in interface ITreeSettings
true
simplify conditions, false
do not simplify conditions.