org.apache.bcel/bcel/6.5.0 : org/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl.class

ControlFlowGraph$InstructionContextImpl
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)
class org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl implements org.apache.bcel.verifier.structurals.InstructionContext
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
  super_class: java.lang.Object
{
  private int TAG;
    descriptor: I
    flags: (0x0002) ACC_PRIVATE

  private final org.apache.bcel.generic.InstructionHandle instruction;
    descriptor: Lorg/apache/bcel/generic/InstructionHandle;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

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

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

  private java.util.List<org.apache.bcel.verifier.structurals.InstructionContext> executionPredecessors;
    descriptor: Ljava/util/List;
    flags: (0x0002) ACC_PRIVATE
    Signature: Ljava/util/List<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;

  final org.apache.bcel.verifier.structurals.ControlFlowGraph this$0;
    descriptor: Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
    flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC

  public void <init>(org.apache.bcel.verifier.structurals.ControlFlowGraph, org.apache.bcel.generic.InstructionHandle);
    descriptor: (Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;Lorg/apache/bcel/generic/InstructionHandle;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 2 // org.apache.bcel.generic.InstructionHandle inst
         0: .line 85
            aload 0 /* this */
            aload 1
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 79
            aload 0 /* this */
            aconst_null
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
         2: .line 86
            aload 2 /* inst */
            ifnonnull 4
         3: .line 87
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            ldc "Cannot instantiate InstructionContextImpl from NULL."
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
         4: .line 90
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.verifier.structurals.ControlFlowGraph org.apache.bcel.generic.InstructionHandle
      StackMap stack:
            aload 0 /* this */
            aload 2 /* inst */
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.instruction:Lorg/apache/bcel/generic/InstructionHandle;
         5: .line 91
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
         6: .line 92
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.outFrames:Ljava/util/Map;
         7: .line 93
            return
        end local 2 // org.apache.bcel.generic.InstructionHandle inst
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    8     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0    8     2  inst  Lorg/apache/bcel/generic/InstructionHandle;
    MethodParameters:
        Name  Flags
      this$0  final
      inst    final

  public int getTag();
    descriptor: ()I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 98
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.TAG:I
            ireturn
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;

  public void setTag(int);
    descriptor: (I)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 1 // int tag
         0: .line 104
            aload 0 /* this */
            iload 1 /* tag */
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.TAG:I
         1: .line 105
            return
        end local 1 // int tag
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0    2     1   tag  I
    MethodParameters:
      Name  Flags
      tag   final

  public org.apache.bcel.verifier.structurals.ExceptionHandler[] getExceptionHandlers();
    descriptor: ()[Lorg/apache/bcel/verifier/structurals/ExceptionHandler;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 112
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.exceptionhandlers:Lorg/apache/bcel/verifier/structurals/ExceptionHandlers;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ExceptionHandlers.getExceptionHandlers:(Lorg/apache/bcel/generic/InstructionHandle;)[Lorg/apache/bcel/verifier/structurals/ExceptionHandler;
            areturn
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;

  public org.apache.bcel.verifier.structurals.Frame getOutFrame(java.util.ArrayList<org.apache.bcel.verifier.structurals.InstructionContext>);
    descriptor: (Ljava/util/ArrayList;)Lorg/apache/bcel/verifier/structurals/Frame;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=4, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 1 // java.util.ArrayList execChain
         0: .line 120
            aload 0 /* this */
            aload 1 /* execChain */
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
         1: .line 124
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            astore 3 /* jsr */
        start local 3 // org.apache.bcel.verifier.structurals.InstructionContext jsr
         2: .line 126
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.outFrames:Ljava/util/Map;
            aload 3 /* jsr */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Frame
            astore 2 /* org */
        start local 2 // org.apache.bcel.verifier.structurals.Frame org
         3: .line 128
            aload 2 /* org */
            ifnonnull 7
         4: .line 129
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
         5: .line 130
            new java.lang.StringBuilder
            dup
            ldc "outFrame not set! This:\n"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "\nExecutionChain: "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getExecutionChain:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc "\nOutFrames: '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.outFrames:Ljava/util/Map;
            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;
         6: .line 129
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
         7: .line 132
      StackMap locals: org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstructionContext
      StackMap stack:
            aload 2 /* org */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getClone:()Lorg/apache/bcel/verifier/structurals/Frame;
            areturn
        end local 3 // org.apache.bcel.verifier.structurals.InstructionContext jsr
        end local 2 // org.apache.bcel.verifier.structurals.Frame org
        end local 1 // java.util.ArrayList execChain
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    8     0       this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0    8     1  execChain  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
            3    8     2        org  Lorg/apache/bcel/verifier/structurals/Frame;
            2    8     3        jsr  Lorg/apache/bcel/verifier/structurals/InstructionContext;
    Signature: (Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;)Lorg/apache/bcel/verifier/structurals/Frame;
    MethodParameters:
           Name  Flags
      execChain  final

  public org.apache.bcel.verifier.structurals.Frame getInFrame();
    descriptor: ()Lorg/apache/bcel/verifier/structurals/Frame;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=3, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 139
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            astore 2 /* jsr */
        start local 2 // org.apache.bcel.verifier.structurals.InstructionContext jsr
         1: .line 141
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
            aload 2 /* jsr */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Frame
            astore 1 /* org */
        start local 1 // org.apache.bcel.verifier.structurals.Frame org
         2: .line 143
            aload 1 /* org */
            ifnonnull 4
         3: .line 144
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "inFrame not set! This:\n"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "\nInFrames: '"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
            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
         4: .line 146
      StackMap locals: org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.InstructionContext
      StackMap stack:
            aload 1 /* org */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getClone:()Lorg/apache/bcel/verifier/structurals/Frame;
            areturn
        end local 2 // org.apache.bcel.verifier.structurals.InstructionContext jsr
        end local 1 // org.apache.bcel.verifier.structurals.Frame org
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            2    5     1   org  Lorg/apache/bcel/verifier/structurals/Frame;
            1    5     2   jsr  Lorg/apache/bcel/verifier/structurals/InstructionContext;

  public boolean execute(org.apache.bcel.verifier.structurals.Frame, java.util.ArrayList<org.apache.bcel.verifier.structurals.InstructionContext>, org.apache.bcel.verifier.structurals.InstConstraintVisitor, org.apache.bcel.verifier.structurals.ExecutionVisitor);
    descriptor: (Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=9, args_size=5
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 1 // org.apache.bcel.verifier.structurals.Frame inFrame
        start local 2 // java.util.ArrayList execPreds
        start local 3 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
        start local 4 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
         0: .line 168
            aload 2 /* execPreds */
            invokevirtual java.util.ArrayList.clone:()Ljava/lang/Object;
            checkcast java.util.List
            astore 5 /* clone */
        start local 5 // java.util.List clone
         1: .line 169
            aload 0 /* this */
            aload 5 /* clone */
            putfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
         2: .line 172
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            ifnonnull 4
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.subroutineOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/Subroutine;
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.getTopLevel:()Lorg/apache/bcel/verifier/structurals/Subroutine;
            if_acmpeq 4
         3: .line 173
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Huh?! Am I '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "' part of a subroutine or not?"
            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
         4: .line 175
      StackMap locals: java.util.List
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            ifnull 6
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.subroutineOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/Subroutine;
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.getTopLevel:()Lorg/apache/bcel/verifier/structurals/Subroutine;
            if_acmpne 6
         5: .line 176
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Huh?! Am I '"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "' part of a subroutine or not?"
            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
         6: .line 179
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Frame
            astore 6 /* inF */
        start local 6 // org.apache.bcel.verifier.structurals.Frame inF
         7: .line 180
            aload 6 /* inF */
            ifnonnull 11
         8: .line 181
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            aload 1 /* inFrame */
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         9: .line 182
            aload 1 /* inFrame */
            astore 6 /* inF */
        10: .line 183
            goto 15
        11: .line 185
      StackMap locals: org.apache.bcel.verifier.structurals.Frame
      StackMap stack:
            aload 6 /* inF */
            aload 1 /* inFrame */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.equals:(Ljava/lang/Object;)Z
            ifeq 13
        12: .line 186
            iconst_0
            ireturn
        13: .line 188
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* inFrame */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.mergeInFrames:(Lorg/apache/bcel/verifier/structurals/Frame;)Z
            ifne 15
        14: .line 189
            iconst_0
            ireturn
        15: .line 196
      StackMap locals:
      StackMap stack:
            aload 6 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getClone:()Lorg/apache/bcel/verifier/structurals/Frame;
            astore 7 /* workingFrame */
        start local 7 // org.apache.bcel.verifier.structurals.Frame workingFrame
        16: .line 202
            aload 3 /* icv */
            aload 7 /* workingFrame */
            invokevirtual org.apache.bcel.verifier.structurals.InstConstraintVisitor.setFrame:(Lorg/apache/bcel/verifier/structurals/Frame;)V
        17: .line 203
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            aload 3 /* icv */
            invokevirtual org.apache.bcel.generic.InstructionHandle.accept:(Lorg/apache/bcel/generic/Visitor;)V
        18: .line 204
            goto 24
        19: .line 205
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.verifier.structurals.Frame java.util.ArrayList org.apache.bcel.verifier.structurals.InstConstraintVisitor org.apache.bcel.verifier.structurals.ExecutionVisitor java.util.List org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.Frame
      StackMap stack: org.apache.bcel.verifier.exc.StructuralCodeConstraintException
            astore 8 /* ce */
        start local 8 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException ce
        20: .line 206
            aload 8 /* ce */
            ldc ""
            new java.lang.StringBuilder
            dup
            ldc "\nInstructionHandle: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            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;
            invokevirtual org.apache.bcel.verifier.exc.StructuralCodeConstraintException.extendMessage:(Ljava/lang/String;Ljava/lang/String;)V
        21: .line 207
            aload 8 /* ce */
            ldc ""
            new java.lang.StringBuilder
            dup
            ldc "\nExecution Frame:\n"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 7 /* workingFrame */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokevirtual org.apache.bcel.verifier.exc.StructuralCodeConstraintException.extendMessage:(Ljava/lang/String;Ljava/lang/String;)V
        22: .line 208
            aload 0 /* this */
            aload 8 /* ce */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.extendMessageWithFlow:(Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;)V
        23: .line 209
            aload 8 /* ce */
            athrow
        end local 8 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException ce
        24: .line 215
      StackMap locals:
      StackMap stack:
            aload 4 /* ev */
            aload 7 /* workingFrame */
            invokevirtual org.apache.bcel.verifier.structurals.ExecutionVisitor.setFrame:(Lorg/apache/bcel/verifier/structurals/Frame;)V
        25: .line 216
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            aload 4 /* ev */
            invokevirtual org.apache.bcel.generic.InstructionHandle.accept:(Lorg/apache/bcel/generic/Visitor;)V
        26: .line 218
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.outFrames:Ljava/util/Map;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            aload 7 /* workingFrame */
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
        27: .line 220
            iconst_1
            ireturn
        end local 7 // org.apache.bcel.verifier.structurals.Frame workingFrame
        end local 6 // org.apache.bcel.verifier.structurals.Frame inF
        end local 5 // java.util.List clone
        end local 4 // org.apache.bcel.verifier.structurals.ExecutionVisitor ev
        end local 3 // org.apache.bcel.verifier.structurals.InstConstraintVisitor icv
        end local 2 // java.util.ArrayList execPreds
        end local 1 // org.apache.bcel.verifier.structurals.Frame inFrame
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0   28     0          this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0   28     1       inFrame  Lorg/apache/bcel/verifier/structurals/Frame;
            0   28     2     execPreds  Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
            0   28     3           icv  Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;
            0   28     4            ev  Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;
            1   28     5         clone  Ljava/util/List<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;
            7   28     6           inF  Lorg/apache/bcel/verifier/structurals/Frame;
           16   28     7  workingFrame  Lorg/apache/bcel/verifier/structurals/Frame;
           20   24     8            ce  Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;
      Exception table:
        from    to  target  type
          16    18      19  Class org.apache.bcel.verifier.exc.StructuralCodeConstraintException
    Signature: (Lorg/apache/bcel/verifier/structurals/Frame;Ljava/util/ArrayList<Lorg/apache/bcel/verifier/structurals/InstructionContext;>;Lorg/apache/bcel/verifier/structurals/InstConstraintVisitor;Lorg/apache/bcel/verifier/structurals/ExecutionVisitor;)Z
    MethodParameters:
           Name  Flags
      inFrame    final
      execPreds  final
      icv        final
      ev         final

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=2, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 232
            new java.lang.StringBuilder
            dup
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            iconst_0
            invokevirtual org.apache.bcel.generic.InstructionHandle.toString:(Z)Ljava/lang/String;
            invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            ldc "\t[InstructionContext]"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            astore 1 /* ret */
        start local 1 // java.lang.String ret
         1: .line 233
            aload 1 /* ret */
            areturn
        end local 1 // java.lang.String ret
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            1    2     1   ret  Ljava/lang/String;

  private boolean mergeInFrames(org.apache.bcel.verifier.structurals.Frame);
    descriptor: (Lorg/apache/bcel/verifier/structurals/Frame;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=6, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 1 // org.apache.bcel.verifier.structurals.Frame inFrame
         0: .line 242
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.inFrames:Ljava/util/Map;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.lastExecutionJSR:()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Frame
            astore 2 /* inF */
        start local 2 // org.apache.bcel.verifier.structurals.Frame inF
         1: .line 243
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.getClone:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            astore 3 /* oldstack */
        start local 3 // org.apache.bcel.verifier.structurals.OperandStack oldstack
         2: .line 244
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.getClone:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            astore 4 /* oldlocals */
        start local 4 // org.apache.bcel.verifier.structurals.LocalVariables oldlocals
         3: .line 246
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            aload 1 /* inFrame */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.merge:(Lorg/apache/bcel/verifier/structurals/OperandStack;)V
         4: .line 247
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            aload 1 /* inFrame */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.merge:(Lorg/apache/bcel/verifier/structurals/LocalVariables;)V
         5: .line 248
            goto 9
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.Frame org.apache.bcel.verifier.structurals.OperandStack org.apache.bcel.verifier.structurals.LocalVariables
      StackMap stack: org.apache.bcel.verifier.exc.StructuralCodeConstraintException
         6: astore 5 /* sce */
        start local 5 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException sce
         7: .line 249
            aload 0 /* this */
            aload 5 /* sce */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.extendMessageWithFlow:(Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;)V
         8: .line 250
            aload 5 /* sce */
            athrow
        end local 5 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException sce
         9: .line 252
      StackMap locals:
      StackMap stack:
            aload 3 /* oldstack */
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getStack:()Lorg/apache/bcel/verifier/structurals/OperandStack;
            invokevirtual org.apache.bcel.verifier.structurals.OperandStack.equals:(Ljava/lang/Object;)Z
            ifeq 10
            aload 4 /* oldlocals */
            aload 2 /* inF */
            invokevirtual org.apache.bcel.verifier.structurals.Frame.getLocals:()Lorg/apache/bcel/verifier/structurals/LocalVariables;
            invokevirtual org.apache.bcel.verifier.structurals.LocalVariables.equals:(Ljava/lang/Object;)Z
            ifeq 10
            iconst_0
            goto 11
      StackMap locals:
      StackMap stack:
        10: iconst_1
      StackMap locals:
      StackMap stack: int
        11: ireturn
        end local 4 // org.apache.bcel.verifier.structurals.LocalVariables oldlocals
        end local 3 // org.apache.bcel.verifier.structurals.OperandStack oldstack
        end local 2 // org.apache.bcel.verifier.structurals.Frame inF
        end local 1 // org.apache.bcel.verifier.structurals.Frame inFrame
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0   12     0       this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0   12     1    inFrame  Lorg/apache/bcel/verifier/structurals/Frame;
            1   12     2        inF  Lorg/apache/bcel/verifier/structurals/Frame;
            2   12     3   oldstack  Lorg/apache/bcel/verifier/structurals/OperandStack;
            3   12     4  oldlocals  Lorg/apache/bcel/verifier/structurals/LocalVariables;
            7    9     5        sce  Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;
      Exception table:
        from    to  target  type
           3     5       6  Class org.apache.bcel.verifier.exc.StructuralCodeConstraintException
    MethodParameters:
         Name  Flags
      inFrame  final

  private java.lang.String getExecutionChain();
    descriptor: ()Ljava/lang/String;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=3, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 261
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.toString:()Ljava/lang/String;
            astore 1 /* s */
        start local 1 // java.lang.String s
         1: .line 262
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
            invokeinterface java.util.List.size:()I
            iconst_1
            isub
            istore 2 /* i */
        start local 2 // int i
         2: goto 5
         3: .line 263
      StackMap locals: java.lang.String int
      StackMap stack:
            new java.lang.StringBuilder
            dup
            invokespecial java.lang.StringBuilder.<init>:()V
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
            iload 2 /* i */
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 1 /* s */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            astore 1 /* s */
         4: .line 262
            iinc 2 /* i */ -1
      StackMap locals:
      StackMap stack:
         5: iload 2 /* i */
            ifge 3
        end local 2 // int i
         6: .line 265
            aload 1 /* s */
            areturn
        end local 1 // java.lang.String s
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    7     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            1    7     1     s  Ljava/lang/String;
            2    6     2     i  I

  private void extendMessageWithFlow(org.apache.bcel.verifier.exc.StructuralCodeConstraintException);
    descriptor: (Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
        start local 1 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException e
         0: .line 276
            aload 1 /* e */
            ldc ""
            new java.lang.StringBuilder
            dup
            ldc "Execution flow:\n"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getExecutionChain:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokevirtual org.apache.bcel.verifier.exc.StructuralCodeConstraintException.extendMessage:(Ljava/lang/String;Ljava/lang/String;)V
         1: .line 277
            return
        end local 1 // org.apache.bcel.verifier.exc.StructuralCodeConstraintException e
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            0    2     1     e  Lorg/apache/bcel/verifier/exc/StructuralCodeConstraintException;
    MethodParameters:
      Name  Flags
      e     final

  public org.apache.bcel.generic.InstructionHandle getInstruction();
    descriptor: ()Lorg/apache/bcel/generic/InstructionHandle;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 284
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.instruction:Lorg/apache/bcel/generic/InstructionHandle;
            areturn
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;

  private org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl lastExecutionJSR();
    descriptor: ()Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=6, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 296
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
            invokeinterface java.util.List.size:()I
            istore 1 /* size */
        start local 1 // int size
         1: .line 297
            iconst_0
            istore 2 /* retcount */
        start local 2 // int retcount
         2: .line 299
            iload 1 /* size */
            iconst_1
            isub
            istore 3 /* i */
        start local 3 // int i
         3: goto 13
         4: .line 300
      StackMap locals: int int int
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.executionPredecessors:Ljava/util/List;
            iload 3 /* i */
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
            astore 4 /* current */
        start local 4 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl current
         5: .line 301
            aload 4 /* current */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            astore 5 /* currentlast */
        start local 5 // org.apache.bcel.generic.Instruction currentlast
         6: .line 302
            aload 5 /* currentlast */
            instanceof org.apache.bcel.generic.RET
            ifeq 8
         7: .line 303
            iinc 2 /* retcount */ 1
         8: .line 305
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.generic.Instruction
      StackMap stack:
            aload 5 /* currentlast */
            instanceof org.apache.bcel.generic.JsrInstruction
            ifeq 12
         9: .line 306
            iinc 2 /* retcount */ -1
        10: .line 307
            iload 2 /* retcount */
            iconst_m1
            if_icmpne 12
        11: .line 308
            aload 4 /* current */
            areturn
        end local 5 // org.apache.bcel.generic.Instruction currentlast
        end local 4 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl current
        12: .line 299
      StackMap locals:
      StackMap stack:
            iinc 3 /* i */ -1
      StackMap locals:
      StackMap stack:
        13: iload 3 /* i */
            ifge 4
        end local 3 // int i
        14: .line 312
            aconst_null
            areturn
        end local 2 // int retcount
        end local 1 // int size
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   15     0         this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            1   15     1         size  I
            2   15     2     retcount  I
            3   14     3            i  I
            5   12     4      current  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            6   12     5  currentlast  Lorg/apache/bcel/generic/Instruction;

  public org.apache.bcel.verifier.structurals.InstructionContext[] getSuccessors();
    descriptor: ()[Lorg/apache/bcel/verifier/structurals/InstructionContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 318
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl._getSuccessors:()[Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextsOf:([Lorg/apache/bcel/generic/InstructionHandle;)[Lorg/apache/bcel/verifier/structurals/InstructionContext;
            areturn
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;

  private org.apache.bcel.generic.InstructionHandle[] _getSuccessors();
    descriptor: ()[Lorg/apache/bcel/generic/InstructionHandle;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=8, args_size=1
        start local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
         0: .line 329
            iconst_0
            anewarray org.apache.bcel.generic.InstructionHandle
            astore 1 /* empty */
        start local 1 // org.apache.bcel.generic.InstructionHandle[] empty
         1: .line 330
            iconst_1
            anewarray org.apache.bcel.generic.InstructionHandle
            astore 2 /* single */
        start local 2 // org.apache.bcel.generic.InstructionHandle[] single
         2: .line 332
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getInstruction:()Lorg/apache/bcel/generic/Instruction;
            astore 3 /* inst */
        start local 3 // org.apache.bcel.generic.Instruction inst
         3: .line 334
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.RET
            ifeq 15
         4: .line 335
            aload 0 /* this */
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.this$0:Lorg/apache/bcel/verifier/structurals/ControlFlowGraph;
            getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.verifier.structurals.Subroutines.subroutineOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/Subroutine;
            astore 4 /* s */
        start local 4 // org.apache.bcel.verifier.structurals.Subroutine s
         5: .line 336
            aload 4 /* s */
            ifnonnull 7
         6: .line 338
            new org.apache.bcel.verifier.exc.AssertionViolatedException
            dup
            ldc "Asking for successors of a RET in dead code?!"
            invokespecial org.apache.bcel.verifier.exc.AssertionViolatedException.<init>:(Ljava/lang/String;)V
            athrow
         7: .line 345
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.generic.InstructionHandle[] org.apache.bcel.generic.InstructionHandle[] org.apache.bcel.generic.Instruction org.apache.bcel.verifier.structurals.Subroutine
      StackMap stack:
            aload 4 /* s */
            invokeinterface org.apache.bcel.verifier.structurals.Subroutine.getEnteringJsrInstructions:()[Lorg/apache/bcel/generic/InstructionHandle;
            astore 5 /* jsrs */
        start local 5 // org.apache.bcel.generic.InstructionHandle[] jsrs
         8: .line 346
            aload 5 /* jsrs */
            arraylength
            anewarray org.apache.bcel.generic.InstructionHandle
            astore 6 /* ret */
        start local 6 // org.apache.bcel.generic.InstructionHandle[] ret
         9: .line 347
            iconst_0
            istore 7 /* i */
        start local 7 // int i
        10: goto 13
        11: .line 348
      StackMap locals: org.apache.bcel.generic.InstructionHandle[] org.apache.bcel.generic.InstructionHandle[] int
      StackMap stack:
            aload 6 /* ret */
            iload 7 /* i */
            aload 5 /* jsrs */
            iload 7 /* i */
            aaload
            invokevirtual org.apache.bcel.generic.InstructionHandle.getNext:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        12: .line 347
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        13: iload 7 /* i */
            aload 5 /* jsrs */
            arraylength
            if_icmplt 11
        end local 7 // int i
        14: .line 350
            aload 6 /* ret */
            areturn
        end local 6 // org.apache.bcel.generic.InstructionHandle[] ret
        end local 5 // org.apache.bcel.generic.InstructionHandle[] jsrs
        end local 4 // org.apache.bcel.verifier.structurals.Subroutine s
        15: .line 354
      StackMap locals: org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl org.apache.bcel.generic.InstructionHandle[] org.apache.bcel.generic.InstructionHandle[] org.apache.bcel.generic.Instruction
      StackMap stack:
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.ReturnInstruction
            ifeq 17
        16: .line 355
            aload 1 /* empty */
            areturn
        17: .line 360
      StackMap locals:
      StackMap stack:
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.ATHROW
            ifeq 19
        18: .line 361
            aload 1 /* empty */
            areturn
        19: .line 365
      StackMap locals:
      StackMap stack:
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.JsrInstruction
            ifeq 22
        20: .line 366
            aload 2 /* single */
            iconst_0
            aload 3 /* inst */
            checkcast org.apache.bcel.generic.JsrInstruction
            invokevirtual org.apache.bcel.generic.JsrInstruction.getTarget:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        21: .line 367
            aload 2 /* single */
            areturn
        22: .line 370
      StackMap locals:
      StackMap stack:
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.GotoInstruction
            ifeq 25
        23: .line 371
            aload 2 /* single */
            iconst_0
            aload 3 /* inst */
            checkcast org.apache.bcel.generic.GotoInstruction
            invokevirtual org.apache.bcel.generic.GotoInstruction.getTarget:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        24: .line 372
            aload 2 /* single */
            areturn
        25: .line 375
      StackMap locals:
      StackMap stack:
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.BranchInstruction
            ifeq 36
        26: .line 376
            aload 3 /* inst */
            instanceof org.apache.bcel.generic.Select
            ifeq 32
        27: .line 379
            aload 3 /* inst */
            checkcast org.apache.bcel.generic.Select
            invokevirtual org.apache.bcel.generic.Select.getTargets:()[Lorg/apache/bcel/generic/InstructionHandle;
            astore 4 /* matchTargets */
        start local 4 // org.apache.bcel.generic.InstructionHandle[] matchTargets
        28: .line 380
            aload 4 /* matchTargets */
            arraylength
            iconst_1
            iadd
            anewarray org.apache.bcel.generic.InstructionHandle
            astore 5 /* ret */
        start local 5 // org.apache.bcel.generic.InstructionHandle[] ret
        29: .line 381
            aload 5 /* ret */
            iconst_0
            aload 3 /* inst */
            checkcast org.apache.bcel.generic.Select
            invokevirtual org.apache.bcel.generic.Select.getTarget:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        30: .line 382
            aload 4 /* matchTargets */
            iconst_0
            aload 5 /* ret */
            iconst_1
            aload 4 /* matchTargets */
            arraylength
            invokestatic java.lang.System.arraycopy:(Ljava/lang/Object;ILjava/lang/Object;II)V
        31: .line 383
            aload 5 /* ret */
            areturn
        end local 5 // org.apache.bcel.generic.InstructionHandle[] ret
        end local 4 // org.apache.bcel.generic.InstructionHandle[] matchTargets
        32: .line 385
      StackMap locals:
      StackMap stack:
            iconst_2
            anewarray org.apache.bcel.generic.InstructionHandle
            astore 4 /* pair */
        start local 4 // org.apache.bcel.generic.InstructionHandle[] pair
        33: .line 386
            aload 4 /* pair */
            iconst_0
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getNext:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        34: .line 387
            aload 4 /* pair */
            iconst_1
            aload 3 /* inst */
            checkcast org.apache.bcel.generic.BranchInstruction
            invokevirtual org.apache.bcel.generic.BranchInstruction.getTarget:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        35: .line 388
            aload 4 /* pair */
            areturn
        end local 4 // org.apache.bcel.generic.InstructionHandle[] pair
        36: .line 392
      StackMap locals:
      StackMap stack:
            aload 2 /* single */
            iconst_0
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl.getInstruction:()Lorg/apache/bcel/generic/InstructionHandle;
            invokevirtual org.apache.bcel.generic.InstructionHandle.getNext:()Lorg/apache/bcel/generic/InstructionHandle;
            aastore
        37: .line 393
            aload 2 /* single */
            areturn
        end local 3 // org.apache.bcel.generic.Instruction inst
        end local 2 // org.apache.bcel.generic.InstructionHandle[] single
        end local 1 // org.apache.bcel.generic.InstructionHandle[] empty
        end local 0 // org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0   38     0          this  Lorg/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl;
            1   38     1         empty  [Lorg/apache/bcel/generic/InstructionHandle;
            2   38     2        single  [Lorg/apache/bcel/generic/InstructionHandle;
            3   38     3          inst  Lorg/apache/bcel/generic/Instruction;
            5   15     4             s  Lorg/apache/bcel/verifier/structurals/Subroutine;
            8   15     5          jsrs  [Lorg/apache/bcel/generic/InstructionHandle;
            9   15     6           ret  [Lorg/apache/bcel/generic/InstructionHandle;
           10   14     7             i  I
           28   32     4  matchTargets  [Lorg/apache/bcel/generic/InstructionHandle;
           29   32     5           ret  [Lorg/apache/bcel/generic/InstructionHandle;
           33   36     4          pair  [Lorg/apache/bcel/generic/InstructionHandle;
}
SourceFile: "ControlFlowGraph.java"
NestHost: org.apache.bcel.verifier.structurals.ControlFlowGraph
InnerClasses:
  private InstructionContextImpl = org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl of org.apache.bcel.verifier.structurals.ControlFlowGraph
/

org.apache.bcel/ bcel/ 6.5.0/ org/apache/bcel/verifier/structurals/ControlFlowGraph$InstructionContextImpl.class
