cec4f66ec8f1de7c8ae0d114c1d4c3eb7ab60456
[cacao.git] / tests / regression / resolving / test_return_subtype_ok.java
1 public class test_return_subtype_ok {
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("Foo", "classes1/Foo.class");
10         ld1.addClassfile("DerivedFoo", "classes2/DerivedFoo.class");
11         ld1.addParentDelegation("java.lang.Object");
12         ld1.addParentDelegation("java.lang.String");
13
14         ld2.addClassfile("BarPassFoo", "classes2/BarPassFoo.class");
15         ld2.addDelegation("Foo", ld1);
16         ld2.addDelegation("DerivedFoo", ld1);
17         ld2.addParentDelegation("java.lang.Object");
18         ld2.addParentDelegation("java.lang.String");
19
20         // loading BarPassFoo
21         ct.expect("requested", ld2, "BarPassFoo");
22         ct.expect("defined", ld2, "<BarPassFoo>");
23         ct.expect("loaded", ld2, "<BarPassFoo>");
24
25         Class cls = ct.loadClass(ld2, "BarPassFoo");
26
27         // linking BarPassFoo
28         ct.expectLoadFromSystem(ld2, "java.lang.Object");
29
30         // executing createDerivedFoo
31         ct.expectDelegationAndDefinition(ld2, ld1, "DerivedFoo");
32         // ...linking (ld2, DerivedFoo)
33         ct.expect("requested", ld1, "Foo");
34         ct.expect("defined", ld1, "<Foo>");
35         ct.expectLoadFromSystem(ld1, "java.lang.Object");
36
37         ct.checkStringGetter(cls, "getDerivedFoo", "no exception");
38         ct.expectEnd();
39
40         // subtype check (DerivedFoo subtypeof Foo)
41         ct.expectDelegationAndFound(ld2, ld1, "Foo");
42
43         ct.checkStringGetter(cls, "getDerivedFooAsFoo", "no exception");
44
45         ct.exit();
46     }
47
48 }
49
50 // vim: et sw=4