// 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 : p1, . . . , pk : pk );
 * }
 * if f is named m and has required parameters r1, . . . , rn , and named
 * parameters p1 , . . . , pk with defaults d1, . . . , dk.
 *
 * @description Check that closurization of method
 * m(r1, . . . , rn, p1 : p1, . . . , pk : pk ) on object o is
 * equivalent to (r1, . . . , rn , {p1 : d1, . . . , pk : dk }) {
 * return u.m(r1, . . . , rn, p1 : p1, . . . , pk : pk );
 * }
 * Test the case when m calls another method
 *
 * @author sgrekhov@unipro.ru
 */
import '../../../../Utils/expect.dart';

class C {
  double n(int r1, int r2, double r3, {p1: 2, p2: -3, p3: -7}) {
    return r1 * r2 * r3 * p1 * p2 * p3;
  }

  sum(a, b) => a + b;

  double m(int r1, int r2, double r3, {p1: 2, p2: -3, p3: -7}) {
    return sum(r3, p2) + n(r1, r2, r3, p1: p1, p2: p2, p3: 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: p1, p2: p2, p3: p3);
  };

  Expect.equals(f(1, 2, 3.2, p1: 4, p2: 5, p3: 6), f1(1, 2, 3.2, p1: 4, p2: 5, p3: 6));
  Expect.equals(f(2, 3, 8.5), f1(2, 3, 8.5));
  Expect.equals(f(-1, 3, 9.1, p1: 4), f1(-1, 3, 9.1, p1: 4));
  Expect.equals(f(-1, 3, 9.1, p2: 4), f1(-1, 3, 9.1, p2: 4));
  Expect.equals(f(-1, 3, 9.1, p3: 4), f1(-1, 3, 9.1, p3: 4));
}