org.objectweb.asm.tree.analysis

Class BasicVerifier

public class BasicVerifier extends BasicInterpreter

An extended BasicInterpreter that checks that bytecode instructions are correctly used.

Author: Eric Bruneton Bing Ran

Method Summary
Value	binaryOperation(AbstractInsnNode insn, Value value1, Value value2)
Value	copyOperation(AbstractInsnNode insn, Value value)
protected Value	getElementValue(Value objectArrayValue)
protected boolean	isArrayValue(Value value)
protected boolean	isSubTypeOf(Value value, Value expected)
Value	naryOperation(AbstractInsnNode insn, List values)
void	returnOperation(AbstractInsnNode insn, Value value, Value expected)
Value	ternaryOperation(AbstractInsnNode insn, Value value1, Value value2, Value value3)
Value	unaryOperation(AbstractInsnNode insn, Value value)

Method Detail

public Value binaryOperation(AbstractInsnNode insn, Value value1, Value value2)

public Value copyOperation(AbstractInsnNode insn, Value value)

protected Value getElementValue(Value objectArrayValue)

protected boolean isArrayValue(Value value)

protected boolean isSubTypeOf(Value value, Value expected)

public Value naryOperation(AbstractInsnNode insn, List values)

public void returnOperation(AbstractInsnNode insn, Value value, Value expected)

public Value ternaryOperation(AbstractInsnNode insn, Value value1, Value value2, Value value3)

public Value unaryOperation(AbstractInsnNode insn, Value value)