1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 package org.apache.bcel.verifier;
19
20 import org.junit.jupiter.api.Test;
21
22 public class VerifierInvokeTestCase extends AbstractVerifierTestCase {
23
24 @Test
25 public void testLegalInvokeInterface() throws ClassNotFoundException {
26 assertVerifyOK("TestLegalInvokeInterface01", "Verification of invokeinterface on method defined in superinterface must pass.");
27 }
28
29 @Test
30 public void testLegalInvokeSpecial() throws ClassNotFoundException {
31 assertVerifyOK("TestLegalInvokeSpecial01", "Verification of invokespecial on method defined in superclass must pass.");
32 assertVerifyOK("TestLegalInvokeSpecial02", "Verification of invokespecial on method defined in superclass must pass.");
33 }
34
35 @Test
36 public void testLegalInvokeStatic() throws ClassNotFoundException {
37 assertVerifyOK("TestLegalInvokeStatic01", "Verification of invokestatic on method defined in superclass must pass.");
38 }
39
40 @Test
41 public void testLegalInvokeVirtual() throws ClassNotFoundException {
42 assertVerifyOK("TestLegalInvokeVirtual01", "Verification of invokevirtual on method defined in superclass must pass.");
43 assertVerifyOK("TestLegalInvokeVirtual02", "Verification of invokevirtual on method defined in superinterface must pass.");
44 }
45 }