public interface ISymbolicValue extends ISymbolicElement
Represents a variable of an ISymbolicState
or ISymbolicObject
which contains a value of a primitive type.
The default implementation is SymbolicValue
.
SymbolicValue
Modifier and Type | Method and Description |
---|---|
Term |
getArrayIndex()
Returns the represented array index or
null if a program variable is represented.. |
java.lang.String |
getArrayIndexString()
Returns the human readable array index or
null if a program variable is represented.. |
Term |
getCondition()
Returns the optional condition under which this value is valid.
|
java.lang.String |
getConditionString()
Returns the optional condition under which this value is valid as human readable
String . |
java.lang.String |
getName()
Returns a human readable name.
|
IProgramVariable |
getProgramVariable()
Returns the represented
IProgramVariable or null if an array index is represented. |
java.lang.String |
getProgramVariableString()
Returns the represented
IProgramVariable as human readable String or null if an array index is represented. |
Sort |
getType()
Returns the type of the value.
|
java.lang.String |
getTypeString()
Returns the type of the value as human readable string.
|
Term |
getValue()
Returns the value of the represented variable.
|
java.lang.String |
getValueString()
Returns the value of the represented variable as human readable
String . |
boolean |
isArrayIndex()
Checks if an array index or a program variable is represented.
|
getSettings
java.lang.String getName()
boolean isArrayIndex()
true
array index, false
program variable.Term getArrayIndex()
null
if a program variable is represented..null
if a program variable is represented..java.lang.String getArrayIndexString()
null
if a program variable is represented..null
if a program variable is represented..IProgramVariable getProgramVariable()
IProgramVariable
or null
if an array index is represented.IProgramVariable
or null
if an array index is represented.java.lang.String getProgramVariableString()
IProgramVariable
as human readable String
or null
if an array index is represented.IProgramVariable
as human readable String
or null
if an array index is represented.Term getValue()
java.lang.String getValueString()
String
.String
.Sort getType()
java.lang.String getTypeString()
Term getCondition()
Returns the optional condition under which this value is valid.
The condition should be null
by default. Only in rare cases,
e.g. path condition is not strong enough to describe the path completely,
is a condition is provided.
java.lang.String getConditionString()
Returns the optional condition under which this value is valid as human readable String
.
The condition should be null
by default. Only in rare cases,
e.g. path condition is not strong enough to describe the path completely,
is a condition is provided.
String
.