JavaClass jc = clGen.getJavaClass();
Repository.addClass( jc );
Verifier v = VerifierFactory.getVerifier( jc.getClassName() );
checkVerificationResult(v.doPass1(), "1");
checkVerificationResult(v.doPass2(), "2");
MethodWeaver methodWeavers[] = new MethodWeaver[methods.size()];
methods.values().toArray( methodWeavers );
for( int i = 0; i < methods.size(); i++ ) {
int method_index = methodWeavers[i].getTargetIndex();
checkVerificationResult(v.doPass3a(method_index), "3a");