blob: b773e8ba5cf8fa01f8d2ec1b17020cea0f1df90c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You under the Apache License, Version 2.0
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*
*/
package org.apache.commons.bcel6.verifier;
import org.apache.commons.bcel6.Repository;
import org.apache.commons.bcel6.classfile.JavaClass;
import junit.framework.TestCase;
public abstract class AbstractVerifierTestCase extends TestCase {
public static final String TEST_PACKAGE = AbstractVerifierTestCase.class.getPackage().getName() + ".tests.";
/**
* Asserts that the verification of the given class is OK. If it isn't it throws an AssertionFailedError with the given message.
*
* @param classname simple classname of the class to verify
* @param message message displayed if assertion fails
*/
public void assertVerifyOK(final String classname, final String message) {
final String testClassname = TEST_PACKAGE + classname;
assertTrue(message, doAllPasses(testClassname));
}
/**
* Asserts that the verification of the given class is rejected.
* If it isn't it throws an AssertionFailedError with the given message.
*
* @param classname simple classname of the class to verify
* @param message message displayed if assertion fails
*/
public void assertVerifyRejected(final String classname, final String message) {
final String testClassname = TEST_PACKAGE + classname;
assertFalse(message, doAllPasses(testClassname));
}
/**
* Executes all the verification on the given class.
*
* @param classname name of the class to verify
* @return false if the verification fails, true otherwise
*/
public boolean doAllPasses(final String classname) {
int nbMethods = 0;
try {
JavaClass jc = Repository.lookupClass(classname);
nbMethods = jc.getMethods().length;
} catch (ClassNotFoundException e) {
fail(e.getMessage());
return false;
}
Verifier verifier = VerifierFactory.getVerifier(classname);
VerificationResult result = verifier.doPass1();
if (result.getStatus() != VerificationResult.VERIFIED_OK) {
return false;
}
result = verifier.doPass2();
if (result.getStatus() != VerificationResult.VERIFIED_OK) {
return false;
}
for (int i = nbMethods; --i >= 0;) {
result = verifier.doPass3a(i);
if (result.getStatus() != VerificationResult.VERIFIED_OK) {
return false;
}
result = verifier.doPass3b(i);
if (result.getStatus() != VerificationResult.VERIFIED_OK) {
return false;
}
}
return true;
}
}
|