public class AnalyzerAdapter extends MethodAdapter
MethodAdapter
that keeps track of stack map frame changes between
visitFrame
calls. This
adapter must be used with the
ClassReader.EXPAND_FRAMES
option. Each visitXXX
instruction delegates to the next visitor in the chain, if any, and then
simulates the effect of this instruction on the stack map frame, represented
by locals
and stack
. The next visitor in the chain can get
the state of the stack map frame before each instruction by reading
the value of these fields in its visitXXX methods (this requires a
reference to the AnalyzerAdapter that is before it in the chain).Modifier and Type | Field and Description |
---|---|
private java.util.List |
labels
The labels that designate the next instruction to be visited.
|
java.util.List |
locals
List of the local variable slots for current execution
frame. |
private int |
maxLocals
The maximum number of local variables of this method.
|
private int |
maxStack
The maximum stack size of this method.
|
java.util.List |
stack
List of the operand stack slots for current execution
frame. |
private java.util.Map |
uninitializedTypes
Information about uninitialized types in the current execution frame.
|
mv
Constructor and Description |
---|
AnalyzerAdapter(java.lang.String owner,
int access,
java.lang.String name,
java.lang.String desc,
MethodVisitor mv)
Creates a new
AnalyzerAdapter . |
Modifier and Type | Method and Description |
---|---|
private void |
execute(int opcode,
int iarg,
java.lang.String sarg) |
private java.lang.Object |
get(int local) |
private java.lang.Object |
pop() |
private void |
pop(int n) |
private void |
pop(java.lang.String desc) |
private void |
push(java.lang.Object type) |
private void |
pushDesc(java.lang.String desc) |
private void |
set(int local,
java.lang.Object type) |
void |
visitFieldInsn(int opcode,
java.lang.String owner,
java.lang.String name,
java.lang.String desc)
Visits a field instruction.
|
void |
visitFrame(int type,
int nLocal,
java.lang.Object[] local,
int nStack,
java.lang.Object[] stack)
Visits the current state of the local variables and operand stack
elements.
|
private void |
visitFrameTypes(int n,
java.lang.Object[] types,
java.util.List result) |
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(java.lang.Object cst)
Visits a LDC instruction.
|
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,
java.lang.String owner,
java.lang.String name,
java.lang.String desc)
Visits a method instruction.
|
void |
visitMultiANewArrayInsn(java.lang.String desc,
int dims)
Visits a MULTIANEWARRAY instruction.
|
void |
visitTableSwitchInsn(int min,
int max,
Label dflt,
Label[] labels)
Visits a TABLESWITCH instruction.
|
void |
visitTypeInsn(int opcode,
java.lang.String desc)
Visits a type instruction.
|
void |
visitVarInsn(int opcode,
int var)
Visits a local variable instruction.
|
visitAnnotation, visitAnnotationDefault, visitAttribute, visitCode, visitEnd, visitLineNumber, visitLocalVariable, visitParameterAnnotation, visitTryCatchBlock
public java.util.List locals
List
of the local variable slots for current execution
frame. 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
two elements, the second one being TOP). Reference types are represented
by String objects (representing internal names, or type descriptors for
array types), and uninitialized types by Label objects (this label
designates the NEW instruction that created this uninitialized value).
This field is null for unreacheable instructions.public java.util.List stack
List
of the operand stack slots for current execution
frame. 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
two elements, the second one being TOP). Reference types are represented
by String objects (representing internal names, or type descriptors for
array types), and uninitialized types by Label objects (this label
designates the NEW instruction that created this uninitialized value).
This field is null for unreacheable instructions.private java.util.List labels
private java.util.Map uninitializedTypes
private int maxStack
private int maxLocals
public AnalyzerAdapter(java.lang.String owner, int access, java.lang.String name, java.lang.String desc, MethodVisitor mv)
AnalyzerAdapter
.public void visitFrame(int type, int nLocal, java.lang.Object[] local, int nStack, java.lang.Object[] stack)
MethodVisitor
V1_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 MethodVisitor
visitFrame
in class MethodAdapter
type
- 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, or type
descriptors for array types), 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.private void visitFrameTypes(int n, java.lang.Object[] types, java.util.List result)
public void visitInsn(int opcode)
MethodVisitor
visitInsn
in interface MethodVisitor
visitInsn
in class MethodAdapter
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.public void visitIntInsn(int opcode, int operand)
MethodVisitor
visitIntInsn
in interface MethodVisitor
visitIntInsn
in class MethodAdapter
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.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)
MethodVisitor
visitVarInsn
in interface MethodVisitor
visitVarInsn
in class MethodAdapter
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.public void visitTypeInsn(int opcode, java.lang.String desc)
MethodVisitor
visitTypeInsn
in interface MethodVisitor
visitTypeInsn
in class MethodAdapter
opcode
- the opcode of the type instruction to be visited. This
opcode is either NEW, ANEWARRAY, CHECKCAST or INSTANCEOF.desc
- the operand of the instruction to be visited. This operand is
must be a fully qualified class name in internal form, or the type
descriptor of an array type (see Type
).public void visitFieldInsn(int opcode, java.lang.String owner, java.lang.String name, java.lang.String desc)
MethodVisitor
visitFieldInsn
in interface MethodVisitor
visitFieldInsn
in class MethodAdapter
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 (see getInternalName
).name
- the field's name.desc
- the field's descriptor (see Type
).public void visitMethodInsn(int opcode, java.lang.String owner, java.lang.String name, java.lang.String desc)
MethodVisitor
visitMethodInsn
in interface MethodVisitor
visitMethodInsn
in class MethodAdapter
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 (see getInternalName
).name
- the method's name.desc
- the method's descriptor (see Type
).public void visitJumpInsn(int opcode, Label label)
MethodVisitor
visitJumpInsn
in interface MethodVisitor
visitJumpInsn
in class MethodAdapter
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.public void visitLabel(Label label)
MethodVisitor
visitLabel
in interface MethodVisitor
visitLabel
in class MethodAdapter
label
- a Label
object.public void visitLdcInsn(java.lang.Object cst)
MethodVisitor
visitLdcInsn
in interface MethodVisitor
visitLdcInsn
in class MethodAdapter
cst
- 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)
MethodVisitor
visitIincInsn
in interface MethodVisitor
visitIincInsn
in class MethodAdapter
var
- 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)
MethodVisitor
visitTableSwitchInsn
in interface MethodVisitor
visitTableSwitchInsn
in class MethodAdapter
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.public void visitLookupSwitchInsn(Label dflt, int[] keys, Label[] labels)
MethodVisitor
visitLookupSwitchInsn
in interface MethodVisitor
visitLookupSwitchInsn
in class MethodAdapter
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.public void visitMultiANewArrayInsn(java.lang.String desc, int dims)
MethodVisitor
visitMultiANewArrayInsn
in interface MethodVisitor
visitMultiANewArrayInsn
in class MethodAdapter
desc
- an array type descriptor (see Type
).dims
- number of dimensions of the array to allocate.public void visitMaxs(int maxStack, int maxLocals)
MethodVisitor
visitMaxs
in interface MethodVisitor
visitMaxs
in class MethodAdapter
maxStack
- maximum stack size of the method.maxLocals
- maximum number of local variables for the method.private java.lang.Object get(int local)
private void set(int local, java.lang.Object type)
private void push(java.lang.Object type)
private void pushDesc(java.lang.String desc)
private java.lang.Object pop()
private void pop(int n)
private void pop(java.lang.String desc)
private void execute(int opcode, int iarg, java.lang.String sarg)