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 java.lang.String |
nameString
The name.
|
private java.lang.String |
typeString
The type.
|
Constructor and Description |
---|
KeYlessObject(java.lang.String nameString,
java.lang.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.
|
java.lang.String |
getNameString()
Returns the name of this object as human readable
String . |
Sort |
getType()
Returns the type of this object.
|
java.lang.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 java.lang.String nameString
private java.lang.String typeString
public KeYlessObject(java.lang.String nameString, java.lang.String typeString)
nameString
- The name.typeString
- The type.public Term getName()
getName
in interface ISymbolicObject
public java.lang.String getNameString()
String
.getNameString
in interface ISymbolicObject
String
.public Sort getType()
getType
in interface ISymbolicObject
public java.lang.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
.