ch.epfl.labos.iu.orm.queryll2.symbolic

Class FrameWithHelpers

java.lang.Object

org.jinq.rebased.org.objectweb.asm.tree.analysis.Frame

ch.epfl.labos.iu.orm.queryll2.symbolic.FrameWithHelpers

public class FrameWithHelpers
extends org.jinq.rebased.org.objectweb.asm.tree.analysis.Frame

Constructor Summary

Constructors

Constructor and Description
FrameWithHelpers(org.jinq.rebased.org.objectweb.asm.tree.ClassNode cl, org.jinq.rebased.org.objectweb.asm.tree.MethodNode m, InterpreterWithArgs interpreter)

Method Summary

Modifier and Type	Method and Description
void	replaceValues(org.jinq.rebased.org.objectweb.asm.tree.analysis.Value oldVal, org.jinq.rebased.org.objectweb.asm.tree.analysis.Value newVal)

Methods inherited from class org.jinq.rebased.org.objectweb.asm.tree.analysis.Frame

clearStack, execute, getLocal, getLocals, getMaxStackSize, getStack, getStackSize, init, merge, merge, pop, push, setLocal, setReturn, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FrameWithHelpers

public FrameWithHelpers(org.jinq.rebased.org.objectweb.asm.tree.ClassNode cl,
                        org.jinq.rebased.org.objectweb.asm.tree.MethodNode m,
                        InterpreterWithArgs interpreter)

Method Detail

replaceValues

public void replaceValues(org.jinq.rebased.org.objectweb.asm.tree.analysis.Value oldVal,
                          org.jinq.rebased.org.objectweb.asm.tree.analysis.Value newVal)