de.uka.ilkd.key.symbolic_execution.object_model.impl

Class ModelSettings

java.lang.Object

de.uka.ilkd.key.symbolic_execution.object_model.impl.ModelSettings

All Implemented Interfaces:

IModelSettings

public class ModelSettings
extends java.lang.Object
implements IModelSettings

Default implementation of IModelSettings.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
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.

Constructor Summary

Constructors

Constructor and Description
ModelSettings(boolean useUnicode, boolean usePrettyPrinting, boolean simplifyConditions) Constructor.

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from class java.lang.Object

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

Field Detail

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.

simplifyConditions

private final boolean simplifyConditions

true simplify conditions, false do not simplify conditions.

Constructor Detail

ModelSettings

public ModelSettings(boolean useUnicode,
                     boolean usePrettyPrinting,
                     boolean simplifyConditions)

Constructor.

Parameters:

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

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

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

Method Detail

isUseUnicode

public boolean isUseUnicode()

Checks if unicode characters are used.

Specified by:

isUseUnicode in interface IModelSettings

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 IModelSettings

Returns:

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

isSimplifyConditions

public boolean isSimplifyConditions()

Checks if conditions should be simplified or not.

Specified by:

isSimplifyConditions in interface IModelSettings

Returns:

true simplify conditions, false do not simplify conditions.