org.jboss.byteman.agent.adapter
Class RuleGeneratorAdapter

java.lang.Object
  extended by MethodAdapter
      extended by org.jboss.byteman.agent.adapter.RuleMethodAdapter
          extended by org.jboss.byteman.agent.adapter.RuleGeneratorAdapter
Direct Known Subclasses:
RuleTriggerMethodAdapter

public class RuleGeneratorAdapter
extends RuleMethodAdapter

A modified version of the asm 3.0 GeneratorAdapter class which dispatches calls to methods of MethodVisitor to this rather than to the encapsulated MethodVisitor instance in field mv. Doing so gives the current instance a chance to observe all visit operations. Without it the current instance only sees visit operations invoked directly by previous visitors in the chain. This is necessary in order for the RuleTriggerAdapter to build a complete CFG for the method being visited. As a consequence of the above change this class cannot inherit the methods from LocalVariableSorter which allow introduction of new local variables. That's not actually much of a loss since the functionality provided by that class is of limited utility -- it only allows local variables to be introduced via a prior pipeline stage. Instead this class provides methods to track the number of locals employed so far and supports temporary introduction and removal of locals inside injected trigger or handler code. See methods #newLocal(org.objectweb.asm.Type), popLocal(int), loadLocal(int) and storeLocal(int). Another reason to transplant code to this class is because it inherits functionality from RuleMethodAdapter which is used by RuleCheckAdapter and RuleTriggerAdapter to identify and classify local variables but provides functionality to modify bytecode which is only needed by RuleTriggerAdapter. So, the original class would have needed reparenting anyway.

Author:
Andrew Dinn, Juozas Baliuka, Chris Nokleberg, Eric Bruneton

Nested Class Summary
 
Nested classes/interfaces inherited from class org.jboss.byteman.agent.adapter.RuleMethodAdapter
RuleMethodAdapter.LocalVar
 
Field Summary
static int ADD
          Constant for the math method.
static int AND
          Constant for the math method.
private  Type[] argumentTypes
          Argument types of the method visited by this adapter.
private static Type BOOLEAN_TYPE
           
private static Method BOOLEAN_VALUE
           
private static Type BYTE_TYPE
           
private static Method CHAR_VALUE
           
private static Type CHARACTER_TYPE
           
static int DIV
          Constant for the math method.
private static Type DOUBLE_TYPE
           
private static Method DOUBLE_VALUE
           
static int EQ
          Constant for the ifCmp method.
private static Type FLOAT_TYPE
           
private static Method FLOAT_VALUE
           
static int GE
          Constant for the ifCmp method.
static int GT
          Constant for the ifCmp method.
private static Method INT_VALUE
           
private static Type INTEGER_TYPE
           
static int LE
          Constant for the ifCmp method.
private  int localHighWater
          used to track maximum number of local variable slots
private  java.util.List localTypes
          Types of the local variables of the method visited by this adapter.
private static Type LONG_TYPE
           
private static Method LONG_VALUE
           
static int LT
          Constant for the ifCmp method.
static int MUL
          Constant for the math method.
static int NE
          Constant for the ifCmp method.
static int NEG
          Constant for the math method.
private  int nextLocal
          used to track active local variable slots
private static Type NUMBER_TYPE
           
private static Type OBJECT_TYPE
           
static int OR
          Constant for the math method.
static int REM
          Constant for the math method.
private  Type returnType
          Return type of the method visited by this adapter.
static int SHL
          Constant for the math method.
private static Type SHORT_TYPE
           
static int SHR
          Constant for the math method.
static int SUB
          Constant for the math method.
static int USHR
          Constant for the math method.
static int XOR
          Constant for the math method.
 
Fields inherited from class org.jboss.byteman.agent.adapter.RuleMethodAdapter
access, descriptor, localVarsByName, name, rule, transformContext
 
Constructor Summary
RuleGeneratorAdapter(MethodVisitor mv, TransformContext transformContext, int access, java.lang.String name, java.lang.String desc)
          Creates a new RuleGeneratorAdapter.
 
Method Summary
 void arrayLength()
          Generates the instruction to compute the length of an array.
 void arrayLoad(Type type)
          Generates the instruction to load an element from an array.
 void arrayStore(Type type)
          Generates the instruction to store an element in an array.
 void box(Type type)
          Generates the instructions to box the top stack value.
 void cast(Type from, Type to)
          Generates the instructions to cast a numerical value from one type to another.
 void catchException(Label start, Label end, Type exception)
          Marks the start of an exception handler.
 void checkCast(Type type)
          Generates the instruction to check that the top stack value is of the given type.
