public class org.apache.bcel.verifier.structurals.ControlFlowGraph
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.apache.bcel.verifier.structurals.ControlFlowGraph
  super_class: java.lang.Object
{
  private final org.apache.bcel.verifier.structurals.Subroutines subroutines;
    descriptor: Lorg/apache/bcel/verifier/structurals/Subroutines;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

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

  private final java.util.Map<org.apache.bcel.generic.InstructionHandle, org.apache.bcel.verifier.structurals.InstructionContext> instructionContexts;
    descriptor: Ljava/util/Map;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Ljava/util/Map<Lorg/apache/bcel/generic/InstructionHandle;Lorg/apache/bcel/verifier/structurals/InstructionContext;>;

  public void <init>(org.apache.bcel.generic.MethodGen);
    descriptor: (Lorg/apache/bcel/generic/MethodGen;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
        start local 1 // org.apache.bcel.generic.MethodGen method_gen
         0: .line 415
            aload 0 /* this */
            aload 1 /* method_gen */
            iconst_1
            invokespecial org.apache.bcel.verifier.structurals.ControlFlowGraph.<init>:(Lorg/apache/bcel/generic/MethodGen;Z)V
         1: .line 416
            return
        end local 1 // org.apache.bcel.generic.MethodGen method_gen
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    2     0        this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0    2     1  method_gen  Lorg/apache/bcel/generic/MethodGen;
    MethodParameters:
            Name  Flags
      method_gen  final

  public void <init>(org.apache.bcel.generic.MethodGen, boolean);
    descriptor: (Lorg/apache/bcel/generic/MethodGen;Z)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=6, locals=8, args_size=3
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
        start local 1 // org.apache.bcel.generic.MethodGen method_gen
        start local 2 // boolean enableJustIceCheck
         0: .line 424
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 408
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
         2: .line 425
            aload 0 /* this */
            new org.apache.bcel.verifier.structurals.Subroutines
            dup
            aload 1 /* method_gen */
            iload 2 /* enableJustIceCheck */
            invokespecial org.apache.bcel.verifier.structurals.Subroutines.<init>:(Lorg/apache/bcel/generic/MethodGen;Z)V
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
         3: .line 426
            aload 0 /* this */
            new org.apache.bcel.verifier.structurals.ExceptionHandlers
            dup
            aload 1 /* method_gen */
            invokespecial org.apache.bcel.verifier.structurals.ExceptionHandlers.<init>:(Lorg/apache/bcel/generic/MethodGen;)V
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph.exceptionhandlers:Lorg/apache/bcel/verifier/structurals/ExceptionHandlers;
         4: .line 428
            aload 1 /* method_gen */
            invokevirtual org.apache.bcel.generic.MethodGen.getInstructionList:()Lorg/apache/bcel/generic/InstructionList;
            invokevirtual org.apache.bcel.generic.InstructionList.getInstructionHandles:()[Lorg/apache/bcel/generic/InstructionHandle;
            astore 3 /* instructionhandles */
        start local 3 // org.apache.bcel.generic.InstructionHandle[] instructionhandles
         5: .line 429
            aload 3 /* instructionhandles */
            dup
            astore 7
            arraylength
            istore 6
            iconst_0
            istore 5
            goto 9
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.generic.MethodGen int org.apache.bcel.generic.InstructionHandle[] top int int org.apache.bcel.generic.InstructionHandle[]
      StackMap stack:
         6: aload 7
            iload 5
            aaload
            astore 4 /* instructionhandle */
        start local 4 // org.apache.bcel.generic.InstructionHandle instructionhandle
         7: .line 430
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
            aload 4 /* instructionhandle */
            new org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
            dup
            aload 0 /* this */
            aload 4 /* instructionhandle */
            invokespecial org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.<init>:(Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;Lorg/apache/bcel/generic/InstructionHandle;)V
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
        end local 4 // org.apache.bcel.generic.InstructionHandle instructionhandle
         8: .line 429
            iinc 5 1
      StackMap locals:
      StackMap stack:
         9: iload 5
            iload 6
            if_icmplt 6
        10: .line 434
            return
        end local 3 // org.apache.bcel.generic.InstructionHandle[] instructionhandles
        end local 2 // boolean enableJustIceCheck
        end local 1 // org.apache.bcel.generic.MethodGen method_gen
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot                Name  Signature
            0   11     0                this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0   11     1          method_gen  Lorg/apache/bcel/generic/MethodGen;
            0   11     2  enableJustIceCheck  Z
            5   11     3  instructionhandles  [Lorg/apache/bcel/generic/InstructionHandle;
            7    8     4   instructionhandle  Lorg/apache/bcel/generic/InstructionHandle;
    MethodParameters:
                    Name  Flags
      method_gen          final
      enableJustIceCheck  final

  public org.apache.bcel.verifier.structurals.InstructionContext contextOf(org.apache.bcel.generic.InstructionHandle);
    descriptor: (Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=3, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
        start local 1 // org.apache.bcel.generic.InstructionHandle inst
         0: .line 440
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
            aload 1 /* inst */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.InstructionContext
            astore 2 /* ic */
        start local 2 // org.apache.bcel.verifier.structurals.InstructionContext ic
         1: .line 441
            aload 2 /* ic */
            ifnonnull 3
         2: .line 442
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            ldc "InstructionContext requested for an InstructionHandle that's not known!"
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
         3: .line 444
      StackMap locals: org.apache.bcel.verifier.structurals.InstructionContext
      StackMap stack:
            aload 2 /* ic */
            areturn
        end local 2 // org.apache.bcel.verifier.structurals.InstructionContext ic
        end local 1 // org.apache.bcel.generic.InstructionHandle inst
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0    4     1  inst  Lorg/apache/bcel/generic/InstructionHandle;
            1    4     2    ic  Lorg/apache/bcel/verifier/structurals/InstructionContext;
    MethodParameters:
      Name  Flags
      inst  final

  public org.apache.bcel.verifier.structurals.InstructionContext[] contextsOf(org.apache.bcel.generic.InstructionHandle[]);
    descriptor: ([Lorg/apache/bcel/generic/InstructionHandle;)[Lorg/apache/bcel/verifier/structurals/InstructionContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=4, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
        start local 1 // org.apache.bcel.generic.InstructionHandle[] insts
         0: .line 452
            aload 1 /* insts */
            arraylength
            anewarray org.apache.bcel.verifier.structurals.InstructionContext
            astore 2 /* ret */
        start local 2 // org.apache.bcel.verifier.structurals.InstructionContext[] ret
         1: .line 453
            iconst_0
            istore 3 /* i */
        start local 3 // int i
         2: goto 5
         3: .line 454
      StackMap locals: org.apache.bcel.verifier.structurals.InstructionContext[] int
      StackMap stack:
            aload 2 /* ret */
            iload 3 /* i */
            aload 0 /* this */
            aload 1 /* insts */
            iload 3 /* i */
            aaload
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
            aastore
         4: .line 453
            iinc 3 /* i */ 1
      StackMap locals:
      StackMap stack:
         5: iload 3 /* i */
            aload 1 /* insts */
            arraylength
            if_icmplt 3
        end local 3 // int i
         6: .line 456
            aload 2 /* ret */
            areturn
        end local 2 // org.apache.bcel.verifier.structurals.InstructionContext[] ret
        end local 1 // org.apache.bcel.generic.InstructionHandle[] insts
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    7     0   this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0    7     1  insts  [Lorg/apache/bcel/generic/InstructionHandle;
            1    7     2    ret  [Lorg/apache/bcel/verifier/structurals/InstructionContext;
            2    6     3      i  I
    MethodParameters:
       Name  Flags
      insts  final

  public org.apache.bcel.verifier.structurals.InstructionContext[] getInstructionContexts();
    descriptor: ()[Lorg/apache/bcel/verifier/structurals/InstructionContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
         0: .line 465
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
            invokeinterface java.util.Map.size:()I
            anewarray org.apache.bcel.verifier.structurals.InstructionContext
            astore 1 /* ret */
        start local 1 // org.apache.bcel.verifier.structurals.InstructionContext[] ret
         1: .line 466
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
            invokeinterface java.util.Map.values:()Ljava/util/Collection;
            aload 1 /* ret */
            invokeinterface java.util.Collection.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.InstructionContext[]
            areturn
        end local 1 // org.apache.bcel.verifier.structurals.InstructionContext[] ret
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            1    2     1   ret  [Lorg/apache/bcel/verifier/structurals/InstructionContext;

  public boolean isDead(org.apache.bcel.generic.InstructionHandle);
    descriptor: (Lorg/apache/bcel/generic/InstructionHandle;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
        start local 1 // org.apache.bcel.generic.InstructionHandle i
         0: .line 474
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            aload 1 /* i */
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.subroutineOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/Subroutine;
            ifnonnull 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
        end local 1 // org.apache.bcel.generic.InstructionHandle i
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            0    2     1     i  Lorg/apache/bcel/generic/InstructionHandle;
    MethodParameters:
      Name  Flags
      i     final
}
SourceFile: "ControlFlowGraph.java"
NestMembers:
  org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
InnerClasses:
  private InstructionContextImpl = org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl of org.apache.bcel.verifier.structurals.ControlFlowGraph