public class org.apache.bcel.verifier.TransitiveHull implements org.apache.bcel.verifier.VerifierFactoryObserver
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.apache.bcel.verifier.TransitiveHull
super_class: java.lang.Object
{
private int indent;
descriptor: I
flags: (0x0002) ACC_PRIVATE
private void <init>();
descriptor: ()V
flags: (0x0002) ACC_PRIVATE
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
iconst_0
putfield org.apache.bcel.verifier.TransitiveHull.indent:I
2: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/apache/bcel/verifier/TransitiveHull;
public void update(java.lang.String);
descriptor: (Ljava/lang/String;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=6, args_size=2
start local 0 start local 1 0: invokestatic java.lang.System.gc:()V
1: iconst_0
istore 2
start local 2 2: goto 5
3: StackMap locals: int
StackMap stack:
getstatic java.lang.System.out:Ljava/io/PrintStream;
ldc " "
invokevirtual java.io.PrintStream.print:(Ljava/lang/String;)V
4: iinc 2 1
StackMap locals:
StackMap stack:
5: iload 2
aload 0
getfield org.apache.bcel.verifier.TransitiveHull.indent:I
if_icmplt 3
end local 2 6: getstatic java.lang.System.out:Ljava/io/PrintStream;
aload 1
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
7: aload 0
dup
getfield org.apache.bcel.verifier.TransitiveHull.indent:I
iconst_1
iadd
putfield org.apache.bcel.verifier.TransitiveHull.indent:I
8: aload 1
invokestatic org.apache.bcel.verifier.VerifierFactory.getVerifier:(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;
astore 2
start local 2 9: aload 2
invokevirtual org.apache.bcel.verifier.Verifier.doPass1:()Lorg/apache/bcel/verifier/VerificationResult;
astore 3
start local 3 10: aload 3
getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
if_acmpeq 12
11: getstatic java.lang.System.out:Ljava/io/PrintStream;
new java.lang.StringBuilder
dup
ldc "Pass 1:\n"
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 3
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
12: StackMap locals: org.apache.bcel.verifier.TransitiveHull java.lang.String org.apache.bcel.verifier.Verifier org.apache.bcel.verifier.VerificationResult
StackMap stack:
aload 2
invokevirtual org.apache.bcel.verifier.Verifier.doPass2:()Lorg/apache/bcel/verifier/VerificationResult;
astore 3
13: aload 3
getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
if_acmpeq 15
14: getstatic java.lang.System.out:Ljava/io/PrintStream;
new java.lang.StringBuilder
dup
ldc "Pass 2:\n"
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 3
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
15: StackMap locals:
StackMap stack:
aload 3
getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
if_acmpne 34
16: aload 2
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 4
start local 4 17: iconst_0
istore 5
start local 5 18: goto 30
19: StackMap locals: org.apache.bcel.classfile.JavaClass int
StackMap stack:
aload 2
iload 5
invokevirtual org.apache.bcel.verifier.Verifier.doPass3a:(I)Lorg/apache/bcel/verifier/VerificationResult;
astore 3
20: aload 3
getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
if_acmpeq 24
21: getstatic java.lang.System.out:Ljava/io/PrintStream;
new java.lang.StringBuilder
dup
aload 2
invokevirtual org.apache.bcel.verifier.Verifier.getClassName:()Ljava/lang/String;
invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
ldc ", Pass 3a, method "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
iload 5
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
ldc " ['"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
22: aload 4
invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
iload 5
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;
aload 3
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
23: invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
24: StackMap locals:
StackMap stack:
aload 2
iload 5
invokevirtual org.apache.bcel.verifier.Verifier.doPass3b:(I)Lorg/apache/bcel/verifier/VerificationResult;
astore 3
25: aload 3
getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
if_acmpeq 29
26: getstatic java.lang.System.out:Ljava/io/PrintStream;
new java.lang.StringBuilder
dup
aload 2
invokevirtual org.apache.bcel.verifier.Verifier.getClassName:()Ljava/lang/String;
invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
ldc ", Pass 3b, method "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
iload 5
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
ldc " ['"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
27: aload 4
invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
iload 5
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;
aload 3
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
28: invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
29: StackMap locals:
StackMap stack:
iinc 5 1
StackMap locals:
StackMap stack:
30: iload 5
aload 4
invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
arraylength
if_icmplt 19
end local 5 end local 4 31: goto 34
StackMap locals: org.apache.bcel.verifier.TransitiveHull java.lang.String org.apache.bcel.verifier.Verifier org.apache.bcel.verifier.VerificationResult
StackMap stack: java.lang.ClassNotFoundException
32: pop
33: getstatic java.lang.System.err:Ljava/io/PrintStream;
new java.lang.StringBuilder
dup
ldc "Could not find class "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 2
invokevirtual org.apache.bcel.verifier.Verifier.getClassName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
ldc " in Repository"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
34: StackMap locals:
StackMap stack:
aload 0
dup
getfield org.apache.bcel.verifier.TransitiveHull.indent:I
iconst_1
isub
putfield org.apache.bcel.verifier.TransitiveHull.indent:I
35: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 36 0 this Lorg/apache/bcel/verifier/TransitiveHull;
0 36 1 classname Ljava/lang/String;
2 6 2 i I
9 36 2 v Lorg/apache/bcel/verifier/Verifier;
10 36 3 vr Lorg/apache/bcel/verifier/VerificationResult;
17 31 4 jc Lorg/apache/bcel/classfile/JavaClass;
18 31 5 i I
Exception table:
from to target type
16 31 32 Class java.lang.ClassNotFoundException
MethodParameters:
Name Flags
classname final
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: aload 0
arraylength
iconst_1
if_icmpeq 3
1: getstatic java.lang.System.out:Ljava/io/PrintStream;
ldc "Need exactly one argument: The root class to verify."
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
2: iconst_1
invokestatic java.lang.System.exit:(I)V
3: StackMap locals:
StackMap stack:
aload 0
iconst_0
aaload
ldc ".class"
invokevirtual java.lang.String.lastIndexOf:(Ljava/lang/String;)I
istore 1
start local 1 4: iload 1
iconst_m1
if_icmpeq 6
5: aload 0
iconst_0
aload 0
iconst_0
aaload
iconst_0
iload 1
invokevirtual java.lang.String.substring:(II)Ljava/lang/String;
aastore
6: StackMap locals: int
StackMap stack:
aload 0
iconst_0
aload 0
iconst_0
aaload
bipush 47
bipush 46
invokevirtual java.lang.String.replace:(CC)Ljava/lang/String;
aastore
7: new org.apache.bcel.verifier.TransitiveHull
dup
invokespecial org.apache.bcel.verifier.TransitiveHull.<init>:()V
astore 2
start local 2 8: aload 2
invokestatic org.apache.bcel.verifier.VerifierFactory.attach:(Lorg/apache/bcel/verifier/VerifierFactoryObserver;)V
9: aload 0
iconst_0
aaload
invokestatic org.apache.bcel.verifier.VerifierFactory.getVerifier:(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;
pop
10: aload 2
invokestatic org.apache.bcel.verifier.VerifierFactory.detach:(Lorg/apache/bcel/verifier/VerifierFactoryObserver;)V
11: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 12 0 args [Ljava/lang/String;
4 12 1 dotclasspos I
8 12 2 th Lorg/apache/bcel/verifier/TransitiveHull;
MethodParameters:
Name Flags
args final
}
SourceFile: "TransitiveHull.java"