| // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /** |
| * @assertion Let o be an object, and let u be a fresh final variable bound |
| * to o. The closurization of method f on object o is defined to be equivalent |
| * to: |
| * ... |
| * • (r1, . . . , rn , [p1 = d1, . . . , pk = dk]) { |
| * return u.m(r1, . . . , rn , p1, . . . , pk ); |
| * } |
| * if f is named m and has required parameters r 1 , . . . , r n , and optional |
| * positional parameters p1, . . . , pk with defaults d1, . . . , dk. |
| * |
| * @description Check that closurization of method |
| * m(r1, . . . , rn , [p1 = d1, . . . , pk = dk]) on object o is |
| * equivalent to (r1, . . . , rn , [p1 = d1, . . . , pk = dk]) { |
| * return u.m(r1, . . . , rn , p1, . . . , pk ); |
| * } |
| * |
| * @author sgrekhov@unipro.ru |
| */ |
| import '../../../../Utils/expect.dart'; |
| |
| class C { |
| double m(int r1, int r2, double r3, [p1 = 2, p2 = -3, p3 = -7]) { |
| return r1 * r2 * r3 * p1 * p2 * p3; |
| } |
| } |
| |
| main() { |
| C o = new C(); |
| var f = o.m; |
| |
| var f1 = (int r1, int r2, double r3, [p1 = 2, p2 = -3, p3 = -7]) { |
| return o.m(r1, r2, r3, p1, p2, p3); |
| }; |
| |
| Expect.equals(f(1, 2, 3.4, 4, 5, 6), f1(1, 2, 3.4, 4, 5, 6)); |
| Expect.equals(f(2, 3, 8.5), f1(2, 3, 8.5)); |
| Expect.equals(f(-1, 3, 9.1, 4), f1(-1, 3, 9.1, 4)); |
| Expect.equals(f(-1, 3, 9.1, 4, 5), f1(-1, 3, 9.1, 4, 5)); |
| } |