return new VerificationResult(VerificationResult.VERIFIED_REJECTED, e.getMessage()); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, e.getMessage()); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Parsing via BCEL did not succeed. "+e.getClass().getName()+" occured:\n"+Utility.getStackTrace(e)); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Repository.lookup() failed. FILE NOT FOUND?");
return new VerificationResult(VerificationResult.VERIFIED_REJECTED, e.getMessage()); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, e.getMessage()); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Parsing via BCEL did not succeed. "+ e.getClass().getName()+" occured:\n"+Utility.getStackTrace(e)); return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Repository.lookup() failed. FILE NOT FOUND?");
return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Bad bytecode in the code array of the Code attribute of method '"+method+"'."); vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, cce.getMessage()); return vr; vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, scce.getMessage()); vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Class Cast Exception: " + cce.getMessage());
return new VerificationResult(VerificationResult.VERIFIED_REJECTED, "Bad bytecode in the code array of the Code attribute of method '"+method+"'."); vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, cce.getMessage()); return vr; vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, scce.getMessage());
vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, cce.getMessage());
vr = new VerificationResult(VerificationResult.VERIFIED_REJECTED, cce.getMessage());
return new VerificationResult(VerificationResult.VERIFIED_REJECTED, ce.getMessage());
return new VerificationResult(VerificationResult.VERIFIED_REJECTED, ce.getMessage());