public static class SymbolicLayoutReader.KeYlessState extends SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer implements ISymbolicState
ISymbolicState
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
name
The name.
|
Constructor and Description |
---|
KeYlessState(java.lang.String name)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ISymbolicAssociation |
getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
java.lang.String |
getName()
Returns the name of this state.
|
ISymbolicValue |
getValue(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicValue with the given IProgramVariable . |
addAssociation, addValue, getAssociations, getValues
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAssociations, getValues
getSettings
public KeYlessState(java.lang.String name)
name
- The name.public java.lang.String getName()
getName
in interface ISymbolicState
public ISymbolicAssociation getAssociation(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition)
ISymbolicAssociation
with the given IProgramVariable
.getAssociation
in interface ISymbolicAssociationValueContainer
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
.public ISymbolicValue getValue(IProgramVariable programVariable, boolean isArrayIndex, Term arrayIndex, Term condition)
ISymbolicValue
with the given IProgramVariable
.getValue
in interface ISymbolicAssociationValueContainer
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
.