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

Class InterpreterWithArgs<V extends org.jinq.rebased.org.objectweb.asm.tree.analysis.Value>

java.lang.Object

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

ch.epfl.labos.iu.orm.queryll2.symbolic.InterpreterWithArgs<V>

Direct Known Subclasses:

BasicSymbolicInterpreter

public abstract class InterpreterWithArgs<V extends org.jinq.rebased.org.objectweb.asm.tree.analysis.Value>
extends org.jinq.rebased.org.objectweb.asm.tree.analysis.Interpreter

Field Summary

Fields inherited from class org.jinq.rebased.org.objectweb.asm.tree.analysis.Interpreter

api

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InterpreterWithArgs(int api)

Method Summary

Modifier and Type	Method and Description
abstract org.jinq.rebased.org.objectweb.asm.tree.analysis.Value	newArg(org.jinq.rebased.org.objectweb.asm.Type type, int argumentIndex)
abstract org.jinq.rebased.org.objectweb.asm.tree.analysis.Value	newThis(org.jinq.rebased.org.objectweb.asm.Type type)

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

binaryOperation, copyOperation, merge, naryOperation, newOperation, newValue, returnOperation, ternaryOperation, unaryOperation

Methods inherited from class java.lang.Object

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

Constructor Detail

InterpreterWithArgs

protected InterpreterWithArgs(int api)

Method Detail

newThis

public abstract org.jinq.rebased.org.objectweb.asm.tree.analysis.Value newThis(org.jinq.rebased.org.objectweb.asm.Type type)

newArg

public abstract org.jinq.rebased.org.objectweb.asm.tree.analysis.Value newArg(org.jinq.rebased.org.objectweb.asm.Type type,
                                                                              int argumentIndex)