public class CheckMethodAdapter extends MethodAdapter
MethodAdapter that checks that its methods are properly used. More
precisely this code adapter checks each instruction individually (i.e., each
visit method checks some preconditions based only on its arguments -
such as the fact that the given opcode is correct for a given visit method),
but does not check the sequence of instructions. For example,
in a method whose signature is void m (), the invalid instruction
IRETURN, or the invalid sequence IADD L2I will not be detected by
this code adapter.mv| Constructor and Description |
|---|
CheckMethodAdapter(MethodVisitor cv)
Constructs a new
CheckMethodAdapter object. |
| Modifier and Type | Method and Description |
|---|---|
AnnotationVisitor |
visitAnnotation(String desc,
boolean visible)
Visits an annotation of this method.
|
AnnotationVisitor |
visitAnnotationDefault()
Visits the default value of this annotation interface method.
|
void |
visitAttribute(Attribute attr)
Visits a non standard attribute of this method.
|
void |
visitCode()
Starts the visit of the method's code, if any (i.e.
|
void |
visitEnd()
Visits the end of the method.
|
void |
visitFieldInsn(int opcode,
String owner,
String name,
String desc)
Visits a field instruction.
|
void |
visitFrame(int type,
int nLocal,
Object[] local,
int nStack,
Object[] stack)
Visits the current state of the local variables and operand stack
elements.
|
void |
visitIincInsn(int var,
int increment)
Visits an IINC instruction.
|
void |
visitInsn(int opcode)
Visits a zero operand instruction.
|
void |
visitIntInsn(int opcode,
int operand)
Visits an instruction with a single int operand.
|
void |
visitJumpInsn(int opcode,
Label label)
Visits a jump instruction.
|
void |
visitLabel(Label label)
Visits a label.
|
void |
visitLdcInsn(Object cst)
Visits a LDC instruction.
|
void |
visitLineNumber(int line,
Label start)
Visits a line number declaration.
|
void |
visitLocalVariable(String name,
String desc,
String signature,
Label start,
Label end,
int index)
Visits a local variable declaration.
|
void |
visitLookupSwitchInsn(Label dflt,
int[] keys,
Label[] labels)
Visits a LOOKUPSWITCH instruction.
|
void |
visitMaxs(int maxStack,
int maxLocals)
Visits the maximum stack size and the maximum number of local variables
of the method.
|
void |
visitMethodInsn(int opcode,
String owner,
String name,
String desc)
Visits a method instruction.
|
void |
visitMultiANewArrayInsn(String desc,
int dims)
Visits a MULTIANEWARRAY instruction.
|
AnnotationVisitor |
visitParameterAnnotation(int parameter,
String desc,
boolean visible)
Visits an annotation of a parameter this method.
|
void |
visitTableSwitchInsn(int min,
int max,
Label dflt,
Label[] labels)
Visits a TABLESWITCH instruction.
|
void |
visitTryCatchBlock(Label start,
Label end,
Label handler,
String type)
Visits a try catch block.
|
void |
visitTypeInsn(int opcode,
String type)
Visits a type instruction.
|
void |
visitVarInsn(int opcode,
int var)
Visits a local variable instruction.
|
public CheckMethodAdapter(MethodVisitor cv)
CheckMethodAdapter object.cv - the code visitor to which this adapter must delegate calls.public AnnotationVisitor visitAnnotation(String desc, boolean visible)
MethodVisitorvisitAnnotation in interface MethodVisitorvisitAnnotation in class MethodAdapterdesc - the class descriptor of the annotation class.visible - true if the annotation is visible at runtime.public AnnotationVisitor visitAnnotationDefault()
MethodVisitorvisitAnnotationDefault in interface MethodVisitorvisitAnnotationDefault in class MethodAdapterpublic AnnotationVisitor visitParameterAnnotation(int parameter, String desc, boolean visible)
MethodVisitorvisitParameterAnnotation in interface MethodVisitorvisitParameterAnnotation in class MethodAdapterparameter - the parameter index.desc - the class descriptor of the annotation class.visible - true if the annotation is visible at runtime.public void visitAttribute(Attribute attr)
MethodVisitorvisitAttribute in interface MethodVisitorvisitAttribute in class MethodAdapterattr - an attribute.public void visitCode()
MethodVisitorvisitCode in interface MethodVisitorvisitCode in class MethodAdapterpublic void visitFrame(int type,
int nLocal,
Object[] local,
int nStack,
Object[] stack)
MethodVisitorV1_6. Opcodes.F_SAME representing frame with exactly the same
locals as the previous frame and with the empty stack.Opcodes.F_SAME1
representing frame with exactly the same locals as the previous frame and
with single value on the stack (nStack is 1 and
stack[0] contains value for the type of the stack item).Opcodes.F_APPEND representing frame with current locals are
the same as the locals in the previous frame, except that additional
locals are defined (nLocal is 1, 2 or 3 and
local elements contains values representing added types).Opcodes.F_CHOP representing frame with current locals are
the same as the locals in the previous frame, except that the last 1-3
locals are absent and with the empty stack (nLocals is 1,
2 or 3). Opcodes.F_FULL representing complete frame
data.visitFrame in interface MethodVisitorvisitFrame in class MethodAdaptertype - the type of this stack map frame. Must be
Opcodes.F_NEW for expanded frames, or
Opcodes.F_FULL, Opcodes.F_APPEND,
Opcodes.F_CHOP, Opcodes.F_SAME or
Opcodes.F_APPEND, Opcodes.F_SAME1 for compressed
frames.nLocal - the number of local variables in the visited frame.local - the local variable types in this frame. This array must not
be modified. Primitive types are represented by
Opcodes.TOP, Opcodes.INTEGER,
Opcodes.FLOAT, Opcodes.LONG,
Opcodes.DOUBLE,Opcodes.NULL or
Opcodes.UNINITIALIZED_THIS (long and double are
represented by a single element). Reference types are represented
by String objects (representing internal names), and uninitialized
types by Label objects (this label designates the NEW instruction
that created this uninitialized value).nStack - the number of operand stack elements in the visited frame.stack - the operand stack types in this frame. This array must not
be modified. Its content has the same format as the "local" array.public void visitInsn(int opcode)
MethodVisitorvisitInsn in interface MethodVisitorvisitInsn in class MethodAdapteropcode - the opcode of the instruction to be visited. This opcode is
either NOP, ACONST_NULL, ICONST_M1, ICONST_0, ICONST_1, ICONST_2,
ICONST_3, ICONST_4, ICONST_5, LCONST_0, LCONST_1, FCONST_0,
FCONST_1, FCONST_2, DCONST_0, DCONST_1, IALOAD, LALOAD, FALOAD,
DALOAD, AALOAD, BALOAD, CALOAD, SALOAD, IASTORE, LASTORE, FASTORE,
DASTORE, AASTORE, BASTORE, CASTORE, SASTORE, POP, POP2, DUP,
DUP_X1, DUP_X2, DUP2, DUP2_X1, DUP2_X2, SWAP, IADD, LADD, FADD,
DADD, ISUB, LSUB, FSUB, DSUB, IMUL, LMUL, FMUL, DMUL, IDIV, LDIV,
FDIV, DDIV, IREM, LREM, FREM, DREM, INEG, LNEG, FNEG, DNEG, ISHL,
LSHL, ISHR, LSHR, IUSHR, LUSHR, IAND, LAND, IOR, LOR, IXOR, LXOR,
I2L, I2F, I2D, L2I, L2F, L2D, F2I, F2L, F2D, D2I, D2L, D2F, I2B,
I2C, I2S, LCMP, FCMPL, FCMPG, DCMPL, DCMPG, IRETURN, LRETURN,
FRETURN, DRETURN, ARETURN, RETURN, ARRAYLENGTH, ATHROW,
MONITORENTER, or MONITOREXIT.public void visitIntInsn(int opcode,
int operand)
MethodVisitorvisitIntInsn in interface MethodVisitorvisitIntInsn in class MethodAdapteropcode - the opcode of the instruction to be visited. This opcode is
either BIPUSH, SIPUSH or NEWARRAY.operand - the operand of the instruction to be visited.Opcodes.T_BOOLEAN, Opcodes.T_CHAR,
Opcodes.T_FLOAT, Opcodes.T_DOUBLE,
Opcodes.T_BYTE, Opcodes.T_SHORT,
Opcodes.T_INT or Opcodes.T_LONG.public void visitVarInsn(int opcode,
int var)
MethodVisitorvisitVarInsn in interface MethodVisitorvisitVarInsn in class MethodAdapteropcode - the opcode of the local variable instruction to be visited.
This opcode is either ILOAD, LLOAD, FLOAD, DLOAD, ALOAD, ISTORE,
LSTORE, FSTORE, DSTORE, ASTORE or RET.var - the operand of the instruction to be visited. This operand is
the index of a local variable.public void visitTypeInsn(int opcode,
String type)
MethodVisitorvisitTypeInsn in interface MethodVisitorvisitTypeInsn in class MethodAdapteropcode - the opcode of the type instruction to be visited. This
opcode is either NEW, ANEWARRAY, CHECKCAST or INSTANCEOF.type - the operand of the instruction to be visited. This operand
must be the internal name of an object or array class (see getInternalName).public void visitFieldInsn(int opcode,
String owner,
String name,
String desc)
MethodVisitorvisitFieldInsn in interface MethodVisitorvisitFieldInsn in class MethodAdapteropcode - the opcode of the type instruction to be visited. This
opcode is either GETSTATIC, PUTSTATIC, GETFIELD or PUTFIELD.owner - the internal name of the field's owner class (see getInternalName).name - the field's name.desc - the field's descriptor (see Type).public void visitMethodInsn(int opcode,
String owner,
String name,
String desc)
MethodVisitorvisitMethodInsn in interface MethodVisitorvisitMethodInsn in class MethodAdapteropcode - the opcode of the type instruction to be visited. This
opcode is either INVOKEVIRTUAL, INVOKESPECIAL, INVOKESTATIC or
INVOKEINTERFACE.owner - the internal name of the method's owner class (see getInternalName).name - the method's name.desc - the method's descriptor (see Type).public void visitJumpInsn(int opcode,
Label label)
MethodVisitorvisitJumpInsn in interface MethodVisitorvisitJumpInsn in class MethodAdapteropcode - the opcode of the type instruction to be visited. This
opcode is either IFEQ, IFNE, IFLT, IFGE, IFGT, IFLE, IF_ICMPEQ,
IF_ICMPNE, IF_ICMPLT, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ACMPEQ,
IF_ACMPNE, GOTO, JSR, IFNULL or IFNONNULL.label - the operand of the instruction to be visited. This operand
is a label that designates the instruction to which the jump
instruction may jump.public void visitLabel(Label label)
MethodVisitorvisitLabel in interface MethodVisitorvisitLabel in class MethodAdapterlabel - a Label object.public void visitLdcInsn(Object cst)
MethodVisitorvisitLdcInsn in interface MethodVisitorvisitLdcInsn in class MethodAdaptercst - the constant to be loaded on the stack. This parameter must be
a non null Integer, a Float, a Long, a
Double a String (or a Type for
.class constants, for classes whose version is 49.0 or
more).public void visitIincInsn(int var,
int increment)
MethodVisitorvisitIincInsn in interface MethodVisitorvisitIincInsn in class MethodAdaptervar - index of the local variable to be incremented.increment - amount to increment the local variable by.public void visitTableSwitchInsn(int min,
int max,
Label dflt,
Label[] labels)
MethodVisitorvisitTableSwitchInsn in interface MethodVisitorvisitTableSwitchInsn in class MethodAdaptermin - the minimum key value.max - the maximum key value.dflt - beginning of the default handler block.labels - beginnings of the handler blocks. labels[i] is
the beginning of the handler block for the min + i key.public void visitLookupSwitchInsn(Label dflt, int[] keys, Label[] labels)
MethodVisitorvisitLookupSwitchInsn in interface MethodVisitorvisitLookupSwitchInsn in class MethodAdapterdflt - beginning of the default handler block.keys - the values of the keys.labels - beginnings of the handler blocks. labels[i] is
the beginning of the handler block for the keys[i] key.public void visitMultiANewArrayInsn(String desc, int dims)
MethodVisitorvisitMultiANewArrayInsn in interface MethodVisitorvisitMultiANewArrayInsn in class MethodAdapterdesc - an array type descriptor (see Type).dims - number of dimensions of the array to allocate.public void visitTryCatchBlock(Label start, Label end, Label handler, String type)
MethodVisitorvisitTryCatchBlock in interface MethodVisitorvisitTryCatchBlock in class MethodAdapterstart - beginning of the exception handler's scope (inclusive).end - end of the exception handler's scope (exclusive).handler - beginning of the exception handler's code.type - internal name of the type of exceptions handled by the
handler, or null to catch any exceptions (for "finally"
blocks).public void visitLocalVariable(String name, String desc, String signature, Label start, Label end, int index)
MethodVisitorvisitLocalVariable in interface MethodVisitorvisitLocalVariable in class MethodAdaptername - the name of a local variable.desc - the type descriptor of this local variable.signature - the type signature of this local variable. May be
null if the local variable type does not use generic
types.start - the first instruction corresponding to the scope of this
local variable (inclusive).end - the last instruction corresponding to the scope of this local
variable (exclusive).index - the local variable's index.public void visitLineNumber(int line,
Label start)
MethodVisitorvisitLineNumber in interface MethodVisitorvisitLineNumber in class MethodAdapterline - a line number. This number refers to the source file from
which the class was compiled.start - the first instruction corresponding to this line number.public void visitMaxs(int maxStack,
int maxLocals)
MethodVisitorvisitMaxs in interface MethodVisitorvisitMaxs in class MethodAdaptermaxStack - maximum stack size of the method.maxLocals - maximum number of local variables for the method.public void visitEnd()
MethodVisitorvisitEnd in interface MethodVisitorvisitEnd in class MethodAdapterCopyright © 2018. All rights reserved.