at.dms.classfile
Class CodeEnv

java.lang.Object
  |
  +--at.dms.classfile.CodeEnv

final class CodeEnv
extends java.lang.Object

This class represent the code environement during control flow This allow to compute the amount of stack consumed, to check if instructions are reached and so on


Method Summary
static void check(CodeInfo codeInfo)
          Checks the specified CodeInfo structure and computes maxStack and maxLocals.
(package private)  void checkExecutionPath(InstructionHandle handle, int curStack)
          Verifies execution path(s) starting at specified instruction.
(package private)  void dumpCode()
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

check

public static void check(CodeInfo codeInfo)
                  throws ClassFileFormatException
Checks the specified CodeInfo structure and computes maxStack and maxLocals.

checkExecutionPath

final void checkExecutionPath(InstructionHandle handle,
                              int curStack)
                       throws ClassFileFormatException
Verifies execution path(s) starting at specified instruction.
Parameters:
handle - the handle of the first instruction
curStack - the stack height at the beginning of the execution of the instruction
Throws:
ClassFileFormatException - a problem was detected

dumpCode

void dumpCode()