org.apache.bcel/bcel/6.5.0 : org/apache/bcel/verifier/structurals/Pass3bVerifier.class

Pass3bVerifier
https://commons.apache.org/proper/commons-bcel: Apache Commons Bytecode Engineering Library (The Apache Software Foundation)
Apache License, Version 2.0
Enver Haase
David Dixon-Peugh
Patrick Beard
Conor MacNeill
Costin Manolache
Bill Pugh
First Hop Ltd / Torsten Rueger
Jérôme Leroux
Mark Roberts
Sam Yoon
Dave Brosius
Torsten Curdt (ASF)
Markus Dahm (it-frameworksolutions)
Jason van Zyl
Gary Gregory (Rocket Software)
public final class org.apache.bcel.verifier.structurals.Pass3bVerifier extends org.apache.bcel.verifier.PassVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.apache.bcel.verifier.structurals.Pass3bVerifier
  super_class: org.apache.bcel.verifier.PassVerifier
{
  private static final boolean DEBUG;
    descriptor: Z
    flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
    ConstantValue: 1

  private final org.apache.bcel.verifier.Verifier myOwner;
    descriptor: Lorg/apache/bcel/verifier/Verifier;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private final int methodNo;
    descriptor: I
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  public void <init>(org.apache.bcel.verifier.Verifier, int);
    descriptor: (Lorg/apache/bcel/verifier/Verifier;I)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
        start local 1 // org.apache.bcel.verifier.Verifier owner
        start local 2 // int method_no
         0: .line 158
            aload 0 /* this */
            invokespecial org.apache.bcel.verifier.PassVerifier.<init>:()V
         1: .line 159
            aload 0 /* this */
            aload 1 /* owner */
            putfield org.apache.bcel.verifier.structurals.Pass3bVerifier.myOwner:Lorg/apache/bcel/verifier/Verifier;
         2: .line 160
            aload 0 /* this */
            iload 2 /* method_no */
            putfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
         3: .line 161
            return
        end local 2 // int method_no
        end local 1 // org.apache.bcel.verifier.Verifier owner
        end local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    4     0       this  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
            0    4     1      owner  Lorg/apache/bcel/verifier/Verifier;
            0    4     2  method_no  I
    MethodParameters:
           Name  Flags
      owner      final
      method_no  final

  private void circulationPump(org.apache.bcel.generic.MethodGen, org.apache.bcel.verifier.structurals.ControlFlowGraph, org.apache.bcel.verifier.structurals.InstructionContext, org.apache.bcel.verifier.structurals.Frame, org.apache.bcel.verifier.structurals.InstConstraintVisitor, org.apache.bcel.verifier.structurals.ExecutionVisitor);
    descriptor: (Lorg/apache/bcel/generic/MethodGen;Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;Lorg/apache/bcel/verifier/structurals/InstructionContext;Lorg/apache/bcel/verifier/structurals/Frame;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=8, locals=20, args_size=7
        start local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
        start local 1 // org.apache.bcel.generic.MethodGen m
        start local 2 // org.apache.bcel.verifier.structurals.ControlFlowGraph cfg
        start local 3 // org.apache.bcel.verifier.structurals.InstructionContext start
        start local 4 // org.apache.bcel.verifier.structurals.Frame vanillaFrame
        start local 5 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
        start local 6 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
         0: .line 172
            new java.util.Random
            dup
            invokespecial java.util.Random.<init>:()V
            astore 7 /* random */
        start local 7 // java.util.Random random
         1: .line 173
            new org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue
            dup
            invokespecial org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.<init>:()V
            astore 8 /* icq */
        start local 8 // org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue icq
         2: .line 175
            aload 3 /* start */
            aload 4 /* vanillaFrame */
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            aload 5 /* icv */
            aload 6 /* ev */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.execute:(Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
            pop
         3: .line 178
            aload 8 /* icq */
            aload 3 /* start */
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.add:(Lorg/apache/bcel/verifier/structurals/InstructionContext;Ljava/util/ArrayList;)V
         4: .line 181
            goto 65
         5: .line 191
      StackMap locals: java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue
      StackMap stack:
            aload 8 /* icq */
            iconst_0
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.getIC:(I)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            astore 9 /* u */
        start local 9 // org.apache.bcel.verifier.structurals.InstructionContext u
         6: .line 192
            aload 8 /* icq */
            iconst_0
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.getEC:(I)Ljava/util/ArrayList;
            astore 10 /* ec */
        start local 10 // java.util.ArrayList ec
         7: .line 193
            aload 8 /* icq */
            iconst_0
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.remove:(I)V
         8: .line 198
            aload 10 /* ec */
            invokevirtual java.util.ArrayList.clone:()Ljava/lang/Object;
            checkcast java.util.ArrayList
            astore 11 /* oldchain */
        start local 11 // java.util.ArrayList oldchain
         9: .line 201
            aload 10 /* ec */
            invokevirtual java.util.ArrayList.clone:()Ljava/lang/Object;
            checkcast java.util.ArrayList
            astore 12 /* newchain */
        start local 12 // java.util.ArrayList newchain
        10: .line 202
            aload 12 /* newchain */
            aload 9 /* u */
            invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
            pop
        11: .line 204
            aload 9 /* u */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            instanceof org.apache.bcel.generic.RET
            ifeq 41
        12: .line 208
            aload 9 /* u */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            checkcast org.apache.bcel.generic.RET
            astore 13 /* ret */
        start local 13 // org.apache.bcel.generic.RET ret
        13: .line 209
            aload 9 /* u */
            aload 11 /* oldchain */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            aload 13 /* ret */
            invokevirtual org.apache.bcel.generic.RET.getIndex:()I
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.get:(I)Lorg/apache/bcel/generic/Type;
            checkcast org.apache.bcel.generic.ReturnaddressType
            astore 14 /* t */
        start local 14 // org.apache.bcel.generic.ReturnaddressType t
        14: .line 210
            aload 2 /* cfg */
            aload 14 /* t */
            invokevirtual org.apache.bcel.generic.ReturnaddressType.getTarget:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            astore 15 /* theSuccessor */
        start local 15 // org.apache.bcel.verifier.structurals.InstructionContext theSuccessor
        15: .line 213
            aconst_null
            astore 16 /* lastJSR */
        start local 16 // org.apache.bcel.verifier.structurals.InstructionContext lastJSR
        16: .line 214
            iconst_0
            istore 17 /* skip_jsr */
        start local 17 // int skip_jsr
        17: .line 215
            aload 11 /* oldchain */
            invokevirtual java.util.ArrayList.size:()I
            iconst_1
            isub
            istore 18 /* ss */
        start local 18 // int ss
        18: goto 29
        19: .line 216
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.generic.RET org.apache.bcel.generic.ReturnaddressType org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.InstructionContext int int
      StackMap stack:
            iload 17 /* skip_jsr */
            ifge 21
        20: .line 217
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            ldc "More RET than JSR in execution chain?!"
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
        21: .line 220
      StackMap locals:
      StackMap stack:
            aload 11 /* oldchain */
            iload 18 /* ss */
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.InstructionContext
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            instanceof org.apache.bcel.generic.JsrInstruction
            ifeq 26
        22: .line 221
            iload 17 /* skip_jsr */
            ifne 25
        23: .line 222
            aload 11 /* oldchain */
            iload 18 /* ss */
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.InstructionContext
            astore 16 /* lastJSR */
        24: .line 223
            goto 30
        25: .line 225
      StackMap locals:
      StackMap stack:
            iinc 17 /* skip_jsr */ -1
        26: .line 227
      StackMap locals:
      StackMap stack:
            aload 11 /* oldchain */
            iload 18 /* ss */
            invokevirtual java.util.ArrayList.get:(I)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.InstructionContext
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            instanceof org.apache.bcel.generic.RET
            ifeq 28
        27: .line 228
            iinc 17 /* skip_jsr */ 1
        28: .line 215
      StackMap locals:
      StackMap stack:
            iinc 18 /* ss */ -1
      StackMap locals:
      StackMap stack:
        29: iload 18 /* ss */
            ifge 19
        end local 18 // int ss
        30: .line 231
      StackMap locals:
      StackMap stack:
            aload 16 /* lastJSR */
            ifnonnull 32
        31: .line 232
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "RET without a JSR before in ExecutionChain?! EC: '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 11 /* oldchain */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "'."
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
        32: .line 234
      StackMap locals:
      StackMap stack:
            aload 16 /* lastJSR */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            checkcast org.apache.bcel.generic.JsrInstruction
            astore 18 /* jsr */
        start local 18 // org.apache.bcel.generic.JsrInstruction jsr
        33: .line 235
            aload 15 /* theSuccessor */
            aload 2 /* cfg */
            aload 18 /* jsr */
            invokevirtual org.apache.bcel.generic.JsrInstruction.physicalSuccessor:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            if_acmpeq 37
        34: .line 236
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "RET '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 9 /* u */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "' info inconsistent: jump back to '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        35: .line 237
            aload 15 /* theSuccessor */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "' or '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 2 /* cfg */
            aload 18 /* jsr */
            invokevirtual org.apache.bcel.generic.JsrInstruction.physicalSuccessor:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "'?"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        36: .line 236
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
        37: .line 240
      StackMap locals: org.apache.bcel.generic.JsrInstruction
      StackMap stack:
            aload 15 /* theSuccessor */
            aload 9 /* u */
            aload 11 /* oldchain */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            aload 12 /* newchain */
            aload 5 /* icv */
            aload 6 /* ev */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.execute:(Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
            ifeq 49
        38: .line 243
            aload 12 /* newchain */
            invokevirtual java.util.ArrayList.clone:()Ljava/lang/Object;
            checkcast java.util.ArrayList
            astore 19 /* newchainClone */
        start local 19 // java.util.ArrayList newchainClone
        39: .line 244
            aload 8 /* icq */
            aload 15 /* theSuccessor */
            aload 19 /* newchainClone */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.add:(Lorg/apache/bcel/verifier/structurals/InstructionContext;Ljava/util/ArrayList;)V
        end local 19 // java.util.ArrayList newchainClone
        end local 18 // org.apache.bcel.generic.JsrInstruction jsr
        end local 17 // int skip_jsr
        end local 16 // org.apache.bcel.verifier.structurals.InstructionContext lastJSR
        end local 15 // org.apache.bcel.verifier.structurals.InstructionContext theSuccessor
        end local 14 // org.apache.bcel.generic.ReturnaddressType t
        end local 13 // org.apache.bcel.generic.RET ret
        40: .line 246
            goto 49
        41: .line 250
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList
      StackMap stack:
            aload 9 /* u */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getSuccessors:()[Lorg/apache/bcel/verifier/structurals/InstructionContext;
            astore 13 /* succs */
        start local 13 // org.apache.bcel.verifier.structurals.InstructionContext[] succs
        42: .line 251
            aload 13 /* succs */
            dup
            astore 17
            arraylength
            istore 16
            iconst_0
            istore 15
            goto 48
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.verifier.structurals.InstructionContext[] top int int org.apache.bcel.verifier.structurals.InstructionContext[]
      StackMap stack:
        43: aload 17
            iload 15
            aaload
            astore 14 /* v */
        start local 14 // org.apache.bcel.verifier.structurals.InstructionContext v
        44: .line 252
            aload 14 /* v */
            aload 9 /* u */
            aload 11 /* oldchain */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            aload 12 /* newchain */
            aload 5 /* icv */
            aload 6 /* ev */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.execute:(Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
            ifeq 47
        45: .line 255
            aload 12 /* newchain */
            invokevirtual java.util.ArrayList.clone:()Ljava/lang/Object;
            checkcast java.util.ArrayList
            astore 18 /* newchainClone */
        start local 18 // java.util.ArrayList newchainClone
        46: .line 256
            aload 8 /* icq */
            aload 14 /* v */
            aload 18 /* newchainClone */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.add:(Lorg/apache/bcel/verifier/structurals/InstructionContext;Ljava/util/ArrayList;)V
        end local 18 // java.util.ArrayList newchainClone
        end local 14 // org.apache.bcel.verifier.structurals.InstructionContext v
        47: .line 251
      StackMap locals:
      StackMap stack:
            iinc 15 1
      StackMap locals:
      StackMap stack:
        48: iload 15
            iload 16
            if_icmplt 43
        end local 13 // org.apache.bcel.verifier.structurals.InstructionContext[] succs
        49: .line 263
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList
      StackMap stack:
            aload 9 /* u */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getExceptionHandlers:()[Lorg/apache/bcel/verifier/structurals/ExceptionHandler;
            astore 13 /* exc_hds */
        start local 13 // org.apache.bcel.verifier.structurals.ExceptionHandler[] exc_hds
        50: .line 264
            aload 13 /* exc_hds */
            dup
            astore 17
            arraylength
            istore 16
            iconst_0
            istore 15
            goto 64
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.verifier.structurals.ExceptionHandler[] top int int org.apache.bcel.verifier.structurals.ExceptionHandler[]
      StackMap stack:
        51: aload 17
            iload 15
            aaload
            astore 14 /* exc_hd */
        start local 14 // org.apache.bcel.verifier.structurals.ExceptionHandler exc_hd
        52: .line 265
            aload 2 /* cfg */
            aload 14 /* exc_hd */
            invokevirtual org.apache.bcel.verifier.structurals.ExceptionHandler.getHandlerStart:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            astore 18 /* v */
        start local 18 // org.apache.bcel.verifier.structurals.InstructionContext v
        53: .line 278
            aload 18 /* v */
        54: new org.apache.bcel.verifier.structurals.Frame
            dup
            aload 9 /* u */
            aload 11 /* oldchain */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
        55: .line 279
            new org.apache.bcel.verifier.structurals.OperandStack
            dup
            aload 9 /* u */
            aload 11 /* oldchain */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.maxStack:()I
        56: .line 280
            aload 14 /* exc_hd */
            invokevirtual org.apache.bcel.verifier.structurals.ExceptionHandler.getExceptionType:()Lorg/apache/bcel/generic/ObjectType;
            ifnonnull 57
            getstatic org.apache.bcel.generic.Type.THROWABLE:Lorg/apache/bcel/generic/ObjectType;
            goto 58
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.verifier.structurals.ExceptionHandler[] org.apache.bcel.verifier.structurals.ExceptionHandler int int org.apache.bcel.verifier.structurals.ExceptionHandler[] org.apache.bcel.verifier.structurals.InstructionContext
      StackMap stack: org.apache.bcel.verifier.structurals.InstructionContext new 54 new 54 org.apache.bcel.verifier.structurals.LocalVariables new 55 new 55 int
        57: aload 14 /* exc_hd */
            invokevirtual org.apache.bcel.verifier.structurals.ExceptionHandler.getExceptionType:()Lorg/apache/bcel/generic/ObjectType;
        58: .line 279
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.verifier.structurals.ExceptionHandler[] org.apache.bcel.verifier.structurals.ExceptionHandler int int org.apache.bcel.verifier.structurals.ExceptionHandler[] org.apache.bcel.verifier.structurals.InstructionContext
      StackMap stack: org.apache.bcel.verifier.structurals.InstructionContext new 54 new 54 org.apache.bcel.verifier.structurals.LocalVariables new 55 new 55 int org.apache.bcel.generic.ObjectType
            invokespecial org.apache.bcel.verifier.structurals.OperandStack.<init>:(ILorg/apache/bcel/generic/ObjectType;)V
            invokespecial org.apache.bcel.verifier.structurals.Frame.<init>:(Lorg/apache/bcel/verifier/structurals/LocalVariables;Lorg/apache/bcel/verifier/structurals/OperandStack;)V
        59: .line 281
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            aload 5 /* icv */
            aload 6 /* ev */
        60: .line 278
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.execute:(Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
        61: .line 281
            ifeq 63
        62: .line 282
            aload 8 /* icq */
            aload 18 /* v */
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.add:(Lorg/apache/bcel/verifier/structurals/InstructionContext;Ljava/util/ArrayList;)V
        end local 18 // org.apache.bcel.verifier.structurals.InstructionContext v
        end local 14 // org.apache.bcel.verifier.structurals.ExceptionHandler exc_hd
        63: .line 264
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.verifier.structurals.InstructionContext java.util.ArrayList java.util.ArrayList java.util.ArrayList org.apache.bcel.verifier.structurals.ExceptionHandler[] top int int org.apache.bcel.verifier.structurals.ExceptionHandler[]
      StackMap stack:
            iinc 15 1
      StackMap locals:
      StackMap stack:
        64: iload 15
            iload 16
            if_icmplt 51
        end local 13 // org.apache.bcel.verifier.structurals.ExceptionHandler[] exc_hds
        end local 12 // java.util.ArrayList newchain
        end local 11 // java.util.ArrayList oldchain
        end local 10 // java.util.ArrayList ec
        end local 9 // org.apache.bcel.verifier.structurals.InstructionContext u
        65: .line 181
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue
      StackMap stack:
            aload 8 /* icq */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue.isEmpty:()Z
            ifeq 5
        66: .line 288
            aload 3 /* start */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            astore 9 /* ih */
        start local 9 // org.apache.bcel.generic.InstructionHandle ih
        67: .line 290
      StackMap locals: org.apache.bcel.generic.InstructionHandle
      StackMap stack:
            aload 9 /* ih */
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            instanceof org.apache.bcel.generic.ReturnInstruction
            ifeq 103
            aload 2 /* cfg */
            aload 9 /* ih */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.isDead:(Lorg/apache/bcel/generic/InstructionHandle;)Z
            ifne 103
        68: .line 291
            aload 2 /* cfg */
            aload 9 /* ih */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            astore 10 /* ic */
        start local 10 // org.apache.bcel.verifier.structurals.InstructionContext ic
        69: .line 294
            aload 10 /* ic */
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getOutFrame:(Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
            astore 11 /* f */
        start local 11 // org.apache.bcel.verifier.structurals.Frame f
        70: .line 295
            aload 11 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            astore 12 /* lvs */
        start local 12 // org.apache.bcel.verifier.structurals.LocalVariables lvs
        71: .line 296
            iconst_0
            istore 13 /* i */
        start local 13 // int i
        72: goto 78
        73: .line 297
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.generic.InstructionHandle org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.LocalVariables int
      StackMap stack:
            aload 12 /* lvs */
            iload 13 /* i */
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.get:(I)Lorg/apache/bcel/generic/Type;
            instanceof org.apache.bcel.verifier.structurals.UninitializedObjectType
            ifeq 77
        74: .line 298
            aload 0 /* this */
            new java.lang.StringBuilder
            dup
            ldc "Warning: ReturnInstruction '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 10 /* ic */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
        75: .line 299
            ldc "' may leave method with an uninitialized object in the local variables array '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 12 /* lvs */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "'."
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        76: .line 298
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.addMessage:(Ljava/lang/String;)V
        77: .line 296
      StackMap locals:
      StackMap stack:
            iinc 13 /* i */ 1
      StackMap locals:
      StackMap stack:
        78: iload 13 /* i */
            aload 12 /* lvs */
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.maxLocals:()I
            if_icmplt 73
        end local 13 // int i
        79: .line 302
            aload 11 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            astore 13 /* os */
        start local 13 // org.apache.bcel.verifier.structurals.OperandStack os
        80: .line 303
            iconst_0
            istore 14 /* i */
        start local 14 // int i
        81: goto 87
        82: .line 304
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.generic.InstructionHandle org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.LocalVariables org.apache.bcel.verifier.structurals.OperandStack int
      StackMap stack:
            aload 13 /* os */
            iload 14 /* i */
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.peek:(I)Lorg/apache/bcel/generic/Type;
            instanceof org.apache.bcel.verifier.structurals.UninitializedObjectType
            ifeq 86
        83: .line 305
            aload 0 /* this */
            new java.lang.StringBuilder
            dup
            ldc "Warning: ReturnInstruction '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 10 /* ic */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
        84: .line 306
            ldc "' may leave method with an uninitialized object on the operand stack '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 13 /* os */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "'."
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        85: .line 305
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.addMessage:(Ljava/lang/String;)V
        86: .line 303
      StackMap locals:
      StackMap stack:
            iinc 14 /* i */ 1
      StackMap locals:
      StackMap stack:
        87: iload 14 /* i */
            aload 13 /* os */
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.size:()I
            if_icmplt 82
        end local 14 // int i
        88: .line 310
            aconst_null
            astore 14 /* returnedType */
        start local 14 // org.apache.bcel.generic.Type returnedType
        89: .line 311
            aload 10 /* ic */
            invokeinterface org.apache.bcel.verifier.structurals.InstructionContext.getInFrame:()Lorg/apache/bcel/verifier/structurals/Frame;
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            astore 15 /* inStack */
        start local 15 // org.apache.bcel.verifier.structurals.OperandStack inStack
        90: .line 312
            aload 15 /* inStack */
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.size:()I
            iconst_1
            if_icmplt 93
        91: .line 313
            aload 15 /* inStack */
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.peek:()Lorg/apache/bcel/generic/Type;
            astore 14 /* returnedType */
        92: .line 314
            goto 94
        93: .line 315
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.generic.InstructionHandle org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.LocalVariables org.apache.bcel.verifier.structurals.OperandStack org.apache.bcel.generic.Type org.apache.bcel.verifier.structurals.OperandStack
      StackMap stack:
            getstatic org.apache.bcel.generic.Type.VOID:Lorg/apache/bcel/generic/BasicType;
            astore 14 /* returnedType */
        94: .line 318
      StackMap locals:
      StackMap stack:
            aload 14 /* returnedType */
            ifnull 103
        95: .line 319
            aload 14 /* returnedType */
            instanceof org.apache.bcel.generic.ReferenceType
            ifeq 101
        96: .line 321
            aload 14 /* returnedType */
            checkcast org.apache.bcel.generic.ReferenceType
            aload 1 /* m */
            invokevirtual org.apache.bcel.generic.MethodGen.getReturnType:()Lorg/apache/bcel/generic/Type;
            invokevirtual org.apache.bcel.generic.ReferenceType.isCastableTo:(Lorg/apache/bcel/generic/Type;)Z
            ifne 103
        97: .line 322
            aload 0 /* this */
            aload 14 /* returnedType */
            aload 1 /* m */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.invalidReturnTypeError:(Lorg/apache/bcel/generic/Type;Lorg/apache/bcel/generic/MethodGen;)V
        98: .line 324
            goto 103
      StackMap locals:
      StackMap stack: java.lang.ClassNotFoundException
        99: astore 16 /* e */
        start local 16 // java.lang.ClassNotFoundException e
       100: .line 326
            new java.lang.IllegalArgumentException
            dup
            aload 16 /* e */
            invokespecial java.lang.IllegalArgumentException.<init>:(Ljava/lang/Throwable;)V
            athrow
        end local 16 // java.lang.ClassNotFoundException e
       101: .line 328
      StackMap locals:
      StackMap stack:
            aload 14 /* returnedType */
            aload 1 /* m */
            invokevirtual org.apache.bcel.generic.MethodGen.getReturnType:()Lorg/apache/bcel/generic/Type;
            invokevirtual org.apache.bcel.generic.Type.normalizeForStackOrLocal:()Lorg/apache/bcel/generic/Type;
            invokevirtual org.apache.bcel.generic.Type.equals:(Ljava/lang/Object;)Z
            ifne 103
       102: .line 329
            aload 0 /* this */
            aload 14 /* returnedType */
            aload 1 /* m */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.invalidReturnTypeError:(Lorg/apache/bcel/generic/Type;Lorg/apache/bcel/generic/MethodGen;)V
        end local 15 // org.apache.bcel.verifier.structurals.OperandStack inStack
        end local 14 // org.apache.bcel.generic.Type returnedType
        end local 13 // org.apache.bcel.verifier.structurals.OperandStack os
        end local 12 // org.apache.bcel.verifier.structurals.LocalVariables lvs
        end local 11 // org.apache.bcel.verifier.structurals.Frame f
        end local 10 // org.apache.bcel.verifier.structurals.InstructionContext ic
       103: .line 333
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.InstructionContext org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.Random org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue org.apache.bcel.generic.InstructionHandle
      StackMap stack:
            aload 9 /* ih */
            invokevirtual org.apache.bcel.generic.InstructionHandle.getNext:()Lorg/apache/bcel/generic/InstructionHandle;
            dup
            astore 9 /* ih */
            ifnonnull 67
       104: .line 335
            return
        end local 9 // org.apache.bcel.generic.InstructionHandle ih
        end local 8 // org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue icq
        end local 7 // java.util.Random random
        end local 6 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
        end local 5 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
        end local 4 // org.apache.bcel.verifier.structurals.Frame vanillaFrame
        end local 3 // org.apache.bcel.verifier.structurals.InstructionContext start
        end local 2 // org.apache.bcel.verifier.structurals.ControlFlowGraph cfg
        end local 1 // org.apache.bcel.generic.MethodGen m
        end local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0  105     0           this  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
            0  105     1              m  Lorg/apache/bcel/generic/MethodGen;
            0  105     2            cfg  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0  105     3          start  Lorg/apache/bcel/verifier/structurals/InstructionContext;
            0  105     4   vanillaFrame  Lorg/apache/bcel/verifier/structurals/Frame;
            0  105     5            icv  Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;
            0  105     6             ev  Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;
            1  105     7         random  Ljava/util/Random;
            2  105     8            icq  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier$InstructionContextQueue;
            6   65     9              u  Lorg/apache/bcel/verifier/structurals/InstructionContext;
            7   65    10             ec  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
            9   65    11       oldchain  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
           10   65    12       newchain  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
           13   40    13            ret  Lorg/apache/bcel/generic/RET;
           14   40    14              t  Lorg/apache/bcel/generic/ReturnaddressType;
           15   40    15   theSuccessor  Lorg/apache/bcel/verifier/structurals/InstructionContext;
           16   40    16        lastJSR  Lorg/apache/bcel/verifier/structurals/InstructionContext;
           17   40    17       skip_jsr  I
           18   30    18             ss  I
           33   40    18            jsr  Lorg/apache/bcel/generic/JsrInstruction;
           39   40    19  newchainClone  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
           42   49    13          succs  [Lorg/apache/bcel/verifier/structurals/InstructionContext;
           44   47    14              v  Lorg/apache/bcel/verifier/structurals/InstructionContext;
           46   47    18  newchainClone  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
           50   65    13        exc_hds  [Lorg/apache/bcel/verifier/structurals/ExceptionHandler;
           52   63    14         exc_hd  Lorg/apache/bcel/verifier/structurals/ExceptionHandler;
           53   63    18              v  Lorg/apache/bcel/verifier/structurals/InstructionContext;
           67  105     9             ih  Lorg/apache/bcel/generic/InstructionHandle;
           69  103    10             ic  Lorg/apache/bcel/verifier/structurals/InstructionContext;
           70  103    11              f  Lorg/apache/bcel/verifier/structurals/Frame;
           71  103    12            lvs  Lorg/apache/bcel/verifier/structurals/LocalVariables;
           72   79    13              i  I
           80  103    13             os  Lorg/apache/bcel/verifier/structurals/OperandStack;
           81   88    14              i  I
           89  103    14   returnedType  Lorg/apache/bcel/generic/Type;
           90  103    15        inStack  Lorg/apache/bcel/verifier/structurals/OperandStack;
          100  101    16              e  Ljava/lang/ClassNotFoundException;
      Exception table:
        from    to  target  type
          96    98      99  Class java.lang.ClassNotFoundException
    MethodParameters:
              Name  Flags
      m             final
      cfg           final
      start         final
      vanillaFrame  final
      icv           final
      ev            final

  public void invalidReturnTypeError(org.apache.bcel.generic.Type, org.apache.bcel.generic.MethodGen);
    descriptor: (Lorg/apache/bcel/generic/Type;Lorg/apache/bcel/generic/MethodGen;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=3, args_size=3
        start local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
        start local 1 // org.apache.bcel.generic.Type returnedType
        start local 2 // org.apache.bcel.generic.MethodGen m
         0: .line 346
            new org.apache.bcel.verifier.exc.StructuralCodeConstraintException
            dup
         1: .line 347
            new java.lang.StringBuilder
            dup
            ldc "Returned type "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 1 /* returnedType */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc " does not match Method's return type "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 2 /* m */
            invokevirtual org.apache.bcel.generic.MethodGen.getReturnType:()Lorg/apache/bcel/generic/Type;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
         2: .line 346
            invokespecial org.apache.bcel.verifier.exc.StructuralCodeConstraintException.<init>:(Ljava/lang/String;)V
            athrow
        end local 2 // org.apache.bcel.generic.MethodGen m
        end local 1 // org.apache.bcel.generic.Type returnedType
        end local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    3     0          this  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
            0    3     1  returnedType  Lorg/apache/bcel/generic/Type;
            0    3     2             m  Lorg/apache/bcel/generic/MethodGen;
    MethodParameters:
              Name  Flags
      returnedType  final
      m             final

  public org.apache.bcel.verifier.VerificationResult do_verify();
    descriptor: ()Lorg/apache/bcel/verifier/VerificationResult;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=7, locals=12, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
         0: .line 362
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.myOwner:Lorg/apache/bcel/verifier/Verifier;
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
            invokevirtual org.apache.bcel.verifier.Verifier.doPass3a:(I)Lorg/apache/bcel/verifier/VerificationResult;
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            invokevirtual org.apache.bcel.verifier.VerificationResult.equals:(Ljava/lang/Object;)Z
            ifne 2
         1: .line 363
            getstatic org.apache.bcel.verifier.VerificationResult.VR_NOTYET:Lorg/apache/bcel/verifier/VerificationResult;
            areturn
         2: .line 370
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.myOwner:Lorg/apache/bcel/verifier/Verifier;
            invokevirtual org.apache.bcel.verifier.Verifier.getClassName:()Ljava/lang/String;
            invokestatic org.apache.bcel.Repository.lookupClass:(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;
            astore 1 /* jc */
        start local 1 // org.apache.bcel.classfile.JavaClass jc
         3: .line 371
            goto 6
        end local 1 // org.apache.bcel.classfile.JavaClass jc
      StackMap locals:
      StackMap stack: java.lang.ClassNotFoundException
         4: astore 2 /* e */
        start local 2 // java.lang.ClassNotFoundException e
         5: .line 373
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Missing class: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 2 /* e */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            aload 2 /* e */
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;Ljava/lang/Throwable;)V
            athrow
        end local 2 // java.lang.ClassNotFoundException e
        start local 1 // org.apache.bcel.classfile.JavaClass jc
         6: .line 376
      StackMap locals: org.apache.bcel.classfile.JavaClass
      StackMap stack:
            new org.apache.bcel.generic.ConstantPoolGen
            dup
            aload 1 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getConstantPool:()Lorg/apache/bcel/classfile/ConstantPool;
            invokespecial org.apache.bcel.generic.ConstantPoolGen.<init>:(Lorg/apache/bcel/classfile/ConstantPool;)V
            astore 2 /* constantPoolGen */
        start local 2 // org.apache.bcel.generic.ConstantPoolGen constantPoolGen
         7: .line 378
            new org.apache.bcel.verifier.structurals.InstConstraintVisitor
            dup
            invokespecial org.apache.bcel.verifier.structurals.InstConstraintVisitor.<init>:()V
            astore 3 /* icv */
        start local 3 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
         8: .line 379
            aload 3 /* icv */
            aload 2 /* constantPoolGen */
            invokevirtual org.apache.bcel.verifier.structurals.InstConstraintVisitor.setConstantPoolGen:(Lorg/apache/bcel/generic/ConstantPoolGen;)V
         9: .line 381
            new org.apache.bcel.verifier.structurals.ExecutionVisitor
            dup
            invokespecial org.apache.bcel.verifier.structurals.ExecutionVisitor.<init>:()V
            astore 4 /* ev */
        start local 4 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
        10: .line 382
            aload 4 /* ev */
            aload 2 /* constantPoolGen */
            invokevirtual org.apache.bcel.verifier.structurals.ExecutionVisitor.setConstantPoolGen:(Lorg/apache/bcel/generic/ConstantPoolGen;)V
        11: .line 384
            aload 1 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            astore 5 /* methods */
        start local 5 // org.apache.bcel.classfile.Method[] methods
        12: .line 388
            new org.apache.bcel.generic.MethodGen
            dup
            aload 5 /* methods */
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
            aaload
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.myOwner:Lorg/apache/bcel/verifier/Verifier;
            invokevirtual org.apache.bcel.verifier.Verifier.getClassName:()Ljava/lang/String;
            aload 2 /* constantPoolGen */
            invokespecial org.apache.bcel.generic.MethodGen.<init>:(Lorg/apache/bcel/classfile/Method;Ljava/lang/String;Lorg/apache/bcel/generic/ConstantPoolGen;)V
            astore 6 /* mg */
        start local 6 // org.apache.bcel.generic.MethodGen mg
        13: .line 390
            aload 3 /* icv */
            aload 6 /* mg */
            invokevirtual org.apache.bcel.verifier.structurals.InstConstraintVisitor.setMethodGen:(Lorg/apache/bcel/generic/MethodGen;)V
        14: .line 393
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.isAbstract:()Z
            ifne 53
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.isNative:()Z
            ifne 53
        15: .line 395
            new org.apache.bcel.verifier.structurals.ControlFlowGraph
            dup
            aload 6 /* mg */
            invokespecial org.apache.bcel.verifier.structurals.ControlFlowGraph.<init>:(Lorg/apache/bcel/generic/MethodGen;)V
            astore 7 /* cfg */
        start local 7 // org.apache.bcel.verifier.structurals.ControlFlowGraph cfg
        16: .line 398
            new org.apache.bcel.verifier.structurals.Frame
            dup
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.getMaxLocals:()I
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.getMaxStack:()I
            invokespecial org.apache.bcel.verifier.structurals.Frame.<init>:(II)V
            astore 8 /* f */
        start local 8 // org.apache.bcel.verifier.structurals.Frame f
        17: .line 399
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.isStatic:()Z
            ifne 24
        18: .line 400
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.getName:()Ljava/lang/String;
            ldc "<init>"
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifeq 22
        19: .line 401
            new org.apache.bcel.verifier.structurals.UninitializedObjectType
            dup
            aload 1 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getClassName:()Ljava/lang/String;
            invokestatic org.apache.bcel.generic.ObjectType.getInstance:(Ljava/lang/String;)Lorg/apache/bcel/generic/ObjectType;
            invokespecial org.apache.bcel.verifier.structurals.UninitializedObjectType.<init>:(Lorg/apache/bcel/generic/ObjectType;)V
            invokestatic org.apache.bcel.verifier.structurals.Frame.setThis:(Lorg/apache/bcel/verifier/structurals/UninitializedObjectType;)V
        20: .line 402
            aload 8 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            iconst_0
            invokestatic org.apache.bcel.verifier.structurals.Frame.getThis:()Lorg/apache/bcel/verifier/structurals/UninitializedObjectType;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.set:(ILorg/apache/bcel/generic/Type;)V
        21: .line 403
            goto 24
        22: .line 405
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[] org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.Frame
      StackMap stack:
            aconst_null
            invokestatic org.apache.bcel.verifier.structurals.Frame.setThis:(Lorg/apache/bcel/verifier/structurals/UninitializedObjectType;)V
        23: .line 406
            aload 8 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            iconst_0
            aload 1 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getClassName:()Ljava/lang/String;
            invokestatic org.apache.bcel.generic.ObjectType.getInstance:(Ljava/lang/String;)Lorg/apache/bcel/generic/ObjectType;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.set:(ILorg/apache/bcel/generic/Type;)V
        24: .line 409
      StackMap locals:
      StackMap stack:
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.getArgumentTypes:()[Lorg/apache/bcel/generic/Type;
            astore 9 /* argtypes */
        start local 9 // org.apache.bcel.generic.Type[] argtypes
        25: .line 410
            iconst_0
            istore 10 /* twoslotoffset */
        start local 10 // int twoslotoffset
        26: .line 411
            iconst_0
            istore 11 /* j */
        start local 11 // int j
        27: goto 40
        28: .line 412
      StackMap locals: org.apache.bcel.generic.Type[] int int
      StackMap stack:
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            getstatic org.apache.bcel.generic.Type.SHORT:Lorg/apache/bcel/generic/BasicType;
            if_acmpeq 30
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            getstatic org.apache.bcel.generic.Type.BYTE:Lorg/apache/bcel/generic/BasicType;
            if_acmpeq 30
        29: .line 413
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            getstatic org.apache.bcel.generic.Type.CHAR:Lorg/apache/bcel/generic/BasicType;
            if_acmpeq 30
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            getstatic org.apache.bcel.generic.Type.BOOLEAN:Lorg/apache/bcel/generic/BasicType;
            if_acmpne 31
        30: .line 414
      StackMap locals:
      StackMap stack:
            aload 9 /* argtypes */
            iload 11 /* j */
            getstatic org.apache.bcel.generic.Type.INT:Lorg/apache/bcel/generic/BasicType;
            aastore
        31: .line 416
      StackMap locals:
      StackMap stack:
            aload 8 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            iload 10 /* twoslotoffset */
            iload 11 /* j */
            iadd
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.isStatic:()Z
            ifeq 32
            iconst_0
            goto 33
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[] org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.Frame org.apache.bcel.generic.Type[] int int
      StackMap stack: org.apache.bcel.verifier.structurals.LocalVariables int
        32: iconst_1
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[] org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.Frame org.apache.bcel.generic.Type[] int int
      StackMap stack: org.apache.bcel.verifier.structurals.LocalVariables int int
        33: iadd
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.set:(ILorg/apache/bcel/generic/Type;)V
        34: .line 417
            aload 9 /* argtypes */
            iload 11 /* j */
            aaload
            invokevirtual org.apache.bcel.generic.Type.getSize:()I
            iconst_2
            if_icmpne 39
        35: .line 418
            iinc 10 /* twoslotoffset */ 1
        36: .line 419
            aload 8 /* f */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            iload 10 /* twoslotoffset */
            iload 11 /* j */
            iadd
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.isStatic:()Z
            ifeq 37
            iconst_0
            goto 38
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[] org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.Frame org.apache.bcel.generic.Type[] int int
      StackMap stack: org.apache.bcel.verifier.structurals.LocalVariables int
        37: iconst_1
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[] org.apache.bcel.generic.MethodGen org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.verifier.structurals.Frame org.apache.bcel.generic.Type[] int int
      StackMap stack: org.apache.bcel.verifier.structurals.LocalVariables int int
        38: iadd
            getstatic org.apache.bcel.generic.Type.UNKNOWN:Lorg/apache/bcel/generic/Type;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.set:(ILorg/apache/bcel/generic/Type;)V
        39: .line 411
      StackMap locals:
      StackMap stack:
            iinc 11 /* j */ 1
      StackMap locals:
      StackMap stack:
        40: iload 11 /* j */
            aload 9 /* argtypes */
            arraylength
            if_icmplt 28
        end local 11 // int j
        41: .line 422
            aload 0 /* this */
            aload 6 /* mg */
            aload 7 /* cfg */
            aload 7 /* cfg */
            aload 6 /* mg */
            invokevirtual org.apache.bcel.generic.MethodGen.getInstructionList:()Lorg/apache/bcel/generic/InstructionList;
            invokevirtual org.apache.bcel.generic.InstructionList.getStart:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            aload 8 /* f */
            aload 3 /* icv */
            aload 4 /* ev */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.circulationPump:(Lorg/apache/bcel/generic/MethodGen;Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;Lorg/apache/bcel/verifier/structurals/InstructionContext;Lorg/apache/bcel/verifier/structurals/Frame;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)V
        end local 10 // int twoslotoffset
        end local 9 // org.apache.bcel.generic.Type[] argtypes
        end local 8 // org.apache.bcel.verifier.structurals.Frame f
        end local 7 // org.apache.bcel.verifier.structurals.ControlFlowGraph cfg
        end local 6 // org.apache.bcel.generic.MethodGen mg
        42: .line 424
            goto 53
        43: .line 425
      StackMap locals: org.apache.bcel.verifier.structurals.Pass3bVerifier org.apache.bcel.classfile.JavaClass org.apache.bcel.generic.ConstantPoolGen org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor org.apache.bcel.classfile.Method[]
      StackMap stack: org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
            astore 6 /* ce */
        start local 6 // org.apache.bcel.verifier.exc.VerifierConstraintViolatedException ce
        44: .line 426
            aload 6 /* ce */
            new java.lang.StringBuilder
            dup
            ldc "Constraint violated in method '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 5 /* methods */
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "':\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            ldc ""
            invokevirtual org.apache.bcel.verifier.exc.VerifierConstraintViolatedException.extendMessage:(Ljava/lang/String;Ljava/lang/String;)V
        45: .line 427
            new org.apache.bcel.verifier.VerificationResult
            dup
            iconst_2
            aload 6 /* ce */
            invokevirtual org.apache.bcel.verifier.exc.VerifierConstraintViolatedException.getMessage:()Ljava/lang/String;
            invokespecial org.apache.bcel.verifier.VerificationResult.<init>:(ILjava/lang/String;)V
            areturn
        end local 6 // org.apache.bcel.verifier.exc.VerifierConstraintViolatedException ce
        46: .line 429
      StackMap locals:
      StackMap stack: java.lang.RuntimeException
            astore 6 /* re */
        start local 6 // java.lang.RuntimeException re
        47: .line 432
            new java.io.StringWriter
            dup
            invokespecial java.io.StringWriter.<init>:()V
            astore 7 /* sw */
        start local 7 // java.io.StringWriter sw
        48: .line 433
            new java.io.PrintWriter
            dup
            aload 7 /* sw */
            invokespecial java.io.PrintWriter.<init>:(Ljava/io/Writer;)V
            astore 8 /* pw */
        start local 8 // java.io.PrintWriter pw
        49: .line 434
            aload 6 /* re */
            aload 8 /* pw */
            invokevirtual java.lang.RuntimeException.printStackTrace:(Ljava/io/PrintWriter;)V
        50: .line 436
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Some RuntimeException occured while verify()ing class '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 1 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getClassName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        51: .line 437
            ldc "', method '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 5 /* methods */
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "'. Original RuntimeException's stack trace:\n---\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 7 /* sw */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "---\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            aload 6 /* re */
        52: .line 436
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;Ljava/lang/Throwable;)V
            athrow
        end local 8 // java.io.PrintWriter pw
        end local 7 // java.io.StringWriter sw
        end local 6 // java.lang.RuntimeException re
        53: .line 439
      StackMap locals:
      StackMap stack:
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            areturn
        end local 5 // org.apache.bcel.classfile.Method[] methods
        end local 4 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
        end local 3 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
        end local 2 // org.apache.bcel.generic.ConstantPoolGen constantPoolGen
        end local 1 // org.apache.bcel.classfile.JavaClass jc
        end local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
      LocalVariableTable:
        Start  End  Slot             Name  Signature
            0   54     0             this  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
            3    4     1               jc  Lorg/apache/bcel/classfile/JavaClass;
            6   54     1               jc  Lorg/apache/bcel/classfile/JavaClass;
            5    6     2                e  Ljava/lang/ClassNotFoundException;
            7   54     2  constantPoolGen  Lorg/apache/bcel/generic/ConstantPoolGen;
            8   54     3              icv  Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;
           10   54     4               ev  Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;
           12   54     5          methods  [Lorg/apache/bcel/classfile/Method;
           13   42     6               mg  Lorg/apache/bcel/generic/MethodGen;
           16   42     7              cfg  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
           17   42     8                f  Lorg/apache/bcel/verifier/structurals/Frame;
           25   42     9         argtypes  [Lorg/apache/bcel/generic/Type;
           26   42    10    twoslotoffset  I
           27   41    11                j  I
           44   46     6               ce  Lorg/apache/bcel/verifier/exc/VerifierConstraintViolatedException;
           47   53     6               re  Ljava/lang/RuntimeException;
           48   53     7               sw  Ljava/io/StringWriter;
           49   53     8               pw  Ljava/io/PrintWriter;
      Exception table:
        from    to  target  type
           2     3       4  Class java.lang.ClassNotFoundException
          12    42      43  Class org.apache.bcel.verifier.exc.VerifierConstraintViolatedException
          12    42      46  Class java.lang.RuntimeException

  public int getMethodNo();
    descriptor: ()I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
         0: .line 444
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.Pass3bVerifier.methodNo:I
            ireturn
        end local 0 // org.apache.bcel.verifier.structurals.Pass3bVerifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
}
SourceFile: "Pass3bVerifier.java"
NestMembers:
  org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue
InnerClasses:
  private final InstructionContextQueue = org.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue of org.apache.bcel.verifier.structurals.Pass3bVerifier
/

org.apache.bcel/ bcel/ 6.5.0/ org/apache/bcel/verifier/structurals/Pass3bVerifier.class