private  void dumpFrame(int nLocal, java.lang.Object[] local, int nStack, java.lang.Object[] stack)
           
private  void dumpType(java.lang.StringBuffer buffer, java.lang.Object t)
           
 void dup()
          Generates a DUP instruction.
 void dup2()
          Generates a DUP2 instruction.
 void dup2X1()
          Generates a DUP2_X1 instruction.
 void dup2X2()
          Generates a DUP2_X2 instruction.
 void dupX1()
          Generates a DUP_X1 instruction.
 void dupX2()
          Generates a DUP_X2 instruction.
 void endMethod()
          Marks the end of the visited method.
private  void fieldInsn(int opcode, Type ownerType, java.lang.String name, Type fieldType)
          Generates a get field or set field instruction.
private  int getArgIndex(int arg)
          Returns the index of the given method argument in the frame's local variables array.
 void getField(Type owner, java.lang.String name, Type type)
          Generates the instruction to push the value of a non static field on the stack.
private static java.lang.String[] getInternalNames(Type[] types)
          Returns the internal names of the given types.
 Type getLocalType(int local)
           
 void getStatic(Type owner, java.lang.String name, Type type)
          Generates the instruction to push the value of a static field on the stack.
 void goTo(Label label)
          Generates the instruction to jump to the given label.
 void ifCmp(Type type, int mode, Label label)
          Generates the instructions to jump to a label based on the comparison of the top two stack values.
 void ifICmp(int mode, Label label)
          Generates the instructions to jump to a label based on the comparison of the top two integer stack values.
 void ifNonNull(Label label)
          Generates the instruction to jump to the given label if the top stack value is not null.
 void ifNull(Label label)
          Generates the instruction to jump to the given label if the top stack value is null.
 void ifZCmp(int mode, Label label)
          Generates the instructions to jump to a label based on the comparison of the top integer stack value with zero.
 void iinc(int local, int amount)
          Generates the instruction to increment the given local variable.
private  void initLocalTypes()
          initialise the local slot types array with the types of the method target and parameters.
 void instanceOf(Type type)
          Generates the instruction to test if the top stack value is of the given type.
 void invokeConstructor(Type type, Method method)
          Generates the instruction to invoke a constructor.
private  void invokeInsn(int opcode, Type type, Method method)
          Generates an invoke method instruction.
 void invokeInterface(Type owner, Method method)
          Generates the instruction to invoke an interface method.
 void invokeStatic(Type owner, Method method)
          Generates the instruction to invoke a static method.
 void invokeVirtual(Type owner, Method method)
          Generates the instruction to invoke a normal method.
 void loadArg(int arg)
          Generates the instruction to load the given method argument on the stack.
 void loadArgArray()
          Generates the instructions to load all the method arguments on the stack, as a single object array.
 void loadArgs()
          Generates the instructions to load all the method arguments on the stack.
 void loadArgs(int arg, int count)
          Generates the instructions to load the given method arguments on the stack.
private  void loadInsn(Type type, int index)
          Generates the instruction to push a local variable on the stack.
 void loadLocal(int local)
          load a value onto the stack from a local var slot which can obtained from a call to newLocal or from a lcoal variable table entry.
 void loadThis()
          Generates the instruction to load 'this' on the stack.
 Label mark()
          Marks the current code position with a new label.
 void mark(Label label)
          Marks the current code position with the given label.
 void math(int op, Type type)
          Generates the instruction to do the specified mathematical or logical operation.
 void monitorEnter()
          Generates the instruction to get the monitor of the top stack value.
 void monitorExit()
          Generates the instruction to release the monitor of the top stack value.
 void newArray(Type type)
          Generates the instruction to create a new array.
 void newInstance(Type type)
          Generates the instruction to create a new object.
 Label newLabel()
          Creates a new org.objectweb.asm.Label.
 int newLocal(Type valueType)
          return a new local slot index for a local var not currently in use.
 void not()
          Generates the instructions to compute the bitwise negation of the top stack value.
 void pop()
          Generates a POP instruction.
 void pop2()
          Generates a POP2 instruction.
 void popLocal(int local)
          free a previously allocated local slot
 void push(boolean value)
          Generates the instruction to push the given value on the stack.
 void push(double value)
          Generates the instruction to push the given value on the stack.
 void push(float value)
          Generates the instruction to push the given value on the stack.
 void push(int value)
          Generates the instruction to push the given value on the stack.
 void push(long value)
          Generates the instruction to push the given value on the stack.
 void push(java.lang.String value)
          Generates the instruction to push the given value on the stack.
 void push(Type value)
          Generates the instruction to push the given value on the stack.
 void putField(Type owner, java.lang.String name, Type type)
          Generates the instruction to store the top stack value in a non static field.
 void putStatic(Type owner, java.lang.String name, Type type)
          Generates the instruction to store the top stack value in a static field.
 void ret(int local)
          Generates a RET instruction.
 void returnValue()
          Generates the instruction to return the top stack value to the caller.
 void storeArg(int arg)
          Generates the instruction to store the top stack value in the given method argument.
