- <init>
Creates a new TracedStack that is a copy of the given TracedStack.
- copy
- generalize
- getTop
- getTopProducerValue
Gets the specified producer Value from the stack, without disturbing it.
- producerPop
- producerPush
- setProducerValue
Sets the Value that will be stored along with all push and pop instructions.
- size
- getBottom
- getBottomActualProducerValue
Gets the specified actual producer Value from the stack, ignoring dup/swap
instructions, without dis
- getBottomProducerValue
Gets the specified producer Value from the stack, without disturbing it.