Package org.eclipse.sisu.space.asm
Class MethodVisitor
java.lang.Object
org.eclipse.sisu.space.asm.MethodVisitor
- Direct Known Subclasses:
MethodWriter
A visitor to visit a Java method. The methods of this class must be called in
the following order: ( visitParameter )* [
visitAnnotationDefault ] ( visitAnnotation |
visitTypeAnnotation | visitAttribute )* [
visitCode ( visitFrame | visitXInsn |
visitLabel | visitInsnAnnotation |
visitTryCatchBlock | visitTryCatchBlockAnnotation |
visitLocalVariable | visitLocalVariableAnnotation |
visitLineNumber )* visitMaxs ] visitEnd. In
addition, the visitXInsn and visitLabel methods must
be called in the sequential order of the bytecode instructions of the visited
code, visitInsnAnnotation must be called after the annotated
instruction, visitTryCatchBlock must be called before the
labels passed as arguments have been visited,
visitTryCatchBlockAnnotation must be called after the
corresponding try catch block has been visited, and the
visitLocalVariable, visitLocalVariableAnnotation and
visitLineNumber methods must be called after the labels
passed as arguments have been visited.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final int
The ASM API version implemented by this visitor.protected MethodVisitor
The method visitor to which this visitor must delegate method calls. -
Constructor Summary
ConstructorsConstructorDescriptionMethodVisitor
(int api) Constructs a newMethodVisitor
.MethodVisitor
(int api, MethodVisitor mv) Constructs a newMethodVisitor
. -
Method Summary
Modifier and TypeMethodDescriptionvisitAnnotation
(String desc, boolean visible) Visits an annotation of this method.Visits the default value of this annotation interface method.void
visitAttribute
(Attribute attr) Visits a non standard attribute of this method.void
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.visitInsnAnnotation
(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on an instruction.void
visitIntInsn
(int opcode, int operand) Visits an instruction with a single int operand.void
visitInvokeDynamicInsn
(String name, String desc, Handle bsm, Object... bsmArgs) Visits an invokedynamic instruction.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
Visits a local variable declaration.visitLocalVariableAnnotation
(int typeRef, TypePath typePath, Label[] start, Label[] end, int[] index, String desc, boolean visible) Visits an annotation on a local variable type.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) Deprecated.void
visitMethodInsn
(int opcode, String owner, String name, String desc, boolean itf) Visits a method instruction.void
visitMultiANewArrayInsn
(String desc, int dims) Visits a MULTIANEWARRAY instruction.void
visitParameter
(String name, int access) Visits a parameter of this method.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.visitTryCatchAnnotation
(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on an exception handler type.void
visitTryCatchBlock
(Label start, Label end, Label handler, String type) Visits a try catch block.visitTypeAnnotation
(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on a type in the method signature.void
visitTypeInsn
(int opcode, String type) Visits a type instruction.void
visitVarInsn
(int opcode, int var) Visits a local variable instruction.
-
Field Details
-
api
protected final int apiThe ASM API version implemented by this visitor. The value of this field must be one ofOpcodes.ASM4
orOpcodes.ASM5
. -
mv
The method visitor to which this visitor must delegate method calls. May be null.
-
-
Constructor Details
-
MethodVisitor
public MethodVisitor(int api) Constructs a newMethodVisitor
.- Parameters:
api
- the ASM API version implemented by this visitor. Must be one ofOpcodes.ASM4
orOpcodes.ASM5
.
-
MethodVisitor
Constructs a newMethodVisitor
.- Parameters:
api
- the ASM API version implemented by this visitor. Must be one ofOpcodes.ASM4
orOpcodes.ASM5
.mv
- the method visitor to which this visitor must delegate method calls. May be null.
-
-
Method Details
-
visitParameter
Visits a parameter of this method.- Parameters:
name
- parameter name or null if none is provided.access
- the parameter's access flags, only ACC_FINAL, ACC_SYNTHETIC or/and ACC_MANDATED are allowed (seeOpcodes
).
-
visitAnnotationDefault
Visits the default value of this annotation interface method.- Returns:
- a visitor to the visit the actual default value of this annotation interface method, or null if this visitor is not interested in visiting this default value. The 'name' parameters passed to the methods of this annotation visitor are ignored. Moreover, exacly one visit method must be called on this annotation visitor, followed by visitEnd.
-
visitAnnotation
Visits an annotation of this method.- Parameters:
desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitTypeAnnotation
public AnnotationVisitor visitTypeAnnotation(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on a type in the method signature.- Parameters:
typeRef
- a reference to the annotated type. The sort of this type reference must beMETHOD_TYPE_PARAMETER
,METHOD_TYPE_PARAMETER_BOUND
,METHOD_RETURN
,METHOD_RECEIVER
,METHOD_FORMAL_PARAMETER
orTHROWS
. SeeTypeReference
.typePath
- the path to the annotated type argument, wildcard bound, array element type, or static inner type within 'typeRef'. May be null if the annotation targets 'typeRef' as a whole.desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitParameterAnnotation
Visits an annotation of a parameter this method.- Parameters:
parameter
- the parameter index.desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitAttribute
Visits a non standard attribute of this method.- Parameters:
attr
- an attribute.
-
visitCode
public void visitCode()Starts the visit of the method's code, if any (i.e. non abstract method). -
visitFrame
Visits the current state of the local variables and operand stack elements. This method must(*) be called just before any instruction i that follows an unconditional branch instruction such as GOTO or THROW, that is the target of a jump instruction, or that starts an exception handler block. The visited types must describe the values of the local variables and of the operand stack elements just before i is executed.
(*) this is mandatory only for classes whose version is greater than or equal toV1_6
.
The frames of a method must be given either in expanded form, or in compressed form (all frames must use the same format, i.e. you must not mix expanded and compressed frames within a single method):- In expanded form, all frames must have the F_NEW type.
- In compressed form, frames are basically "deltas" from the state of
the previous frame:
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 andstack[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 andlocal
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.
In both cases the first frame, corresponding to the method's parameters and access flags, is implicit and must not be visited. Also, it is illegal to visit two or more frames for the same code location (i.e., at least one instruction must be visited between two calls to visitFrame).- Parameters:
type
- the type of this stack map frame. Must beOpcodes.F_NEW
for expanded frames, orOpcodes.F_FULL
,Opcodes.F_APPEND
,Opcodes.F_CHOP
,Opcodes.F_SAME
orOpcodes.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 byOpcodes.TOP
,Opcodes.INTEGER
,Opcodes.FLOAT
,Opcodes.LONG
,Opcodes.DOUBLE
,Opcodes.NULL
orOpcodes.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.- Throws:
IllegalStateException
- if a frame is visited just after another one, without any instruction between the two (unless this frame is a Opcodes#F_SAME frame, in which case it is silently ignored).
-
visitInsn
public void visitInsn(int opcode) Visits a zero operand instruction.- Parameters:
opcode
- 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.
-
visitIntInsn
public void visitIntInsn(int opcode, int operand) Visits an instruction with a single int operand.- Parameters:
opcode
- 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.
When opcode is BIPUSH, operand value should be between Byte.MIN_VALUE and Byte.MAX_VALUE.
When opcode is SIPUSH, operand value should be between Short.MIN_VALUE and Short.MAX_VALUE.
When opcode is NEWARRAY, operand value should be one ofOpcodes.T_BOOLEAN
,Opcodes.T_CHAR
,Opcodes.T_FLOAT
,Opcodes.T_DOUBLE
,Opcodes.T_BYTE
,Opcodes.T_SHORT
,Opcodes.T_INT
orOpcodes.T_LONG
.
-
visitVarInsn
public void visitVarInsn(int opcode, int var) Visits a local variable instruction. A local variable instruction is an instruction that loads or stores the value of a local variable.- Parameters:
opcode
- 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.
-
visitTypeInsn
Visits a type instruction. A type instruction is an instruction that takes the internal name of a class as parameter.- Parameters:
opcode
- 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 (seegetInternalName
).
-
visitFieldInsn
Visits a field instruction. A field instruction is an instruction that loads or stores the value of a field of an object.- Parameters:
opcode
- 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 (seegetInternalName
).name
- the field's name.desc
- the field's descriptor (seeType
).
-
visitMethodInsn
Deprecated.Visits a method instruction. A method instruction is an instruction that invokes a method.- Parameters:
opcode
- 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 (seegetInternalName
).name
- the method's name.desc
- the method's descriptor (seeType
).
-
visitMethodInsn
Visits a method instruction. A method instruction is an instruction that invokes a method.- Parameters:
opcode
- 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 (seegetInternalName
).name
- the method's name.desc
- the method's descriptor (seeType
).itf
- if the method's owner class is an interface.
-
visitInvokeDynamicInsn
Visits an invokedynamic instruction.- Parameters:
name
- the method's name.desc
- the method's descriptor (seeType
).bsm
- the bootstrap method.bsmArgs
- the bootstrap method constant arguments. Each argument must be anInteger
,Float
,Long
,Double
,String
,Type
orHandle
value. This method is allowed to modify the content of the array so a caller should expect that this array may change.
-
visitJumpInsn
Visits a jump instruction. A jump instruction is an instruction that may jump to another instruction.- Parameters:
opcode
- 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.
-
visitLabel
Visits a label. A label designates the instruction that will be visited just after it.- Parameters:
label
- aLabel
object.
-
visitLdcInsn
Visits a LDC instruction. Note that new constant types may be added in future versions of the Java Virtual Machine. To easily detect new constant types, implementations of this method should check for unexpected constant types, like this:if (cst instanceof Integer) { // ... } else if (cst instanceof Float) { // ... } else if (cst instanceof Long) { // ... } else if (cst instanceof Double) { // ... } else if (cst instanceof String) { // ... } else if (cst instanceof Type) { int sort = ((Type) cst).getSort(); if (sort == Type.OBJECT) { // ... } else if (sort == Type.ARRAY) { // ... } else if (sort == Type.METHOD) { // ... } else { // throw an exception } } else if (cst instanceof Handle) { // ... } else { // throw an exception }
- Parameters:
cst
- the constant to be loaded on the stack. This parameter must be a non nullInteger
, aFloat
, aLong
, aDouble
, aString
, aType
of OBJECT or ARRAY sort for .class constants, for classes whose version is 49.0, aType
of METHOD sort or aHandle
for MethodType and MethodHandle constants, for classes whose version is 51.0.
-
visitIincInsn
public void visitIincInsn(int var, int increment) Visits an IINC instruction.- Parameters:
var
- index of the local variable to be incremented.increment
- amount to increment the local variable by.
-
visitTableSwitchInsn
Visits a TABLESWITCH instruction.- Parameters:
min
- 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.
-
visitLookupSwitchInsn
Visits a LOOKUPSWITCH instruction.- Parameters:
dflt
- 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.
-
visitMultiANewArrayInsn
Visits a MULTIANEWARRAY instruction.- Parameters:
desc
- an array type descriptor (seeType
).dims
- number of dimensions of the array to allocate.
-
visitInsnAnnotation
public AnnotationVisitor visitInsnAnnotation(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on an instruction. This method must be called just after the annotated instruction. It can be called several times for the same instruction.- Parameters:
typeRef
- a reference to the annotated type. The sort of this type reference must beINSTANCEOF
,NEW
,CONSTRUCTOR_REFERENCE
,METHOD_REFERENCE
,CAST
,CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT
,METHOD_INVOCATION_TYPE_ARGUMENT
,CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT
, orMETHOD_REFERENCE_TYPE_ARGUMENT
. SeeTypeReference
.typePath
- the path to the annotated type argument, wildcard bound, array element type, or static inner type within 'typeRef'. May be null if the annotation targets 'typeRef' as a whole.desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitTryCatchBlock
Visits a try catch block.- Parameters:
start
- 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).- Throws:
IllegalArgumentException
- if one of the labels has already been visited by this visitor (by thevisitLabel
method).
-
visitTryCatchAnnotation
public AnnotationVisitor visitTryCatchAnnotation(int typeRef, TypePath typePath, String desc, boolean visible) Visits an annotation on an exception handler type. This method must be called after thevisitTryCatchBlock(org.eclipse.sisu.space.asm.Label, org.eclipse.sisu.space.asm.Label, org.eclipse.sisu.space.asm.Label, java.lang.String)
for the annotated exception handler. It can be called several times for the same exception handler.- Parameters:
typeRef
- a reference to the annotated type. The sort of this type reference must beEXCEPTION_PARAMETER
. SeeTypeReference
.typePath
- the path to the annotated type argument, wildcard bound, array element type, or static inner type within 'typeRef'. May be null if the annotation targets 'typeRef' as a whole.desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitLocalVariable
public void visitLocalVariable(String name, String desc, String signature, Label start, Label end, int index) Visits a local variable declaration.- Parameters:
name
- 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.- Throws:
IllegalArgumentException
- if one of the labels has not already been visited by this visitor (by thevisitLabel
method).
-
visitLocalVariableAnnotation
public AnnotationVisitor visitLocalVariableAnnotation(int typeRef, TypePath typePath, Label[] start, Label[] end, int[] index, String desc, boolean visible) Visits an annotation on a local variable type.- Parameters:
typeRef
- a reference to the annotated type. The sort of this type reference must beLOCAL_VARIABLE
orRESOURCE_VARIABLE
. SeeTypeReference
.typePath
- the path to the annotated type argument, wildcard bound, array element type, or static inner type within 'typeRef'. May be null if the annotation targets 'typeRef' as a whole.start
- the fist instructions corresponding to the continuous ranges that make the scope of this local variable (inclusive).end
- the last instructions corresponding to the continuous ranges that make the scope of this local variable (exclusive). This array must have the same size as the 'start' array.index
- the local variable's index in each range. This array must have the same size as the 'start' array.desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.- Returns:
- a visitor to visit the annotation values, or null if this visitor is not interested in visiting this annotation.
-
visitLineNumber
Visits a line number declaration.- Parameters:
line
- 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.- Throws:
IllegalArgumentException
- if start has not already been visited by this visitor (by thevisitLabel
method).
-
visitMaxs
public void visitMaxs(int maxStack, int maxLocals) Visits the maximum stack size and the maximum number of local variables of the method.- Parameters:
maxStack
- maximum stack size of the method.maxLocals
- maximum number of local variables for the method.
-
visitEnd
public void visitEnd()Visits the end of the method. This method, which is the last one to be called, is used to inform the visitor that all the annotations and attributes of the method have been visited.
-