public interface ISymbolicAssociation extends ISymbolicElement
Represents an association of an ISymbolicState
or ISymbolicObject
which is a reference to an ISymbolicObject
.
The default implementation is SymbolicAssociation
.
SymbolicAssociation
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 association is valid.
|
java.lang.String |
getConditionString()
Returns the optional condition under which this association is valid as human readable
String . |
java.lang.String |
getName()
Returns a human readable name.
|
IProgramVariable |
getProgramVariable()
Returns the represented
IProgramVariable . |
java.lang.String |
getProgramVariableString()
Returns the represented
IProgramVariable as human readable String . |
ISymbolicObject |
getTarget()
Returns the target
ISymbolicObject . |
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
.IProgramVariable
.java.lang.String getProgramVariableString()
IProgramVariable
as human readable String
.IProgramVariable
as human readable String
.ISymbolicObject getTarget()
ISymbolicObject
.ISymbolicObject
.Term getCondition()
Returns the optional condition under which this association 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 association 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
.