Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.objectweb.asm.tree.analysis.BasicInterpreter
org.objectweb.asm.tree.analysis.BasicVerifier
public class BasicVerifier
extends BasicInterpreter
BasicInterpreter
that checks that bytecode instructions
are correctly used.
Method Summary | |
Value |
|
Value |
|
protected Value |
|
protected boolean |
|
protected boolean |
|
Value |
|
Value |
|
Value |
|
Methods inherited from class org.objectweb.asm.tree.analysis.BasicInterpreter | |
binaryOperation , copyOperation , merge , naryOperation , newOperation , newValue , ternaryOperation , unaryOperation |
public Value binaryOperation(AbstractInsnNode insn, Value value1, Value value2) throws AnalyzerException
Interprets a bytecode instruction with two arguments. This method is called for the following opcodes: IALOAD, LALOAD, FALOAD, DALOAD, AALOAD, BALOAD, CALOAD, SALOAD, IADD, LADD, FADD, DADD, ISUB, LSUB, FSUB, DSUB, IMUL, LMUL, FMUL, DMUL, IDIV, LDIV, FDIV, DDIV, IREM, LREM, FREM, DREM, ISHL, LSHL, ISHR, LSHR, IUSHR, LUSHR, IAND, LAND, IOR, LOR, IXOR, LXOR, LCMP, FCMPL, FCMPG, DCMPL, DCMPG, IF_ICMPEQ, IF_ICMPNE, IF_ICMPLT, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ACMPEQ, IF_ACMPNE, PUTFIELD
- Specified by:
- binaryOperation in interface Interpreter
- Overrides:
- binaryOperation in interface BasicInterpreter
- Parameters:
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.
- Returns:
- the result of the interpretation of the given instruction.
- Throws:
AnalyzerException
- if an error occured during the interpretation.
public Value copyOperation(AbstractInsnNode insn, Value value) throws AnalyzerException
Interprets a bytecode instruction that moves a value on the stack or to or from local variables. This method is called for the following opcodes: ILOAD, LLOAD, FLOAD, DLOAD, ALOAD, ISTORE, LSTORE, FSTORE, DSTORE, ASTORE, DUP, DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP
- Specified by:
- copyOperation in interface Interpreter
- Overrides:
- copyOperation in interface BasicInterpreter
- Parameters:
insn
- the bytecode instruction to be interpreted.value
- the value that must be moved by the instruction.
- Returns:
- the result of the interpretation of the given instruction. The returned value must be equal to the given value.
- Throws:
AnalyzerException
- if an error occured during the interpretation.
public Value naryOperation(AbstractInsnNode insn, List values) throws AnalyzerException
Interprets a bytecode instruction with a variable number of arguments. This method is called for the following opcodes: INVOKEVIRTUAL, INVOKESPECIAL, INVOKESTATIC, INVOKEINTERFACE, MULTIANEWARRAY
- Specified by:
- naryOperation in interface Interpreter
- Overrides:
- naryOperation in interface BasicInterpreter
- Parameters:
insn
- the bytecode instruction to be interpreted.values
- the arguments of the instruction to be interpreted.
- Returns:
- the result of the interpretation of the given instruction.
- Throws:
AnalyzerException
- if an error occured during the interpretation.
public Value ternaryOperation(AbstractInsnNode insn, Value value1, Value value2, Value value3) throws AnalyzerException
Interprets a bytecode instruction with three arguments. This method is called for the following opcodes: IASTORE, LASTORE, FASTORE, DASTORE, AASTORE, BASTORE, CASTORE, SASTORE
- Specified by:
- ternaryOperation in interface Interpreter
- Overrides:
- ternaryOperation in interface BasicInterpreter
- Parameters:
insn
- the bytecode instruction to be interpreted.value1
- the first argument of the instruction to be interpreted.value2
- the second argument of the instruction to be interpreted.value3
- the third argument of the instruction to be interpreted.
- Returns:
- the result of the interpretation of the given instruction.
- Throws:
AnalyzerException
- if an error occured during the interpretation.
public Value unaryOperation(AbstractInsnNode insn, Value value) throws AnalyzerException
Interprets a bytecode instruction with a single argument. This method is called for the following opcodes: INEG, LNEG, FNEG, DNEG, IINC, I2L, I2F, I2D, L2I, L2F, L2D, F2I, F2L, F2D, D2I, D2L, D2F, I2B, I2C, I2S, IFEQ, IFNE, IFLT, IFGE, IFGT, IFLE, TABLESWITCH, LOOKUPSWITCH, IRETURN, LRETURN, FRETURN, DRETURN, ARETURN, PUTSTATIC, GETFIELD, NEWARRAY, ANEWARRAY, ARRAYLENGTH, ATHROW, CHECKCAST, INSTANCEOF, MONITORENTER, MONITOREXIT, IFNULL, IFNONNULL
- Specified by:
- unaryOperation in interface Interpreter
- Overrides:
- unaryOperation in interface BasicInterpreter
- Parameters:
insn
- the bytecode instruction to be interpreted.value
- the argument of the instruction to be interpreted.
- Returns:
- the result of the interpretation of the given instruction.
- Throws:
AnalyzerException
- if an error occured during the interpretation.