https://commons.apache.org/proper/commons-bcel: Apache Commons Bytecode Engineering Library (The Apache Software Foundation)
  • 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) 
public class org.apache.bcel.verifier.Verifier
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.apache.bcel.verifier.Verifier
  super_class: java.lang.Object
{
  private final java.lang.String classname;
    descriptor: Ljava/lang/String;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  private org.apache.bcel.verifier.statics.Pass1Verifier p1v;
    descriptor: Lorg/apache/bcel/verifier/statics/Pass1Verifier;
    flags: (0x0002) ACC_PRIVATE

  private org.apache.bcel.verifier.statics.Pass2Verifier p2v;
    descriptor: Lorg/apache/bcel/verifier/statics/Pass2Verifier;
    flags: (0x0002) ACC_PRIVATE

  private final java.util.Map<java.lang.String, org.apache.bcel.verifier.statics.Pass3aVerifier> p3avs;
    descriptor: Ljava/util/Map;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Ljava/util/Map<Ljava/lang/String;Lorg/apache/bcel/verifier/statics/Pass3aVerifier;>;

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

  public org.apache.bcel.verifier.VerificationResult doPass1();
    descriptor: ()Lorg/apache/bcel/verifier/VerificationResult;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.Verifier this
         0: .line 63
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
            ifnonnull 2
         1: .line 64
            aload 0 /* this */
            new org.apache.bcel.verifier.statics.Pass1Verifier
            dup
            aload 0 /* this */
            invokespecial org.apache.bcel.verifier.statics.Pass1Verifier.<init>:(Lorg/apache/bcel/verifier/Verifier;)V
            putfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
         2: .line 66
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
            invokevirtual org.apache.bcel.verifier.statics.Pass1Verifier.verify:()Lorg/apache/bcel/verifier/VerificationResult;
            areturn
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lorg/apache/bcel/verifier/Verifier;

  public org.apache.bcel.verifier.VerificationResult doPass2();
    descriptor: ()Lorg/apache/bcel/verifier/VerificationResult;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.Verifier this
         0: .line 72
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
            ifnonnull 2
         1: .line 73
            aload 0 /* this */
            new org.apache.bcel.verifier.statics.Pass2Verifier
            dup
            aload 0 /* this */
            invokespecial org.apache.bcel.verifier.statics.Pass2Verifier.<init>:(Lorg/apache/bcel/verifier/Verifier;)V
            putfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
         2: .line 75
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
            invokevirtual org.apache.bcel.verifier.statics.Pass2Verifier.verify:()Lorg/apache/bcel/verifier/VerificationResult;
            areturn
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0  this  Lorg/apache/bcel/verifier/Verifier;

  public org.apache.bcel.verifier.VerificationResult doPass3a(int);
    descriptor: (I)Lorg/apache/bcel/verifier/VerificationResult;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // org.apache.bcel.verifier.Verifier this
        start local 1 // int method_no
         0: .line 81
            iload 1 /* method_no */
            invokestatic java.lang.Integer.toString:(I)Ljava/lang/String;
            astore 2 /* key */
        start local 2 // java.lang.String key
         1: .line 83
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
            aload 2 /* key */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.statics.Pass3aVerifier
            astore 3 /* p3av */
        start local 3 // org.apache.bcel.verifier.statics.Pass3aVerifier p3av
         2: .line 84
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
            aload 2 /* key */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            ifnonnull 5
         3: .line 85
            new org.apache.bcel.verifier.statics.Pass3aVerifier
            dup
            aload 0 /* this */
            iload 1 /* method_no */
            invokespecial org.apache.bcel.verifier.statics.Pass3aVerifier.<init>:(Lorg/apache/bcel/verifier/Verifier;I)V
            astore 3 /* p3av */
         4: .line 86
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
            aload 2 /* key */
            aload 3 /* p3av */
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         5: .line 88
      StackMap locals: java.lang.String org.apache.bcel.verifier.statics.Pass3aVerifier
      StackMap stack:
            aload 3 /* p3av */
            invokevirtual org.apache.bcel.verifier.statics.Pass3aVerifier.verify:()Lorg/apache/bcel/verifier/VerificationResult;
            areturn
        end local 3 // org.apache.bcel.verifier.statics.Pass3aVerifier p3av
        end local 2 // java.lang.String key
        end local 1 // int method_no
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    6     0       this  Lorg/apache/bcel/verifier/Verifier;
            0    6     1  method_no  I
            1    6     2        key  Ljava/lang/String;
            2    6     3       p3av  Lorg/apache/bcel/verifier/statics/Pass3aVerifier;
    MethodParameters:
           Name  Flags
      method_no  final

  public org.apache.bcel.verifier.VerificationResult doPass3b(int);
    descriptor: (I)Lorg/apache/bcel/verifier/VerificationResult;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // org.apache.bcel.verifier.Verifier this
        start local 1 // int method_no
         0: .line 94
            iload 1 /* method_no */
            invokestatic java.lang.Integer.toString:(I)Ljava/lang/String;
            astore 2 /* key */
        start local 2 // java.lang.String key
         1: .line 96
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
            aload 2 /* key */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Pass3bVerifier
            astore 3 /* p3bv */
        start local 3 // org.apache.bcel.verifier.structurals.Pass3bVerifier p3bv
         2: .line 97
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
            aload 2 /* key */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            ifnonnull 5
         3: .line 98
            new org.apache.bcel.verifier.structurals.Pass3bVerifier
            dup
            aload 0 /* this */
            iload 1 /* method_no */
            invokespecial org.apache.bcel.verifier.structurals.Pass3bVerifier.<init>:(Lorg/apache/bcel/verifier/Verifier;I)V
            astore 3 /* p3bv */
         4: .line 99
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
            aload 2 /* key */
            aload 3 /* p3bv */
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         5: .line 101
      StackMap locals: java.lang.String org.apache.bcel.verifier.structurals.Pass3bVerifier
      StackMap stack:
            aload 3 /* p3bv */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.verify:()Lorg/apache/bcel/verifier/VerificationResult;
            areturn
        end local 3 // org.apache.bcel.verifier.structurals.Pass3bVerifier p3bv
        end local 2 // java.lang.String key
        end local 1 // int method_no
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    6     0       this  Lorg/apache/bcel/verifier/Verifier;
            0    6     1  method_no  I
            1    6     2        key  Ljava/lang/String;
            2    6     3       p3bv  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
    MethodParameters:
           Name  Flags
      method_no  final

  void <init>(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: (0x0000) 
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // org.apache.bcel.verifier.Verifier this
        start local 1 // java.lang.String fully_qualified_classname
         0: .line 110
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 56
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
         2: .line 58
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
         3: .line 111
            aload 0 /* this */
            aload 1 /* fully_qualified_classname */
            putfield org.apache.bcel.verifier.Verifier.classname:Ljava/lang/String;
         4: .line 112
            aload 0 /* this */
            invokevirtual org.apache.bcel.verifier.Verifier.flush:()V
         5: .line 113
            return
        end local 1 // java.lang.String fully_qualified_classname
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot                       Name  Signature
            0    6     0                       this  Lorg/apache/bcel/verifier/Verifier;
            0    6     1  fully_qualified_classname  Ljava/lang/String;
    MethodParameters:
                           Name  Flags
      fully_qualified_classname  final

  public final java.lang.String getClassName();
    descriptor: ()Ljava/lang/String;
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.Verifier this
         0: .line 124
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.classname:Ljava/lang/String;
            areturn
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/apache/bcel/verifier/Verifier;

  public void flush();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.apache.bcel.verifier.Verifier this
         0: .line 135
            aload 0 /* this */
            aconst_null
            putfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
         1: .line 136
            aload 0 /* this */
            aconst_null
            putfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
         2: .line 137
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
            invokeinterface java.util.Map.clear:()V
         3: .line 138
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
            invokeinterface java.util.Map.clear:()V
         4: .line 139
            return
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/apache/bcel/verifier/Verifier;

  public java.lang.String[] getMessages();
    descriptor: ()[Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=10, args_size=1
        start local 0 // org.apache.bcel.verifier.Verifier this
         0: .line 147
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 1 /* messages */
        start local 1 // java.util.List messages
         1: .line 148
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
            ifnull 8
         2: .line 149
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p1v:Lorg/apache/bcel/verifier/statics/Pass1Verifier;
            invokevirtual org.apache.bcel.verifier.statics.Pass1Verifier.getMessages:()[Ljava/lang/String;
            astore 2 /* p1m */
        start local 2 // java.lang.String[] p1m
         3: .line 150
            aload 2 /* p1m */
            dup
            astore 6
            arraylength
            istore 5
            iconst_0
            istore 4
            goto 7
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List java.lang.String[] top int int java.lang.String[]
      StackMap stack:
         4: aload 6
            iload 4
            aaload
            astore 3 /* element */
        start local 3 // java.lang.String element
         5: .line 151
            aload 1 /* messages */
            new java.lang.StringBuilder
            dup
            ldc "Pass 1: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 3 /* element */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 3 // java.lang.String element
         6: .line 150
            iinc 4 1
      StackMap locals:
      StackMap stack:
         7: iload 4
            iload 5
            if_icmplt 4
        end local 2 // java.lang.String[] p1m
         8: .line 154
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
            ifnull 15
         9: .line 155
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p2v:Lorg/apache/bcel/verifier/statics/Pass2Verifier;
            invokevirtual org.apache.bcel.verifier.statics.Pass2Verifier.getMessages:()[Ljava/lang/String;
            astore 2 /* p2m */
        start local 2 // java.lang.String[] p2m
        10: .line 156
            aload 2 /* p2m */
            dup
            astore 6
            arraylength
            istore 5
            iconst_0
            istore 4
            goto 14
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List java.lang.String[] top int int java.lang.String[]
      StackMap stack:
        11: aload 6
            iload 4
            aaload
            astore 3 /* element */
        start local 3 // java.lang.String element
        12: .line 157
            aload 1 /* messages */
            new java.lang.StringBuilder
            dup
            ldc "Pass 2: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 3 /* element */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 3 // java.lang.String element
        13: .line 156
            iinc 4 1
      StackMap locals:
      StackMap stack:
        14: iload 4
            iload 5
            if_icmplt 11
        end local 2 // java.lang.String[] p2m
        15: .line 160
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List
      StackMap stack:
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3avs:Ljava/util/Map;
            invokeinterface java.util.Map.values:()Ljava/util/Collection;
            invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
            astore 3
            goto 27
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List top java.util.Iterator
      StackMap stack:
        16: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.statics.Pass3aVerifier
            astore 2 /* pv */
        start local 2 // org.apache.bcel.verifier.statics.Pass3aVerifier pv
        17: .line 161
            aload 2 /* pv */
            invokevirtual org.apache.bcel.verifier.statics.Pass3aVerifier.getMessages:()[Ljava/lang/String;
            astore 4 /* p3am */
        start local 4 // java.lang.String[] p3am
        18: .line 162
            aload 2 /* pv */
            invokevirtual org.apache.bcel.verifier.statics.Pass3aVerifier.getMethodNo:()I
            istore 5 /* meth */
        start local 5 // int meth
        19: .line 163
            aload 4 /* p3am */
            dup
            astore 9
            arraylength
            istore 8
            iconst_0
            istore 7
            goto 26
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List org.apache.bcel.verifier.statics.Pass3aVerifier java.util.Iterator java.lang.String[] int top int int java.lang.String[]
      StackMap stack:
        20: aload 9
            iload 7
            aaload
            astore 6 /* element */
        start local 6 // java.lang.String element
        21: .line 164
            aload 1 /* messages */
            new java.lang.StringBuilder
            dup
            ldc "Pass 3a, method "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            iload 5 /* meth */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ('"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        22: .line 165
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.classname:Ljava/lang/String;
            invokestatic org.apache.bcel.Repository.lookupClass:(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 5 /* meth */
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
        23: .line 166
            ldc "'): "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 6 /* element */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        24: .line 164
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 6 // java.lang.String element
        25: .line 163
            iinc 7 1
      StackMap locals:
      StackMap stack:
        26: iload 7
            iload 8
            if_icmplt 20
        end local 5 // int meth
        end local 4 // java.lang.String[] p3am
        end local 2 // org.apache.bcel.verifier.statics.Pass3aVerifier pv
        27: .line 160
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List top java.util.Iterator
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 16
        28: .line 169
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.p3bvs:Ljava/util/Map;
            invokeinterface java.util.Map.values:()Ljava/util/Collection;
            invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
            astore 3
            goto 40
      StackMap locals:
      StackMap stack:
        29: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.apache.bcel.verifier.structurals.Pass3bVerifier
            astore 2 /* pv */
        start local 2 // org.apache.bcel.verifier.structurals.Pass3bVerifier pv
        30: .line 170
            aload 2 /* pv */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.getMessages:()[Ljava/lang/String;
            astore 4 /* p3bm */
        start local 4 // java.lang.String[] p3bm
        31: .line 171
            aload 2 /* pv */
            invokevirtual org.apache.bcel.verifier.structurals.Pass3bVerifier.getMethodNo:()I
            istore 5 /* meth */
        start local 5 // int meth
        32: .line 172
            aload 4 /* p3bm */
            dup
            astore 9
            arraylength
            istore 8
            iconst_0
            istore 7
            goto 39
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List org.apache.bcel.verifier.structurals.Pass3bVerifier java.util.Iterator java.lang.String[] int top int int java.lang.String[]
      StackMap stack:
        33: aload 9
            iload 7
            aaload
            astore 6 /* element */
        start local 6 // java.lang.String element
        34: .line 173
            aload 1 /* messages */
            new java.lang.StringBuilder
            dup
            ldc "Pass 3b, method "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            iload 5 /* meth */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ('"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        35: .line 174
            aload 0 /* this */
            getfield org.apache.bcel.verifier.Verifier.classname:Ljava/lang/String;
            invokestatic org.apache.bcel.Repository.lookupClass:(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 5 /* meth */
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
        36: .line 175
            ldc "'): "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 6 /* element */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        37: .line 173
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 6 // java.lang.String element
        38: .line 172
            iinc 7 1
      StackMap locals:
      StackMap stack:
        39: iload 7
            iload 8
            if_icmplt 33
        end local 5 // int meth
        end local 4 // java.lang.String[] p3bm
        end local 2 // org.apache.bcel.verifier.structurals.Pass3bVerifier pv
        40: .line 169
      StackMap locals: org.apache.bcel.verifier.Verifier java.util.List top java.util.Iterator
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 29
        41: .line 179
            aload 1 /* messages */
            aload 1 /* messages */
            invokeinterface java.util.List.size:()I
            anewarray java.lang.String
            invokeinterface java.util.List.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
            checkcast java.lang.String[]
            areturn
        end local 1 // java.util.List messages
        end local 0 // org.apache.bcel.verifier.Verifier this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0   42     0      this  Lorg/apache/bcel/verifier/Verifier;
            1   42     1  messages  Ljava/util/List<Ljava/lang/String;>;
            3    8     2       p1m  [Ljava/lang/String;
            5    6     3   element  Ljava/lang/String;
           10   15     2       p2m  [Ljava/lang/String;
           12   13     3   element  Ljava/lang/String;
           17   27     2        pv  Lorg/apache/bcel/verifier/statics/Pass3aVerifier;
           18   27     4      p3am  [Ljava/lang/String;
           19   27     5      meth  I
           21   25     6   element  Ljava/lang/String;
           30   40     2        pv  Lorg/apache/bcel/verifier/structurals/Pass3bVerifier;
           31   40     4      p3bm  [Ljava/lang/String;
           32   40     5      meth  I
           34   38     6   element  Ljava/lang/String;
    Exceptions:
      throws java.lang.ClassNotFoundException

  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 194
            getstatic java.lang.System.out:Ljava/io/PrintStream;
         1: .line 195
            ldc "JustIce by Enver Haase, (C) 2001-2002.\n<http://bcel.sourceforge.net>\n<https://commons.apache.org/bcel>\n"
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
         2: .line 196
            iconst_0
            istore 1 /* index */
        start local 1 // int index
         3: goto 17
         4: .line 198
      StackMap locals: int
      StackMap stack:
            aload 0 /* args */
            iload 1 /* index */
            aaload
            ldc ".class"
            invokevirtual java.lang.String.endsWith:(Ljava/lang/String;)Z
            ifeq 8
         5: .line 199
            aload 0 /* args */
            iload 1 /* index */
            aaload
            ldc ".class"
            invokevirtual java.lang.String.lastIndexOf:(Ljava/lang/String;)I
            istore 2 /* dotclasspos */
        start local 2 // int dotclasspos
         6: .line 200
            iload 2 /* dotclasspos */
            iconst_m1
            if_icmpeq 8
         7: .line 201
            aload 0 /* args */
            iload 1 /* index */
            aload 0 /* args */
            iload 1 /* index */
            aaload
            iconst_0
            iload 2 /* dotclasspos */
            invokevirtual java.lang.String.substring:(II)Ljava/lang/String;
            aastore
        end local 2 // int dotclasspos
         8: .line 204
      StackMap locals:
      StackMap stack:
            aload 0 /* args */
            iload 1 /* index */
            aload 0 /* args */
            iload 1 /* index */
            aaload
            bipush 47
            bipush 46
            invokevirtual java.lang.String.replace:(CC)Ljava/lang/String;
            aastore
         9: .line 205
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            new java.lang.StringBuilder
            dup
            ldc "Now verifying: "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* args */
            iload 1 /* index */
            aaload
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)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 java.io.PrintStream.println:(Ljava/lang/String;)V
        10: .line 206
            aload 0 /* args */
            iload 1 /* index */
            aaload
            invokestatic org.apache.bcel.verifier.Verifier.verifyType:(Ljava/lang/String;)V
        11: .line 207
            invokestatic org.apache.bcel.Repository.clearCache:()V
        12: .line 208
            invokestatic java.lang.System.gc:()V
        13: .line 209
            goto 16
      StackMap locals:
      StackMap stack: java.lang.ClassNotFoundException
        14: astore 2 /* e */
        start local 2 // java.lang.ClassNotFoundException e
        15: .line 210
            aload 2 /* e */
            invokevirtual java.lang.ClassNotFoundException.printStackTrace:()V
        end local 2 // java.lang.ClassNotFoundException e
        16: .line 196
      StackMap locals:
      StackMap stack:
            iinc 1 /* index */ 1
      StackMap locals:
      StackMap stack:
        17: iload 1 /* index */
            aload 0 /* args */
            arraylength
            if_icmplt 4
        end local 1 // int index
        18: .line 213
            return
        end local 0 // java.lang.String[] args
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   19     0         args  [Ljava/lang/String;
            3   18     1        index  I
            6    8     2  dotclasspos  I
           15   16     2            e  Ljava/lang/ClassNotFoundException;
      Exception table:
        from    to  target  type
           4    13      14  Class java.lang.ClassNotFoundException
    MethodParameters:
      Name  Flags
      args  final

  static void verifyType(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=8, args_size=1
        start local 0 // java.lang.String fullyQualifiedClassName
         0: .line 217
            aload 0 /* fullyQualifiedClassName */
            invokestatic org.apache.bcel.verifier.VerifierFactory.getVerifier:(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;
            astore 1 /* verifier */
        start local 1 // org.apache.bcel.verifier.Verifier verifier
         1: .line 219
            aload 1 /* verifier */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass1:()Lorg/apache/bcel/verifier/VerificationResult;
            astore 2 /* verificationResult */
        start local 2 // org.apache.bcel.verifier.VerificationResult verificationResult
         2: .line 220
            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 2 /* verificationResult */
            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
         3: .line 221
            aload 1 /* verifier */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass2:()Lorg/apache/bcel/verifier/VerificationResult;
            astore 2 /* verificationResult */
         4: .line 222
            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 2 /* verificationResult */
            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
         5: .line 223
            aload 2 /* verificationResult */
            getstatic org.apache.bcel.verifier.VerificationResult.VR_OK:Lorg/apache/bcel/verifier/VerificationResult;
            if_acmpne 19
         6: .line 224
            aload 0 /* fullyQualifiedClassName */
            invokestatic org.apache.bcel.Repository.lookupClass:(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;
            astore 3 /* jc */
        start local 3 // org.apache.bcel.classfile.JavaClass jc
         7: .line 225
            iconst_0
            istore 4 /* i */
        start local 4 // int i
         8: goto 18
         9: .line 226
      StackMap locals: java.lang.String org.apache.bcel.verifier.Verifier org.apache.bcel.verifier.VerificationResult org.apache.bcel.classfile.JavaClass int
      StackMap stack:
            aload 1 /* verifier */
            iload 4 /* i */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass3a:(I)Lorg/apache/bcel/verifier/VerificationResult;
            astore 2 /* verificationResult */
        10: .line 227
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            new java.lang.StringBuilder
            dup
            ldc "Pass 3a, method number "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            iload 4 /* i */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ['"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        11: .line 228
            aload 3 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 4 /* 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 2 /* verificationResult */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        12: .line 227
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        13: .line 229
            aload 1 /* verifier */
            iload 4 /* i */
            invokevirtual org.apache.bcel.verifier.Verifier.doPass3b:(I)Lorg/apache/bcel/verifier/VerificationResult;
            astore 2 /* verificationResult */
        14: .line 230
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            new java.lang.StringBuilder
            dup
            ldc "Pass 3b, method number "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            iload 4 /* i */
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            ldc " ['"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        15: .line 231
            aload 3 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            iload 4 /* 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 2 /* verificationResult */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
        16: .line 230
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        17: .line 225
            iinc 4 /* i */ 1
      StackMap locals:
      StackMap stack:
        18: iload 4 /* i */
            aload 3 /* jc */
            invokevirtual org.apache.bcel.classfile.JavaClass.getMethods:()[Lorg/apache/bcel/classfile/Method;
            arraylength
            if_icmplt 9
        end local 4 // int i
        end local 3 // org.apache.bcel.classfile.JavaClass jc
        19: .line 234
      StackMap locals:
      StackMap stack:
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            ldc "Warnings:"
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        20: .line 235
            aload 1 /* verifier */
            invokevirtual org.apache.bcel.verifier.Verifier.getMessages:()[Ljava/lang/String;
            astore 3 /* warnings */
        start local 3 // java.lang.String[] warnings
        21: .line 236
            aload 3 /* warnings */
            arraylength
            ifne 23
        22: .line 237
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            ldc "<none>"
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        23: .line 239
      StackMap locals: java.lang.String[]
      StackMap stack:
            aload 3 /* warnings */
            dup
            astore 7
            arraylength
            istore 6
            iconst_0
            istore 5
            goto 27
      StackMap locals: java.lang.String org.apache.bcel.verifier.Verifier org.apache.bcel.verifier.VerificationResult java.lang.String[] top int int java.lang.String[]
      StackMap stack:
        24: aload 7
            iload 5
            aaload
            astore 4 /* warning */
        start local 4 // java.lang.String warning
        25: .line 240
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            aload 4 /* warning */
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        end local 4 // java.lang.String warning
        26: .line 239
            iinc 5 1
      StackMap locals:
      StackMap stack:
        27: iload 5
            iload 6
            if_icmplt 24
        28: .line 242
            getstatic java.lang.System.out:Ljava/io/PrintStream;
            ldc "\n"
            invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
        29: .line 244
            aload 1 /* verifier */
            invokevirtual org.apache.bcel.verifier.Verifier.flush:()V
        30: .line 245
            return
        end local 3 // java.lang.String[] warnings
        end local 2 // org.apache.bcel.verifier.VerificationResult verificationResult
        end local 1 // org.apache.bcel.verifier.Verifier verifier
        end local 0 // java.lang.String fullyQualifiedClassName
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0   31     0  fullyQualifiedClassName  Ljava/lang/String;
            1   31     1                 verifier  Lorg/apache/bcel/verifier/Verifier;
            2   31     2       verificationResult  Lorg/apache/bcel/verifier/VerificationResult;
            7   19     3                       jc  Lorg/apache/bcel/classfile/JavaClass;
            8   19     4                        i  I
           21   31     3                 warnings  [Ljava/lang/String;
           25   26     4                  warning  Ljava/lang/String;
    Exceptions:
      throws java.lang.ClassNotFoundException
    MethodParameters:
                         Name  Flags
      fullyQualifiedClassName  final
}
SourceFile: "Verifier.java"