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 // org.apache.bcel.verifier.TransitiveHull this
         0: .line 37
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 33
            aload 0 /* this */
            iconst_0
            putfield org.apache.bcel.verifier.TransitiveHull.indent:I
         2: .line 38
            return
        end local 0 // org.apache.bcel.verifier.TransitiveHull this
      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 // org.apache.bcel.verifier.TransitiveHull this
        start local 1 // java.lang.String classname
         0: .line 44
            invokestatic java.lang.System.gc:()V
         1: .line 45
            iconst_0
            istore 2 /* i */
        start local 2 // int i
         2: goto 5
         3: .line 46
      StackMap locals: int
      StackMap stack:
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            ldc " "
            invokevirtual java.io.PrintStream.print:(Ljava/lang/String;)V
         4: .line 45
            iinc 2 /* i */ 1
      StackMap locals:
      StackMap stack:
         5: iload 2 /* i */
            aload 0 /* this */
            getfield org.apache.bcel.verifier.TransitiveHull.indent:I
            if_icmplt 3
        end local 2 // int i
         6: .line 48
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            aload 1 /* classname */
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
         7: .line 49
            aload 0 /* this */
            dup
            getfield org.apache.bcel.verifier.TransitiveHull.indent:I
            iconst_1
            iadd
            putfield org.apache.bcel.verifier.TransitiveHull.indent:I
         8: .line 50
            aload 1 /* classname */
            invokestatic org.apache.bcel.verifier.VerifierFactory.getVerifier:(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;
            astore 2 /* v */
        start local 2 // org.apache.bcel.verifier.Verifier v
         9: .line 52
            aload 2 /* v */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass1:()Lorg/apache/bcel/verifier/VerificationResult;
            astore 3 /* vr */
        start local 3 // org.apache.bcel.verifier.VerificationResult vr
        10: .line 53
            aload 3 /* vr */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpeq 12
        11: .line 54
            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 /* vr */
            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: .line 56
      StackMap locals: org.apache.bcel.verifier.TransitiveHull java.lang.String org.apache.bcel.verifier.Verifier org.apache.bcel.verifier.VerificationResult
      StackMap stack:
            aload 2 /* v */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass2:()Lorg/apache/bcel/verifier/VerificationResult;
            astore 3 /* vr */
        13: .line 57
            aload 3 /* vr */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpeq 15
        14: .line 58
            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 /* vr */
            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: .line 60
      StackMap locals:
      StackMap stack:
            aload 3 /* vr */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpne 34
        16: .line 62
            aload 2 /* v */
            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 /* jc */
        start local 4 // org.apache.bcel.classfile.JavaClass jc
        17: .line 63
            iconst_0
            istore 5 /* i */
        start local 5 // int i
        18: goto 30
        19: .line 64
      StackMap locals: org.apache.bcel.classfile.JavaClass int
      StackMap stack:
            aload 2 /* v */
            iload 5 /* i */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass3a:(I)Lorg/apache/bcel/verifier/VerificationResult;
            astore 3 /* vr */
        20: .line 65
            aload 3 /* vr */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpeq 24
        21: .line 66
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            new java.lang.StringBuilder
            dup
            aload 2 /* v */
            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 /* i */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ['"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        22: .line 67
            aload 4 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 5 /* i */
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "']:\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 3 /* vr */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        23: .line 66
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        24: .line 69
      StackMap locals:
      StackMap stack:
            aload 2 /* v */
            iload 5 /* i */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass3b:(I)Lorg/apache/bcel/verifier/VerificationResult;
            astore 3 /* vr */
        25: .line 70
            aload 3 /* vr */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpeq 29
        26: .line 71
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            new java.lang.StringBuilder
            dup
            aload 2 /* v */
            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 /* i */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ['"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        27: .line 72
            aload 4 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 5 /* i */
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            ldc "']:\n"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 3 /* vr */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        28: .line 71
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        29: .line 63
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        30: iload 5 /* i */
            aload 4 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            arraylength
            if_icmplt 19
        end local 5 // int i
        end local 4 // org.apache.bcel.classfile.JavaClass jc
        31: .line 75
            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: .line 76
            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 /* v */
            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: .line 79
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            dup
            getfield org.apache.bcel.verifier.TransitiveHull.indent:I
            iconst_1
            isub
            putfield org.apache.bcel.verifier.TransitiveHull.indent:I
        35: .line 80
            return
        end local 3 // org.apache.bcel.verifier.VerificationResult vr
        end local 2 // org.apache.bcel.verifier.Verifier v
        end local 1 // java.lang.String classname
        end local 0 // org.apache.bcel.verifier.TransitiveHull this
      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 // java.lang.String[] args
         0: .line 90
            aload 0 /* args */
            arraylength
            iconst_1
            if_icmpeq 3
         1: .line 91
            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: .line 92
            iconst_1
            invokestatic java.lang.System.exit:(I)V
         3: .line 94
      StackMap locals:
      StackMap stack:
            aload 0 /* args */
            iconst_0
            aaload
            ldc ".class"
            invokevirtual java.lang.String.lastIndexOf:(Ljava/lang/String;)I
            istore 1 /* dotclasspos */
        start local 1 // int dotclasspos
         4: .line 95
            iload 1 /* dotclasspos */
            iconst_m1
            if_icmpeq 6
         5: .line 96
            aload 0 /* args */
            iconst_0
            aload 0 /* args */
            iconst_0
            aaload
            iconst_0
            iload 1 /* dotclasspos */
            invokevirtual java.lang.String.substring:(II)Ljava/lang/String;
            aastore
         6: .line 98
      StackMap locals: int
      StackMap stack:
            aload 0 /* args */
            iconst_0
            aload 0 /* args */
            iconst_0
            aaload
            bipush 47
            bipush 46
            invokevirtual java.lang.String.replace:(CC)Ljava/lang/String;
            aastore
         7: .line 99
            new org.apache.bcel.verifier.TransitiveHull
            dup
            invokespecial org.apache.bcel.verifier.TransitiveHull.<init>:()V
            astore 2 /* th */
        start local 2 // org.apache.bcel.verifier.TransitiveHull th
         8: .line 100
            aload 2 /* th */
            invokestatic org.apache.bcel.verifier.VerifierFactory.attach:(Lorg/apache/bcel/verifier/VerifierFactoryObserver;)V
         9: .line 101
            aload 0 /* args */
            iconst_0
            aaload
            invokestatic org.apache.bcel.verifier.VerifierFactory.getVerifier:(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;
            pop
        10: .line 102
            aload 2 /* th */
            invokestatic org.apache.bcel.verifier.VerifierFactory.detach:(Lorg/apache/bcel/verifier/VerifierFactoryObserver;)V
        11: .line 103
            return
        end local 2 // org.apache.bcel.verifier.TransitiveHull th
        end local 1 // int dotclasspos
        end local 0 // java.lang.String[] args
      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"