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

Class AbstractSymbolicAssociationValueContainer

java.lang.Object

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

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

All Implemented Interfaces:

ISymbolicAssociationValueContainer, ISymbolicElement

Direct Known Subclasses:

SymbolicObject, SymbolicState

public abstract class AbstractSymbolicAssociationValueContainer
extends AbstractElement
implements ISymbolicAssociationValueContainer

Default implementation of ISymbolicAssociationValueContainer.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<ISymbolicAssociation>	associations The contained ISymbolicAssociations.
private ImmutableList<ISymbolicValue>	values The contained ISymbolicValues.

Constructor Summary

Constructors

Constructor and Description
AbstractSymbolicAssociationValueContainer(IModelSettings settings) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAssociation(ISymbolicAssociation association) Adds a new ISymbolicAssociation.
void	addValue(ISymbolicValue value) Adds a new ISymbolicValue.
ISymbolicAssociation	getAssociation(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition) Returns the ISymbolicAssociation with the given IProgramVariable.
ImmutableList<ISymbolicAssociation>	getAssociations() Returns the contained associations.
ISymbolicValue	getValue(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition) Returns the ISymbolicValue with the given IProgramVariable.
ImmutableList<ISymbolicValue>	getValues() Returns the contained values.

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

associations

private ImmutableList<ISymbolicAssociation> associations

The contained ISymbolicAssociations.

values

private ImmutableList<ISymbolicValue> values

The contained ISymbolicValues.

Constructor Detail

AbstractSymbolicAssociationValueContainer

public AbstractSymbolicAssociationValueContainer(IModelSettings settings)

Constructor.

Parameters:

settings - The IModelSettings to use.

Method Detail

getAssociations

public ImmutableList<ISymbolicAssociation> getAssociations()

Returns the contained associations.

Specified by:

getAssociations in interface ISymbolicAssociationValueContainer

Returns:

The contained associations.

addAssociation

public void addAssociation(ISymbolicAssociation association)

Adds a new ISymbolicAssociation.

Parameters:

value - The new ISymbolicAssociation to add.

getAssociation

public ISymbolicAssociation getAssociation(IProgramVariable programVariable,
                                           boolean isArrayIndex,
                                           Term arrayIndex,
                                           Term condition)

Returns the ISymbolicAssociation with the given IProgramVariable.

Specified by:

getAssociation in interface ISymbolicAssociationValueContainer

Parameters:

programVariable - The IProgramVariable for which the ISymbolicAssociation is requested.

isArrayIndex - Is array index?

arrayIndex - The array index.

condition - The optional condition under which this association is valid.

Returns:

The found ISymbolicAssociation or null if no ISymbolicAssociation is available with the given IProgramVariable.

getValues

public ImmutableList<ISymbolicValue> getValues()

Returns the contained values.

Specified by:

getValues in interface ISymbolicAssociationValueContainer

Returns:

The contained values.

addValue

public void addValue(ISymbolicValue value)

Adds a new ISymbolicValue.

Parameters:

value - The new ISymbolicValue to add.

getValue

public ISymbolicValue getValue(IProgramVariable programVariable,
                               boolean isArrayIndex,
                               Term arrayIndex,
                               Term condition)

Returns the ISymbolicValue with the given IProgramVariable.

Specified by:

getValue in interface ISymbolicAssociationValueContainer

Parameters:

programVariable - The IProgramVariable for which the ISymbolicValue is requested.

isArrayIndex - Is array index?

arrayIndex - The array index.

condition - The optional condition under which this value is valid.

Returns:

The found ISymbolicValue or null if no ISymbolicValue is available with the given IProgramVariable.