public class PartialEvaluatorUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.Object |
getIdFromSpecificReferenceValue(ReferenceValue value)
Returns the identifier of a reference value for which
Value.isSpecific() is true (i.e.,
the reference is identified by a unique number). |
static Value |
getStackBefore(PartialEvaluator partialEvaluator,
int offset,
int index)
Returns the value from the before stack at offset, counting from the top.
|
static Value |
getStackValue(Stack stack,
int indexFromTop)
Returns the value from the stack, counting from the top of the stack.
|
public static Value getStackValue(Stack stack, int indexFromTop)
public static Value getStackBefore(PartialEvaluator partialEvaluator, int offset, int index)
public static java.lang.Object getIdFromSpecificReferenceValue(ReferenceValue value)
Value.isSpecific()
is true (i.e.,
the reference is identified by a unique number).
This helper method is needed because IdentifiedReferenceValue
and IdentifiedArrayReferenceValue
do not share the relevant portion of the class hierarchy, but a
better solution should be implemented in the future.