de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer

java.lang.Object

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.AbstractKeYlessElement

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer

All Implemented Interfaces:

ISymbolicAssociationValueContainer, ISymbolicElement

Direct Known Subclasses:

SymbolicLayoutReader.KeYlessObject, SymbolicLayoutReader.KeYlessState

Enclosing class:

SymbolicLayoutReader

public abstract static class SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer
extends SymbolicLayoutReader.AbstractKeYlessElement
implements ISymbolicAssociationValueContainer

An implementation of ISymbolicAssociationValueContainer which is independent from KeY and provides such only children and default attributes.

Author:

Martin Hentschel

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
AbstractKeYlessAssociationValueContainer()

Method Summary

Modifier and Type	Method and Description
void	addAssociation(ISymbolicAssociation association) Adds a new child ISymbolicAssociation
void	addValue(ISymbolicValue value) Adds a new child ISymbolicValue.
ImmutableList<ISymbolicAssociation>	getAssociations() Returns the contained associations.
ImmutableList<ISymbolicValue>	getValues() Returns the contained values.

Methods inherited from class de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.AbstractKeYlessElement

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.ISymbolicAssociationValueContainer

getAssociation, getValue

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

getSettings

Field Detail

associations

private ImmutableList<ISymbolicAssociation> associations

The associations.

values

private ImmutableList<ISymbolicValue> values

The values.

Constructor Detail

AbstractKeYlessAssociationValueContainer

public AbstractKeYlessAssociationValueContainer()

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 child ISymbolicAssociation

Parameters:

association - The ISymbolicAssociation to add.

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 child ISymbolicValue.

Parameters:

value - The value to add.