public interface ISymbolicAssociationValueContainer extends ISymbolicElement
This interface is not instantiated directly because it defines only the
common behavior of ISymbolicState
and ISymbolicObject
which
is to contain associations (references to other ISymbolicObject
s)
and values (local variables of simple types).
The default abstract implementation is AbstractSymbolicAssociationValueContainer
.
AbstractSymbolicAssociationValueContainer
,
ISymbolicObject
,
ISymbolicState
Modifier and Type | Method and Description |
---|---|
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.
|
getSettings
ImmutableList<ISymbolicAssociation> getAssociations()
ISymbolicAssociation getAssociation(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition)
ISymbolicAssociation
with the given IProgramVariable
.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.ISymbolicAssociation
or null
if no ISymbolicAssociation
is available with the given IProgramVariable
.ImmutableList<ISymbolicValue> getValues()
ISymbolicValue getValue(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition)
ISymbolicValue
with the given IProgramVariable
.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.ISymbolicValue
or null
if no ISymbolicValue
is available with the given IProgramVariable
.