org.objectweb.asm.tree.analysis

Class BasicVerifier

public class BasicVerifier extends BasicInterpreter

An extended {@link BasicInterpreter} that checks that bytecode instructions are correctly used.

Author: Eric Bruneton Bing Ran

Method Summary
ValuebinaryOperation(AbstractInsnNode insn, Value value1, Value value2)
ValuecopyOperation(AbstractInsnNode insn, Value value)
protected ValuegetElementValue(Value objectArrayValue)
protected booleanisArrayValue(Value value)
protected booleanisSubTypeOf(Value value, Value expected)
ValuenaryOperation(AbstractInsnNode insn, List values)
ValueternaryOperation(AbstractInsnNode insn, Value value1, Value value2, Value value3)
ValueunaryOperation(AbstractInsnNode insn, Value value)

Method Detail

binaryOperation

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

copyOperation

public Value copyOperation(AbstractInsnNode insn, Value value)

getElementValue

protected Value getElementValue(Value objectArrayValue)

isArrayValue

protected boolean isArrayValue(Value value)

isSubTypeOf

protected boolean isSubTypeOf(Value value, Value expected)

naryOperation

public Value naryOperation(AbstractInsnNode insn, List values)

ternaryOperation

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

unaryOperation

public Value unaryOperation(AbstractInsnNode insn, Value value)