public interface IExecutionVariable extends IExecutionElement
A variable value pair contained in an IExecutionNode
, e.g.
the method parameter int x = 42;
will have the variable value pair
x = 42
. This class represents the variable (x
) which is represented
while its values are represented as child IExecutionValue
instances.
The default implementation is ExecutionVariable
which
is instantiated lazily by the IExecutionNode
implementations.
IExecutionNode
,
IExecutionValue
,
ExecutionVariable
Modifier and Type | Method and Description |
---|---|
Term |
createSelectTerm()
Creates recursive a term which can be used to determine the value
of
getProgramVariable() . |
Term |
getAdditionalCondition()
Returns the optional additional condition considered during value computation.
|
Term |
getArrayIndex()
Returns the index in the parent array if an array cell value is represented.
|
java.lang.String |
getArrayIndexString()
Returns the human readable index in the parent array if an array cell value is represented.
|
IExecutionValue |
getParentValue()
Returns the parent
IExecutionValue if available. |
IProgramVariable |
getProgramVariable()
Returns the
IProgramVariable which contains the represented value. |
IExecutionValue[] |
getValues()
Returns the possible values of this
IExecutionVariable . |
boolean |
isArrayIndex()
Checks if the current value is part of a parent array.
|
getAppliedRuleApp, getElementType, getInitConfig, getModalityPIO, getName, getProof, getProofNode, getProofNodeInfo, getServices, getSettings, isDisposed
IProgramVariable getProgramVariable()
IProgramVariable
which contains the represented value.IProgramVariable
which contains the represented value.Term getArrayIndex()
null
if no array cell value is represented.java.lang.String getArrayIndexString()
null
if no array cell value is represented.boolean isArrayIndex()
true
is array cell value, false
is a "normal" value.Term getAdditionalCondition()
IExecutionValue getParentValue()
IExecutionValue
if available.IExecutionValue
if available and null
otherwise.IExecutionValue[] getValues() throws ProofInputException
IExecutionVariable
.IExecutionVariable
.ProofInputException
Term createSelectTerm()
getProgramVariable()
.