public void response_D1AsD1(D1 d1) { AllTests.test(d1 != null); AllTests.test(d1.ice_id().Equals("::Test::D1")); AllTests.test(d1.sb.Equals("D1.sb")); AllTests.test(d1.pb != null); AllTests.test(d1.pb != d1); B b2 = d1.pb; AllTests.test(b2 != null); AllTests.test(b2.ice_id().Equals("::Test::B")); AllTests.test(b2.sb.Equals("D2.sb")); AllTests.test(b2.pb == d1); callback.called(); }