public static class SymbolicLayoutReader.KeYlessObject extends SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer implements ISymbolicObject
ISymbolicObject
which is independent
from KeY and provides such only children and default attributes.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 . |
java.lang.String |
toString() |
addAssociation, addValue, getAssociations, getValues
getSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getAssociations, getValues
getSettings
public KeYlessObject(java.lang.String nameString, java.lang.String typeString)
nameString
- The name.typeString
- The type.public java.lang.String toString()
toString
in class java.lang.Object
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
.Copyright © 2003-2019 The KeY-Project.