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

Class AbstractElement

java.lang.Object

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

All Implemented Interfaces:

ISymbolicElement

Direct Known Subclasses:

AbstractSymbolicAssociationValueContainer, SymbolicAssociation, SymbolicEquivalenceClass, SymbolicLayout, SymbolicValue

public abstract class AbstractElement
extends java.lang.Object
implements ISymbolicElement

Default implementation of ISymbolicElement.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private IModelSettings	settings The IModelSettings to use.

Constructor Summary

Constructors

Constructor and Description
AbstractElement(IModelSettings settings) Constructor.

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	formatTerm(Term term, Services services) Converts the given Term into a String respecting #isUsePretty().
IModelSettings	getSettings() Returns the IModelSettings to use.

Methods inherited from class java.lang.Object

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

Field Detail

settings

private final IModelSettings settings

The IModelSettings to use.

Constructor Detail

AbstractElement

public AbstractElement(IModelSettings settings)

Constructor.

Parameters:

settings - The IModelSettings to use.

Method Detail

getSettings

public IModelSettings getSettings()

Returns the IModelSettings to use.

Specified by:

getSettings in interface ISymbolicElement

Returns:

The IModelSettings to use.

formatTerm

protected java.lang.String formatTerm(Term term,
                                      Services services)

Converts the given Term into a String respecting #isUsePretty().

Parameters:

term - The Term to convert.

services - The Services to use.

Returns:

The String representation of the given Term.