|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.retrotranslator.runtime.asm.MethodWriter
class MethodWriter
A MethodVisitor
that generates methods in bytecode form. Each visit
method of this class appends the bytecode corresponding to the visited
instruction to a byte vector, in the order these methods are called.
Field Summary | |
---|---|
private int |
access
Access flags of this method. |
private ByteVector |
annd
The annotation default attribute of this method. |
private AnnotationWriter |
anns
The runtime visible annotations of this method. |
private Attribute |
attrs
The non standard attributes of the method. |
private Label |
blockStack
The basic block stack used by the control flow analysis algorithm. |
private int |
catchCount
Number of entries in the catch table of this method. |
private Handler |
catchTable
The catch table of this method. |
private Attribute |
cattrs
The non standard attributes of the method's code. |
(package private) int |
classReaderLength
If not zero, indicates that the code of this method must be copied from the ClassReader associated to this writer in cw.cr . |
(package private) int |
classReaderOffset
If not zero, indicates that the code of this method must be copied from the ClassReader associated to this writer in cw.cr . |
private ByteVector |
code
The bytecode of this method. |
private boolean |
computeMaxs
true if the maximum stack size and number of local variables must be automatically computed. |
private Label |
currentBlock
The current basic block. |
(package private) ClassWriter |
cw
The class writer to which this method must be added. |
private int |
desc
The index of the constant pool item that contains the descriptor of this method. |
private java.lang.String |
descriptor
The descriptor of this method. |
(package private) int |
exceptionCount
Number of exceptions that can be thrown by this method. |
(package private) int[] |
exceptions
The exceptions that can be thrown by this method. |
private AnnotationWriter |
ianns
The runtime invisible annotations of this method. |
private AnnotationWriter[] |
ipanns
The runtime invisible parameter annotations of this method. |
private Handler |
lastHandler
The last element in the catchTable handler list. |
private ByteVector |
lineNumber
The LineNumberTable attribute. |
private int |
lineNumberCount
Number of entries in the LineNumberTable attribute. |
private ByteVector |
localVar
The LocalVariableTable attribute. |
private int |
localVarCount
Number of entries in the LocalVariableTable attribute. |
private ByteVector |
localVarType
The LocalVariableTypeTable attribute. |
private int |
localVarTypeCount
Number of entries in the LocalVariableTypeTable attribute. |
private int |
maxLocals
Maximum number of local variables for this method. |
private int |
maxStack
Maximum stack size of this method. |
private int |
maxStackSize
The (relative) maximum stack size after the last visited instruction. |
private int |
name
The index of the constant pool item that contains the name of this method. |
(package private) MethodWriter |
next
Next method writer (see firstMethod ). |
private AnnotationWriter[] |
panns
The runtime visible parameter annotations of this method. |
private boolean |
resize
Indicates if some jump instructions are too small and need to be resized. |
(package private) java.lang.String |
signature
The signature of this method. |
private static int[] |
SIZE
The stack size variation corresponding to each JVM instruction. |
private int |
stackSize
The (relative) stack size after the last visited instruction. |
Constructor Summary | |
---|---|
MethodWriter(ClassWriter cw,
int access,
java.lang.String name,
java.lang.String desc,
java.lang.String signature,
java.lang.String[] exceptions,
boolean computeMaxs)
Constructs a new MethodWriter . |
Method Summary | |
---|---|
private void |
addSuccessor(int stackSize,
Label successor)
Adds a successor to the currentBlock block. |
private static int |
getArgumentsAndReturnSizes(java.lang.String desc)
Computes the size of the arguments and of the return value of a method. |
(package private) static int |
getNewOffset(int[] indexes,
int[] sizes,
int begin,
int end)
Computes the future value of a bytecode offset. |
(package private) static void |
getNewOffset(int[] indexes,
int[] sizes,
Label label)
Updates the offset of the given label. |
(package private) int |
getSize()
Returns the size of the bytecode of this method. |
(package private) void |
put(ByteVector out,
boolean dropTigerFlags)
Puts the bytecode of this method in the given byte vector. |
(package private) static int |
readInt(byte[] b,
int index)
Reads a signed int value in the given byte array. |
(package private) static short |
readShort(byte[] b,
int index)
Reads a signed short value in the given byte array. |
(package private) static int |
readUnsignedShort(byte[] b,
int index)
Reads an unsigned short value in the given byte array. |
private int[] |
resizeInstructions(int[] indexes,
int[] sizes,
int len)
Resizes the designated instructions, while keeping jump offsets and instruction addresses consistent. |
AnnotationVisitor |
visitAnnotation(java.lang.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,
java.lang.String owner,
java.lang.String name,
java.lang.String desc)
Visits a field instruction. |
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 |
visitLineNumber(int line,
Label start)
Visits a line number declaration. |
void |
visitLocalVariable(java.lang.String name,
java.lang.String desc,
java.lang.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,
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. |
AnnotationVisitor |
visitParameterAnnotation(int parameter,
java.lang.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,
java.lang.String type)
Visits a try catch block. |
void |
visitTypeInsn(int opcode,
java.lang.String desc)
Visits a type instruction. |
void |
visitVarInsn(int opcode,
int var)
Visits a local variable instruction. |
(package private) static void |
writeShort(byte[] b,
int index,
int s)
Writes a short value in the given byte array. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
MethodWriter next
firstMethod
).
ClassWriter cw
private int access
private int name
private int desc
private java.lang.String descriptor
int classReaderOffset
cw.cr
. More
precisely, this field gives the index of the first byte to copied from
cw.cr.b
.
int classReaderLength
cw.cr
. More
precisely, this field gives the number of bytes to copied from
cw.cr.b
.
java.lang.String signature
int exceptionCount
int[] exceptions
private ByteVector annd
private AnnotationWriter anns
private AnnotationWriter ianns
private AnnotationWriter[] panns
private AnnotationWriter[] ipanns
private Attribute attrs
private ByteVector code
private int maxStack
private int maxLocals
private int catchCount
private Handler catchTable
private Handler lastHandler
private int localVarCount
private ByteVector localVar
private int localVarTypeCount
private ByteVector localVarType
private int lineNumberCount
private ByteVector lineNumber
private Attribute cattrs
private boolean resize
private final boolean computeMaxs
private int stackSize
beginStackSize
of the current basic block plus
stackSize.
private int maxStackSize
beginStackSize
of the current basic
block plus stackSize.
private Label currentBlock
private Label blockStack
Label
objects,
linked to each other by their Label.next
field. This stack must
not be confused with the JVM stack used to execute the JVM instructions!
private static final int[] SIZE
Constructor Detail |
---|
MethodWriter(ClassWriter cw, int access, java.lang.String name, java.lang.String desc, java.lang.String signature, java.lang.String[] exceptions, boolean computeMaxs)
MethodWriter
.
cw
- the class writer in which the method must be added.access
- the method's access flags (see Opcodes
).name
- the method's name.desc
- the method's descriptor (see Type
).signature
- the method's signature. May be null.exceptions
- the internal names of the method's exceptions. May be
null.computeMaxs
- true if the maximum stack size and number
of local variables must be automatically computed.Method Detail |
---|
public AnnotationVisitor visitAnnotationDefault()
MethodVisitor
visitAnnotationDefault
in interface MethodVisitor
public AnnotationVisitor visitAnnotation(java.lang.String desc, boolean visible)
MethodVisitor
visitAnnotation
in interface MethodVisitor
desc
- the class descriptor of the annotation class.visible
- true if the annotation is visible at runtime.
public AnnotationVisitor visitParameterAnnotation(int parameter, java.lang.String desc, boolean visible)
MethodVisitor
visitParameterAnnotation
in interface MethodVisitor
parameter
- 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)
MethodVisitor
visitAttribute
in interface MethodVisitor
attr
- an attribute.public void visitCode()
MethodVisitor
visitCode
in interface MethodVisitor
public void visitInsn(int opcode)
MethodVisitor
visitInsn
in interface MethodVisitor
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
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
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
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
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
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
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
label
- a Label
object.public void visitLdcInsn(java.lang.Object cst)
MethodVisitor
visitLdcInsn
in interface MethodVisitor
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
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
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
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
desc
- an array type descriptor (see Type
).dims
- number of dimensions of the array to allocate.public void visitTryCatchBlock(Label start, Label end, Label handler, java.lang.String type)
MethodVisitor
visitTryCatchBlock
in interface MethodVisitor
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).public void visitLocalVariable(java.lang.String name, java.lang.String desc, java.lang.String signature, Label start, Label end, int index)
MethodVisitor
visitLocalVariable
in interface MethodVisitor
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.public void visitLineNumber(int line, Label start)
MethodVisitor
visitLineNumber
in interface MethodVisitor
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.public void visitMaxs(int maxStack, int maxLocals)
MethodVisitor
visitMaxs
in interface MethodVisitor
maxStack
- maximum stack size of the method.maxLocals
- maximum number of local variables for the method.public void visitEnd()
MethodVisitor
visitEnd
in interface MethodVisitor
private static int getArgumentsAndReturnSizes(java.lang.String desc)
desc
- the descriptor of a method.
private void addSuccessor(int stackSize, Label successor)
currentBlock
block.
stackSize
- the current (relative) stack size in the current block.successor
- the successor block to be added to the current block.final int getSize()
final void put(ByteVector out, boolean dropTigerFlags)
out
- the byte vector into which the bytecode of this method must bedropTigerFlags
- private int[] resizeInstructions(int[] indexes, int[] sizes, int len)
This method must be called after all the method
that is being built has been visited. In particular, the
Label
objects used to construct the method are no longer
valid after this method has been called.
indexes
- current positions of the instructions to be resized. Each
instruction must be designated by the index of its last
byte, plus one (or, in other words, by the index of the first
byte of the next instruction).sizes
- the number of bytes to be added to the above
instructions. More precisely, for each i < len,
sizes[i] bytes will be added at the end of the
instruction designated by indexes[i] or, if
sizes[i] is negative, the last |sizes[i]|
bytes of the instruction will be removed (the instruction size
must not become negative or null). The gaps introduced by
this method must be filled in "manually" in code
method.len
- the number of instruction to be resized. Must be smaller than
or equal to indexes.length and sizes.length.
static int readUnsignedShort(byte[] b, int index)
b
- a byte array.index
- the start index of the value to be read.
static short readShort(byte[] b, int index)
b
- a byte array.index
- the start index of the value to be read.
static int readInt(byte[] b, int index)
b
- a byte array.index
- the start index of the value to be read.
static void writeShort(byte[] b, int index, int s)
b
- a byte array.index
- where the first byte of the short value must be written.s
- the value to be written in the given byte array.static int getNewOffset(int[] indexes, int[] sizes, int begin, int end)
Note: it is possible to have several entries for the same instruction in the indexes and sizes: two entries (index=a,size=b) and (index=a,size=b') are equivalent to a single entry (index=a,size=b+b').
indexes
- current positions of the instructions to be resized. Each
instruction must be designated by the index of its last
byte, plus one (or, in other words, by the index of the first
byte of the next instruction).sizes
- the number of bytes to be added to the above
instructions. More precisely, for each i < len,
sizes[i] bytes will be added at the end of the
instruction designated by indexes[i] or, if
sizes[i] is negative, the last |sizes[i]|
bytes of the instruction will be removed (the instruction size
must not become negative or null).begin
- index of the first byte of the source instruction.end
- index of the first byte of the target instruction.
static void getNewOffset(int[] indexes, int[] sizes, Label label)
indexes
- current positions of the instructions to be resized. Each
instruction must be designated by the index of its last
byte, plus one (or, in other words, by the index of the first
byte of the next instruction).sizes
- the number of bytes to be added to the above
instructions. More precisely, for each i < len,
sizes[i] bytes will be added at the end of the
instruction designated by indexes[i] or, if
sizes[i] is negative, the last |sizes[i]|
bytes of the instruction will be removed (the instruction size
must not become negative or null).label
- the label whose offset must be updated.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |