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 start local 1 0: aload 0
aload 1
iconst_1
invokespecial org.apache.bcel.verifier.structurals.ControlFlowGraph.<init>:(Lorg/apache/bcel/generic/MethodGen;Z)V
1: return
end local 1 end local 0 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 start local 1 start local 2 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
putfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
2: aload 0
new org.apache.bcel.verifier.structurals.Subroutines
dup
aload 1
iload 2
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: aload 0
new org.apache.bcel.verifier.structurals.ExceptionHandlers
dup
aload 1
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: aload 1
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
start local 3 5: aload 3
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
start local 4 7: aload 0
getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
aload 4
new org.apache.bcel.verifier.structurals.ControlFlowGraph$InstructionContextImpl
dup
aload 0
aload 4
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 8: iinc 5 1
StackMap locals:
StackMap stack:
9: iload 5
iload 6
if_icmplt 6
10: return
end local 3 end local 2 end local 1 end local 0 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 start local 1 0: aload 0
getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
aload 1
invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.apache.bcel.verifier.structurals.InstructionContext
astore 2
start local 2 1: aload 2
ifnonnull 3
2: 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: StackMap locals: org.apache.bcel.verifier.structurals.InstructionContext
StackMap stack:
aload 2
areturn
end local 2 end local 1 end local 0 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 start local 1 0: aload 1
arraylength
anewarray org.apache.bcel.verifier.structurals.InstructionContext
astore 2
start local 2 1: iconst_0
istore 3
start local 3 2: goto 5
3: StackMap locals: org.apache.bcel.verifier.structurals.InstructionContext[] int
StackMap stack:
aload 2
iload 3
aload 0
aload 1
iload 3
aaload
invokevirtual org.apache.bcel.verifier.structurals.ControlFlowGraph.contextOf:(Lorg/apache/bcel/generic/InstructionHandle;)Lorg/apache/bcel/verifier/structurals/InstructionContext;
aastore
4: iinc 3 1
StackMap locals:
StackMap stack:
5: iload 3
aload 1
arraylength
if_icmplt 3
end local 3 6: aload 2
areturn
end local 2 end local 1 end local 0 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 0: aload 0
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
start local 1 1: aload 0
getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.instructionContexts:Ljava/util/Map;
invokeinterface java.util.Map.values:()Ljava/util/Collection;
aload 1
invokeinterface java.util.Collection.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
checkcast org.apache.bcel.verifier.structurals.InstructionContext[]
areturn
end local 1 end local 0 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 start local 1 0: aload 0
getfield org.apache.bcel.verifier.structurals.ControlFlowGraph.subroutines:Lorg/apache/bcel/verifier/structurals/Subroutines;
aload 1
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 end local 0 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