* tests/regression/resolving/TestController.java: Better error messages and
[cacao.git] / tests / regression / resolving / test_param_loading_constraint_violated.java
1 public class test_param_loading_constraint_violated {
2
3     public static void main(String[] args) {
4         TestController ct = new TestController();
5
6         TestLoader ld1 = new TestLoader(ClassLoader.getSystemClassLoader(), "ld1", ct);
7         TestLoader ld2 = new TestLoader(ClassLoader.getSystemClassLoader(), "ld2", ct);
8
9         ld1.addClassfile("BarUseFoo", "classes1/BarUseFoo.class");
10         ld1.addClassfile("Foo", "classes1/Foo.class");
11         ld1.addParentDelegation("java.lang.Object");
12         ld1.addParentDelegation("java.lang.String");
13
14         ld2.addClassfile("BarPassFoo", "classes2/BarPassFoo.class");
15         ld2.addClassfile("Foo", "classes2/Foo.class");
16         ld2.addDelegation("BarUseFoo", ld1);
17         ld2.addParentDelegation("java.lang.Object");
18         ld2.addParentDelegation("java.lang.String");
19
20
21         // loading & linking BarPassFoo
22         ct.expect("requested", ld2, "BarPassFoo");
23         ct.expectLoadFromSystem(ld2, "java.lang.Object");
24         ct.expect("defined", ld2, "<BarPassFoo>");
25         ct.expect("loaded", ld2, "<BarPassFoo>");
26
27         Class cls = ct.loadClass(ld2, "BarPassFoo");
28
29         // executing BarPassFoo.passit: new Foo
30         ct.expect("requested", ld2, "Foo");
31         ct.expect("defined", ld2, "<Foo>");
32
33         // executing BarPassFoo.passit: new BarUseFoo
34         ct.expectDelegation(ld2, ld1, "BarUseFoo");
35         // ...linking BarUseFoo
36         ct.expectLoadFromSystem(ld1, "java.lang.Object");
37         ct.expectDelegationDefinition(ld2, ld1, "BarUseFoo");
38
39         // resolving Foo.virtualId() from BarUseFoo
40         ct.expect("requested", ld1, "Foo");
41
42         // the loading constraing (ld1,ld2,Foo) is violated
43         ct.expect("exception", "java.lang.LinkageError", "<BarPassFoo>");
44
45         ct.checkStringGetterMustFail(cls, "passit");
46
47         ct.exit();
48     }
49
50 }
51
52 // vim: et sw=4