public static class SymbolicLayoutReader.KeYlessObject extends SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer implements ISymbolicObject
ISymbolicObject
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private String |
nameString
The name.
|
private String |
typeString
The type.
|
Constructor and Description |
---|
KeYlessObject(String nameString,
String typeString)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ISymbolicAssociation |
getAssociation(IProgramVariable programVariable,
boolean isArrayIndex,
Term arrayIndex,
Term condition)
Returns the
ISymbolicAssociation with the given IProgramVariable . |
Term |
getName()
Returns the name of this object.
|
String |
getNameString()
Returns the name of this object as human readable
String . |
Sort |
getType()
Returns the type of this object.
|
String |
getTypeString()
Returns the type of this object as human readable string.
|
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
private String nameString
private String typeString
public Term getName()
getName
in interface ISymbolicObject
public String getNameString()
String
.getNameString
in interface ISymbolicObject
String
.public Sort getType()
getType
in interface ISymbolicObject
public String getTypeString()
getTypeString
in interface ISymbolicObject
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
.