@Test
 public void testJoin1() {
   Stamp aNonNull = StampFactory.declaredNonNull(getType(A.class));
   Stamp b = StampFactory.declared(getType(B.class));
   Stamp bNonNull = StampFactory.declaredNonNull(getType(B.class));
   Assert.assertEquals(bNonNull, join(aNonNull, b));
 }
 @Test
 public void testJoinInterface3() {
   Stamp bExact = StampFactory.exactNonNull(getType(B.class));
   Stamp i = StampFactory.declared(getType(I.class)); // not trusted
   Stamp join = join(i, bExact);
   Assert.assertEquals(bExact, join);
 }
 @Test
 public void testJoinInterface2() {
   Stamp bExact = StampFactory.exactNonNull(getType(B.class));
   Stamp i = StampFactory.declaredTrusted(getType(I.class));
   Stamp join = join(i, bExact);
   Assert.assertEquals(StampFactory.illegal(Kind.Object), join);
 }
 @Test
 public void testJoin4() {
   Stamp dExactNonNull = StampFactory.exactNonNull(getType(D.class));
   Stamp c = StampFactory.declared(getType(C.class));
   Assert.assertEquals(StampFactory.illegal(Kind.Object), join(c, dExactNonNull));
 }
 @Test
 public void testJoin2() {
   Stamp aExact = StampFactory.exactNonNull(getType(A.class));
   Stamp b = StampFactory.declared(getType(B.class));
   Assert.assertEquals(StampFactory.illegal(Kind.Object), join(aExact, b));
 }
 @Test
 public void testJoin0() {
   Stamp a = StampFactory.declared(getType(A.class));
   Stamp b = StampFactory.declared(getType(B.class));
   Assert.assertEquals(b, join(a, b));
 }
Example #7
0
 protected void assertReturn(
     String methodName, CodeGenTest test, Object expected, Object... args) {
   Object actual = runTest(methodName, test, args);
   Assert.assertEquals("unexpected return value", expected, actual);
 }