50 }
51
52 interface VoidToInt {
53 public int foo();
54 }
55
56 interface TU<T, U> {
57 public T foo(U u);
58 }
59
60 public static <T, U> T exec(TU<T, U> lambda, U x) {
61 return lambda.foo(x);
62 }
63
64 static {
65 //Assignment conversion:
66 VoidToInt f1 = ()-> 3;
67 assertTrue(3 == f1.foo());
68 //Covariant returns:
69 TU<Number, Integer> f2 = (Integer x) -> x;
70 assertTrue(3 == f2.foo(3));
71 //Method resolution with boxing:
72 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
73 assertTrue(3 == res);
74 //Runtime exception transparency:
75 try {
76 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
77 }
78 catch (RuntimeException e) {
79 assertTrue(true);
80 }
81 }
82
83 {
84 //Assignment conversion:
85 VoidToInt f1 = ()-> 3;
86 assertTrue(3 == f1.foo());
87 //Covariant returns:
88 TU<Number, Integer> f2 = (Integer x) -> x;
89 assertTrue(3 == f2.foo(3));
90 //Method resolution with boxing:
91 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
92 assertTrue(3 == res);
93 //Runtime exception transparency:
94 try {
95 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
96 }
97 catch (RuntimeException e) {
98 assertTrue(true);
99 }
100 }
101
102 public static void test1() {
103 //Assignment conversion:
104 VoidToInt f1 = ()-> 3;
105 assertTrue(3 == f1.foo());
106 //Covariant returns:
107 TU<Number, Integer> f2 = (Integer x) -> x;
108 assertTrue(3 == f2.foo(3));
109 //Method resolution with boxing:
110 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
111 assertTrue(3 == res);
112 //Runtime exception transparency:
113 try {
114 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
115 }
116 catch (RuntimeException e) {
117 assertTrue(true);
118 }
119 }
120
121 public void test2() {
122 //Assignment conversion:
123 VoidToInt f1 = ()-> 3;
124 assertTrue(3 == f1.foo());
125 //Covariant returns:
126 TU<Number, Integer> f2 = (Integer x) -> x;
127 assertTrue(3 == f2.foo(3));
128 //Method resolution with boxing:
129 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
130 assertTrue(3 == res);
131 //Runtime exception transparency:
132 try {
133 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
134 }
135 catch (RuntimeException e) {
136 assertTrue(true);
137 }
138 }
139
140 public static void main(String[] args) {
141 test1();
142 new LambdaConv01().test2();
143 assertTrue(assertionCount == 16);
144 }
145 }
|
50 }
51
52 interface VoidToInt {
53 public int foo();
54 }
55
56 interface TU<T, U> {
57 public T foo(U u);
58 }
59
60 public static <T, U> T exec(TU<T, U> lambda, U x) {
61 return lambda.foo(x);
62 }
63
64 static {
65 //Assignment conversion:
66 VoidToInt f1 = ()-> 3;
67 assertTrue(3 == f1.foo());
68 //Covariant returns:
69 TU<Number, Integer> f2 = (Integer x) -> x;
70 assertTrue(3 == f2.foo(3).intValue());
71 //Method resolution with boxing:
72 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
73 assertTrue(3 == res);
74 //Runtime exception transparency:
75 try {
76 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
77 }
78 catch (RuntimeException e) {
79 assertTrue(true);
80 }
81 }
82
83 {
84 //Assignment conversion:
85 VoidToInt f1 = ()-> 3;
86 assertTrue(3 == f1.foo());
87 //Covariant returns:
88 TU<Number, Integer> f2 = (Integer x) -> x;
89 assertTrue(3 == f2.foo(3).intValue());
90 //Method resolution with boxing:
91 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
92 assertTrue(3 == res);
93 //Runtime exception transparency:
94 try {
95 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
96 }
97 catch (RuntimeException e) {
98 assertTrue(true);
99 }
100 }
101
102 public static void test1() {
103 //Assignment conversion:
104 VoidToInt f1 = ()-> 3;
105 assertTrue(3 == f1.foo());
106 //Covariant returns:
107 TU<Number, Integer> f2 = (Integer x) -> x;
108 assertTrue(3 == f2.foo(3).intValue());
109 //Method resolution with boxing:
110 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
111 assertTrue(3 == res);
112 //Runtime exception transparency:
113 try {
114 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
115 }
116 catch (RuntimeException e) {
117 assertTrue(true);
118 }
119 }
120
121 public void test2() {
122 //Assignment conversion:
123 VoidToInt f1 = ()-> 3;
124 assertTrue(3 == f1.foo());
125 //Covariant returns:
126 TU<Number, Integer> f2 = (Integer x) -> x;
127 assertTrue(3 == f2.foo(3).intValue());
128 //Method resolution with boxing:
129 int res = LambdaConv01.<Integer,Integer>exec((Integer x) -> x, 3);
130 assertTrue(3 == res);
131 //Runtime exception transparency:
132 try {
133 LambdaConv01.<Integer,Object>exec((Object x) -> x.hashCode(), null);
134 }
135 catch (RuntimeException e) {
136 assertTrue(true);
137 }
138 }
139
140 public static void main(String[] args) {
141 test1();
142 new LambdaConv01().test2();
143 assertTrue(assertionCount == 16);
144 }
145 }
|