/ +K 'L MN MOP QR QS TU VW XYZ K[ \ ] ^ V_` Va bc de Vfg hij Vklm Mnopq Mrs tu tv twx 'K Ty Tz{|indentI()VCodeLineNumberTableLocalVariableTablethis)Lorg/apache/bcel/verifier/TransitiveHull;update(Ljava/lang/String;)Vijc%Lorg/apache/bcel/classfile/JavaClass;e"Ljava/lang/ClassNotFoundException; classnameLjava/lang/String;v#Lorg/apache/bcel/verifier/Verifier;vr-Lorg/apache/bcel/verifier/VerificationResult;main([Ljava/lang/String;)Vargs[Ljava/lang/String; dotclassposth SourceFileTransitiveHull.java /0 -.} ~0   7 7   Bjava/lang/StringBufferPass 1: Pass 2:   , Pass 3a, method  ['']: , Pass 3b, method  java/lang/ClassNotFoundException Could not find class  in Repository4Need exactly one argument: The root class to verify. .class 'org/apache/bcel/verifier/TransitiveHull java/lang/Object0org/apache/bcel/verifier/VerifierFactoryObserverjava/lang/SystemgcoutLjava/io/PrintStream;java/io/PrintStreamprintprintln(org/apache/bcel/verifier/VerifierFactory getVerifier7(Ljava/lang/String;)Lorg/apache/bcel/verifier/Verifier;!org/apache/bcel/verifier/VerifierdoPass1/()Lorg/apache/bcel/verifier/VerificationResult;+org/apache/bcel/verifier/VerificationResultVR_OKappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;,(Ljava/lang/Object;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;doPass2 getClassNameorg/apache/bcel/Repository lookupClass9(Ljava/lang/String;)Lorg/apache/bcel/classfile/JavaClass;#org/apache/bcel/classfile/JavaClass getMethods%()[Lorg/apache/bcel/classfile/Method;doPass3a0(I)Lorg/apache/bcel/verifier/VerificationResult;(I)Ljava/lang/StringBuffer;doPass3berrexit(I)Vjava/lang/String lastIndexOf(Ljava/lang/String;)I substring(II)Ljava/lang/String;replace(CC)Ljava/lang/String;attach5(Lorg/apache/bcel/verifier/VerifierFactoryObserver;)Vdetach!'+,-./01< **2&" '3  45671D`=*+*Y`+M, N-  Y  -,N-  Y -- ,:6,N- = Y ,2-,N- = Y ,2-b&: Y , *Yd/22r,- .-0"1,21465=6V8[9b:{<>?@ABEFG)?/M2K4LUO_P3R8.8.9:4!;<`45`=>1/?@6*AB CD1P*!"*2#$<**2%S**2/.&S'Y(M,)*2W,*22 Z[\^_ `+b8c@dDeKfOg3 PEF5G.@H5IJ