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

Class SymbolicLayout

java.lang.Object

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

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

All Implemented Interfaces:

ISymbolicElement, ISymbolicLayout

public class SymbolicLayout
extends AbstractElement
implements ISymbolicLayout

Default implementation of ISymbolicLayout.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<ISymbolicEquivalenceClass>	equivalenceClasses The contained ISymbolicEquivalenceClass.
private ImmutableList<ISymbolicObject>	objects The contained ISymbolicObjects.
private ISymbolicState	state The ISymbolicState.

Constructor Summary

Constructors

Constructor and Description
SymbolicLayout(IModelSettings settings, ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addObject(ISymbolicObject object) Adds a new ISymbolicObject.
ImmutableList<ISymbolicEquivalenceClass>	getEquivalenceClasses() Returns the equivalence classes.
ImmutableList<ISymbolicObject>	getObjects() Returns all available symbolic objects.
ISymbolicState	getState() Returns the symbolic state.
void	setState(ISymbolicState state) Sets the ISymbolicState.

Methods inherited from class de.uka.ilkd.key.symbolic_execution.object_model.impl.AbstractElement

formatTerm, getSettings

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.object_model.ISymbolicElement

getSettings

Field Detail

equivalenceClasses

private final ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses

The contained ISymbolicEquivalenceClass.

state

private ISymbolicState state

The ISymbolicState.

objects

private ImmutableList<ISymbolicObject> objects

The contained ISymbolicObjects.

Constructor Detail

SymbolicLayout

public SymbolicLayout(IModelSettings settings,
                      ImmutableList<ISymbolicEquivalenceClass> equivalenceClasses)

Constructor.

Parameters:

equivalenceClasses - The provided equivalence classes.

settings - The IModelSettings to use.

Method Detail

getState

public ISymbolicState getState()

Returns the symbolic state.

Specified by:

getState in interface ISymbolicLayout

Returns:

the symbolic state.

setState

public void setState(ISymbolicState state)

Sets the ISymbolicState.

Parameters:

state - The ISymbolicState to set.

getObjects

public ImmutableList<ISymbolicObject> getObjects()

Returns all available symbolic objects.

Specified by:

getObjects in interface ISymbolicLayout

Returns:

The available symbolic objects.

addObject

public void addObject(ISymbolicObject object)

Adds a new ISymbolicObject.

Parameters:

value - The new ISymbolicObject to add.

getEquivalenceClasses

public ImmutableList<ISymbolicEquivalenceClass> getEquivalenceClasses()

Returns the equivalence classes.

Specified by:

getEquivalenceClasses in interface ISymbolicLayout

Returns:

The equivalence classes.