public abstract static class SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer extends SymbolicLayoutReader.AbstractKeYlessElement implements ISymbolicAssociationValueContainer
ISymbolicAssociationValueContainer
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private ImmutableList<ISymbolicAssociation> |
associations
The associations.
|
private ImmutableList<ISymbolicValue> |
values
The values.
|
Constructor and Description |
---|
AbstractKeYlessAssociationValueContainer() |
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.
|
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAssociation, getValue
getSettings
private ImmutableList<ISymbolicAssociation> associations
private ImmutableList<ISymbolicValue> values
public AbstractKeYlessAssociationValueContainer()
public ImmutableList<ISymbolicAssociation> getAssociations()
getAssociations
in interface ISymbolicAssociationValueContainer
public void addAssociation(ISymbolicAssociation association)
ISymbolicAssociation
association
- The ISymbolicAssociation
to add.public ImmutableList<ISymbolicValue> getValues()
getValues
in interface ISymbolicAssociationValueContainer
public void addValue(ISymbolicValue value)
ISymbolicValue
.value
- The value to add.