private  void storeInsn(Type type, int index)
          Generates the instruction to store the top stack value in a local variable.
 void storeLocal(int local)
          save a value on the stack to a local var slot
 void swap()
          Generates a SWAP instruction.
 void swap(Type prev, Type type)
          Generates the instructions to swap the top two stack values.
 void tableSwitch(int[] keys, TableSwitchGenerator generator)
          Generates the instructions for a switch statement.
 void tableSwitch(int[] keys, TableSwitchGenerator generator, boolean useTable)
          Generates the instructions for a switch statement.
 void throwException()
          Generates the instruction to throw an exception.
 void throwException(Type type, java.lang.String msg)
          Generates the instructions to create and throw an exception.
private  void typeInsn(int opcode, Type type)
          Generates a type dependent instruction.
 void unbox(Type type)
          Generates the instructions to unbox the top stack value.
 void visitFrame(int type, int nLocal, java.lang.Object[] local, int nStack, java.lang.Object[] stack)
           
 void visitMaxs(int maxStack, int maxLocals)
          ensure we allow enough room for any extra locals on the stack
 void visitVarInsn(int opcode, int var)
          override this so we can see track which local var slots are in use and avoid overwriting them
 
Methods inherited from class org.jboss.byteman.agent.adapter.RuleMethodAdapter
getTriggerClass, lookup, visitLocalVariable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BYTE_TYPE

private static final Type BYTE_TYPE

BOOLEAN_TYPE

private static final Type BOOLEAN_TYPE

SHORT_TYPE

private static final Type SHORT_TYPE

CHARACTER_TYPE

private static final Type CHARACTER_TYPE

INTEGER_TYPE

private static final Type INTEGER_TYPE

FLOAT_TYPE

private static final Type FLOAT_TYPE

LONG_TYPE

private static final Type LONG_TYPE

DOUBLE_TYPE

private static final Type DOUBLE_TYPE

NUMBER_TYPE

private static final Type NUMBER_TYPE

OBJECT_TYPE

private static final Type OBJECT_TYPE

BOOLEAN_VALUE

private static final Method BOOLEAN_VALUE

CHAR_VALUE

private static final Method CHAR_VALUE

INT_VALUE

private static final Method INT_VALUE

FLOAT_VALUE

private static final Method FLOAT_VALUE

LONG_VALUE

private static final Method LONG_VALUE

DOUBLE_VALUE

private static final Method DOUBLE_VALUE

ADD

public static final int ADD
Constant for the math method.


SUB

public static final int SUB
Constant for the math method.


MUL

public static final int MUL
Constant for the math method.


DIV

public static final int DIV
Constant for the math method.


REM

public static final int REM
Constant for the math method.


NEG

public static final int NEG
Constant for the math method.


SHL

public static final int SHL
Constant for the math method.


SHR

public static final int SHR
Constant for the math method.


USHR

public static final int USHR
Constant for the math method.


AND

public static final int AND
Constant for the math method.


OR

public static final int OR
Constant for the math method.


XOR

public static final int XOR
Constant for the math method.


EQ

public static final int EQ
Constant for the ifCmp method.


NE

public static final int NE
Constant for the ifCmp method.


LT

public static final int LT
Constant for the ifCmp method.


GE

public static final int GE
Constant for the ifCmp method.


GT

public static final int GT
Constant for the ifCmp method.


LE

public static final int LE
Constant for the ifCmp method.


argumentTypes

