tests/regression/resolving/test_param_subtype_violated.java

   1 public class test_param_subtype_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         TestLoader ld3 = new TestLoader(ClassLoader.getSystemClassLoader(), "ld3", ct);
   9
  10         ld1.addClassfile("BarUseFoo", "classes1/BarUseFoo.class");
  11         ld1.addClassfile("Foo", "classes1/Foo.class");
  12         ld1.addParentDelegation("java.lang.Object");
  13         ld1.addParentDelegation("java.lang.String");
  14
  15         ld2.addClassfile("BarPassFoo", "classes2/BarPassFoo.class");
  16         ld2.addDelegation("BarUseFoo", ld1);
  17         ld2.addDelegation("Foo", ld1);
  18         ld2.addDelegation("DerivedFoo", ld3);
  19         ld2.addParentDelegation("java.lang.Object");
  20         ld2.addParentDelegation("java.lang.String");
  21
  22         ld3.addClassfile("Foo", "classes3/Foo.class");
  23         ld3.addClassfile("DerivedFoo", "classes3/DerivedFoo.class");
  24         ld3.addParentDelegation("java.lang.Object");
  25         ld3.addParentDelegation("java.lang.String");
  26
  27
  28         // loading & linking BarPassFoo
  29         ct.expect("requested", ld2, "BarPassFoo");
  30         ct.expectLoadFromSystem(ld2, "java.lang.Object");
  31         ct.expect("defined", ld2, "<BarPassFoo>");
  32         ct.expect("loaded", ld2, "<BarPassFoo>");
  33
  34         Class cls = ct.loadClass(ld2, "BarPassFoo");
  35
  36         // executing BarPassFoo.passDerivedFoo: new DerivedFoo
  37         ct.expectDelegation(ld2, ld3, "DerivedFoo");
  38         // ...linking (ld3, DerivedFoo)
  39         ct.expect("requested", ld3, "Foo");
  40         ct.expectLoadFromSystem(ld3, "java.lang.Object");
  41         ct.expect("defined", ld3, "<Foo>");
  42         ct.expectDelegationDefinition(ld2, ld3, "DerivedFoo");
  43
  44         // executing BarPassFoo.passDerivedFoo: new BarUseFoo
  45         ct.expectDelegation(ld2, ld1, "BarUseFoo");
  46         // ...linking BarUseFoo
  47         ct.expectLoadFromSystem(ld1, "java.lang.Object");
  48         ct.expectDelegationDefinition(ld2, ld1, "BarUseFoo");
  49
  50         // resolving BarUseFoo.useFoo
  51         // the deferred subtype check ((ld2, DerivedFoo) subtypeof (ld2, Foo)) is done
  52         ct.expectDelegationAndDefinition(ld2, ld1, "Foo");
  53
  54         // the subtype constraint ((ld2, DerivedFoo) subtypeof (ld2, Foo)) is violated
  55         ct.expect("exception", "java.lang.LinkageError", "<BarPassFoo>");
  56
  57         ct.checkStringGetterMustFail(cls, "passDerivedFoo");
  58
  59         ct.exit();
  60     }
  61
  62 }
  63
  64 // vim: et sw=4