private final Type[] argumentTypes
Argument types of the method visited by this adapter.


returnType

private final Type returnType
Return type of the method visited by this adapter.


localTypes

private final java.util.List localTypes
Types of the local variables of the method visited by this adapter.


nextLocal

private int nextLocal
used to track active local variable slots


localHighWater

private int localHighWater
used to track maximum number of local variable slots

Constructor Detail

RuleGeneratorAdapter

public RuleGeneratorAdapter(MethodVisitor mv,
                            TransformContext transformContext,
                            int access,
                            java.lang.String name,
                            java.lang.String desc)
Creates a new RuleGeneratorAdapter.

Parameters:
mv - the method visitor to which this adapter delegates calls.
access - the method's access flags (see org.objectweb.asm.Opcodes).
name - the method's name.
desc - the method's descriptor (see Type).
Method Detail

initLocalTypes

private void initLocalTypes()
initialise the local slot types array with the types of the method target and parameters. this is needed because we are only sent an initial frame identifying the local slots which belong to the method if a stackmap table has been included in the bytecode and this is nto always the case.


getInternalNames

private static java.lang.String[] getInternalNames(Type[] types)
Returns the internal names of the given types.

Parameters:
types - a set of types.
Returns:
the internal names of the given types.

push

public void push(boolean value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

push

public void push(int value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

push

public void push(long value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

push

public void push(float value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

push

public void push(double value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

push

public void push(java.lang.String value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack. May be null.

push

public void push(Type value)
Generates the instruction to push the given value on the stack.

Parameters:
value - the value to be pushed on the stack.

getArgIndex

private int getArgIndex(int arg)
Returns the index of the given method argument in the frame's local variables array.

Parameters:
arg - the index of a method argument.
Returns:
the index of the given method argument in the frame's local variables array.

loadInsn

private void loadInsn(Type type,
                      int index)
Generates the instruction to push a local variable on the stack.

Parameters:
type - the type of the local variable to be loaded.
index - an index in the frame's local variables array.

storeInsn

private void storeInsn(Type type,
                       int index)
Generates the instruction to store the top stack value in a local variable.

Parameters:
type - the type of the local variable to be stored.
index - an index in the frame's local variables array.

loadThis

public void loadThis()
Generates the instruction to load 'this' on the stack.


loadArg

public void loadArg(int arg)
Generates the instruction to load the given method argument on the stack.

Parameters:
arg - the index of a method argument.

loadArgs

public void loadArgs(int arg,
                     int count)
Generates the instructions to load the given method arguments on the stack.

Parameters:
arg - the index of the first method argument to be loaded.
count - the number of method arguments to be loaded.

loadArgs

public void loadArgs()
Generates the instructions to load all the method arguments on the stack.


loadArgArray

public void loadArgArray()
Generates the instructions to load all the method arguments on the stack, as a single object array.


storeArg

public void storeArg(int arg)
Generates the instruction to store the top stack value in the given method argument.

Parameters:
arg - the index of a method argument.

arrayLoad

public void arrayLoad(Type type)
Generates the instruction to load an element from an array.

Parameters:
type - the type of the array element to be loaded.

arrayStore

public void arrayStore(Type type)
Generates the instruction to store an element in an array.

Parameters:
type - the type of the array element to be stored.

pop

public void pop()
Generates a POP instruction.


pop2

public void pop2()
Generates a POP2 instruction.


dup

public void dup()
Generates a DUP instruction.


dup2

public void dup2()
Generates a DUP2 instruction.


dupX1

public void dupX1()
Generates a DUP_X1 instruction.


dupX2

public void dupX2()
Generates a DUP_X2 instruction.


dup2X1

public void dup2X1()
Generates a DUP2_X1 instruction.


dup2X2

public void dup2X2()
Generates a DUP2_X2 instruction.


swap

public void swap()
Generates a SWAP instruction.


swap

public void swap(Type prev,
                 Type type)
Generates the instructions to swap the top two stack values.

Parameters:
prev - type of the top - 1 stack value.
type - type of the top stack value.

math

public void math(int op,
                 Type type)
Generates the instruction to do the specified mathematical or logical operation.

Parameters:
op - a mathematical or logical operation. Must be one of ADD, SUB, MUL, DIV, REM, NEG, SHL, SHR, USHR, AND, OR, XOR.
type - the type of the operand(s) for this operation.

not

public void not()
Generates the instructions to compute the bitwise negation of the top stack value.


iinc

public void iinc(int local,
                 int amount)
Generates the instruction to increment the given local variable.

Parameters:
local - the local variable to be incremented.
amount - the amount by which the local variable must be incremented.

cast

public void cast(Type from,
                 Type to)
Generates the instructions to cast a numerical value from one type to another.

Parameters:
from - the type of the top stack value
to - the type into which this value must be cast.

box

public void box(Type type)
Generates the instructions to box the top stack value. This value is replaced by its boxed equivalent on top of the stack.

Parameters:
type - the type of the top stack value.

unbox

public void unbox(Type type)
Generates the instructions to unbox the top stack value. This value is replaced by its unboxed equivalent on top of the stack.

Parameters:
type - the type of the top stack value.

newLabel

public Label newLabel()
Creates a new org.objectweb.asm.Label.

Returns:
a new org.objectweb.asm.Label.

mark

public void mark(Label label)
Marks the current code position with the given label.

Parameters:
label - a label.

mark

public Label mark()
Marks the current code position with a new label.

Returns:
the label that was created to mark the current code position.

ifCmp

public void ifCmp(Type type,
                  int mode,
                  Label label)
Generates the instructions to jump to a label based on the comparison of the top two stack values.

Parameters:
type - the type of the top two stack values.
mode - how these values must be compared. One of EQ, NE, LT, GE, GT, LE.
label - where to jump if the comparison result is true.

ifICmp

public void ifICmp(int mode,
                   Label label)
Generates the instructions to jump to a label based on the comparison of the top two integer stack values.

Parameters:
mode - how these values must be compared. One of EQ, NE, LT, GE, GT, LE.
label - where to jump if the comparison result is true.

ifZCmp

public void ifZCmp(int mode,
                   Label label)
Generates the instructions to jump to a label based on the comparison of the top integer stack value with zero.

Parameters:
mode - how these values must be compared. One of EQ, NE, LT, GE, GT, LE.
label - where to jump if the comparison result is true.

ifNull

public void ifNull(Label label)
Generates the instruction to jump to the given label if the top stack value is null.

Parameters:
label - where to jump if the condition is true.

ifNonNull

public void ifNonNull(Label label)
Generates the instruction to jump to the given label if the top stack value is not null.

Parameters:
label - where to jump if the condition is true.

goTo

public void goTo(Label label)
Generates the instruction to jump to the given label.

Parameters:
label - where to jump if the condition is true.

ret

public void ret(int local)
Generates a RET instruction.

Parameters:
local - a local variable identifier, as returned by newLocal().

tableSwitch

public void tableSwitch(int[] keys,
                        TableSwitchGenerator generator)
Generates the instructions for a switch statement.

Parameters:
keys - the switch case keys.
generator - a generator to generate the code for the switch cases.

tableSwitch

public void tableSwitch(int[] keys,
                        TableSwitchGenerator generator,
                        boolean useTable)
Generates the instructions for a switch statement.

Parameters:
keys - the switch case keys.
generator - a generator to generate the code for the switch cases.
useTable - true to use a TABLESWITCH instruction, or false to use a LOOKUPSWITCH instruction.

returnValue

public void returnValue()
Generates the instruction to return the top stack value to the caller.


fieldInsn

private void fieldInsn(int opcode,
                       Type ownerType,
                       java.lang.String name,
                       Type fieldType)
Generates a get field or set field instruction.

Parameters:
opcode - the instruction's opcode.
ownerType - the class in which the field is defined.
name - the name of the field.
fieldType - the type of the field.

getStatic

public void getStatic(Type owner,
                      java.lang.String name,
                      Type type)
Generates the instruction to push the value of a static field on the stack.

Parameters:
owner - the class in which the field is defined.
name - the name of the field.
type - the type of the field.

putStatic

public void putStatic(Type owner,
                      java.lang.String name,
                      Type type)
Generates the instruction to store the top stack value in a static field.

Parameters:
owner - the class in which the field is defined.
name - the name of the field.
type - the type of the field.

getField

public void getField(Type owner,
                     java.lang.String name,
                     Type type)
Generates the instruction to push the value of a non static field on the stack.

Parameters:
owner - the class in which the field is defined.
name - the name of the field.
type - the type of the field.

putField

public void putField(Type owner,
                     java.lang.String name,
                     Type type)
Generates the instruction to store the top stack value in a non static field.

Parameters:
owner - the class in which the field is defined.
name - the name of the field.
type - the type of the field.

invokeInsn

private void invokeInsn(int opcode,
                        Type type,
                        Method method)
Generates an invoke method instruction.

Parameters:
opcode - the instruction's opcode.
type - the class in which the method is defined.
method - the method to be invoked.

invokeVirtual

public void invokeVirtual(Type owner,
                          Method method)
Generates the instruction to invoke a normal method.

Parameters:
owner - the class in which the method is defined.
method - the method to be invoked.

invokeConstructor

public void invokeConstructor(Type type,
                              Method method)
Generates the instruction to invoke a constructor.

Parameters:
type - the class in which the constructor is defined.
method - the constructor to be invoked.

invokeStatic

public void invokeStatic(Type owner,
                         Method method)
Generates the instruction to invoke a static method.

Parameters:
owner - the class in which the method is defined.
method - the method to be invoked.

invokeInterface

public void invokeInterface(Type owner,
                            Method method)
Generates the instruction to invoke an interface method.

Parameters:
owner - the class in which the method is defined.
method - the method to be invoked.

typeInsn

private void typeInsn(int opcode,
                      Type type)
Generates a type dependent instruction.

Parameters:
opcode - the instruction's opcode.
type - the instruction's operand.

newInstance

public void newInstance(Type type)
Generates the instruction to create a new object.

Parameters:
type - the class of the object to be created.

newArray

public void newArray(Type type)
Generates the instruction to create a new array.

Parameters:
type - the type of the array elements.

arrayLength

public void arrayLength()
Generates the instruction to compute the length of an array.


throwException

public void throwException()
Generates the instruction to throw an exception.


throwException

public void throwException(Type type,
                           java.lang.String msg)
Generates the instructions to create and throw an exception. The exception class must have a constructor with a single String argument.

Parameters:
type - the class of the exception to be thrown.
msg - the detailed message of the exception.

checkCast

public void checkCast(Type type)
Generates the instruction to check that the top stack value is of the given type.

Parameters:
type - a class or interface type.

instanceOf

public void instanceOf(Type type)
Generates the instruction to test if the top stack value is of the given type.

Parameters:
type - a class or interface type.

monitorEnter

public void monitorEnter()
Generates the instruction to get the monitor of the top stack value.


monitorExit

public void monitorExit()
Generates the instruction to release the monitor of the top stack value.


endMethod

public void endMethod()
Marks the end of the visited method.


catchException

public void catchException(Label start,
                           Label end,
                           Type exception)
Marks the start of an exception handler.

Parameters:
start - beginning of the exception handler's scope (inclusive).
end - end of the exception handler's scope (exclusive).
exception - internal name of the type of exceptions handled by the handler.

visitVarInsn

public void visitVarInsn(int opcode,
                         int var)
override this so we can see track which local var slots are in use and avoid overwriting them

Parameters:
opcode -
var -

newLocal

public int newLocal(Type valueType)
return a new local slot index for a local var not currently in use. this must be released using popLocal before a new frame can be notified which means that the slot should only be allocated inside a generated trigger section and should be released before the trigger end of the trigger section by calling popLocal.

Parameters:
valueType - the type of the value to be stored in the local slot
Returns:
the index for the new slot

popLocal

public void popLocal(int local)
free a previously allocated local slot

Parameters:
local - the slot to be released

loadLocal

public void loadLocal(int local)
load a value onto the stack from a local var slot which can obtained from a call to newLocal or from a lcoal variable table entry.

Parameters:
local - the slot to load from

storeLocal

public void storeLocal(int local)
save a value on the stack to a local var slot

Parameters:
local - the slot to save to

getLocalType

public Type getLocalType(int local)

visitMaxs

public void visitMaxs(int maxStack,
                      int maxLocals)
ensure we allow enough room for any extra locals on the stack

Parameters:
maxStack -
maxLocals -

dumpFrame

private void dumpFrame(int nLocal,
                       java.lang.Object[] local,
                       int nStack,
                       java.lang.Object[] stack)

dumpType

private void dumpType(java.lang.StringBuffer buffer,
                      java.lang.Object t)

visitFrame

public void visitFrame(int type,
                       int nLocal,
                       java.lang.Object[] local,
                       int nStack,
                       java.lang.Object[] stack)